eyelang 1.7.16 → 2.0.0

package/README.md

@@ -4,7 +4,7 @@
 [![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.20761726-blue.svg)](https://doi.org/10.5281/zenodo.20761726)
 
 Eyelang is a small logic programming language for facts, rules, goals, answers, and proofs.
-Its source syntax is Prolog-like Horn-clause syntax with deliberate eyelang choices, including `?x` variables for N3/SPARQL-style readability, explicit `table(path, 2).` declarations for tabled predicates, advisory `mode/3` declarations for host tooling, explicit Herbrand witness terms for executable existential-style consequences, and stratified-negation diagnostics for portable `not/1` usage.
+Its source syntax is Prolog-like Horn-clause syntax with deliberate eyelang choices, including ISO Prolog-style `X` variables, explicit `table(path, 2).` declarations for tabled predicates, advisory `mode/3` declarations for host tooling, explicit Herbrand witness terms for executable existential-style consequences, and stratified-negation diagnostics for portable `not/1` usage.
 It grew out of logic-language experiments in the EYE/N3 reasoning tradition, but is packaged here as its own project.
 
 ## Install and run
@@ -12,9 +12,9 @@ It grew out of logic-language experiments in the EYE/N3 reasoning tradition, but
 Eyelang has no runtime npm dependencies and no build step. From a source checkout, run the CLI directly with Node.js 18 or newer:
 
 ```bash
-node bin/eyelang.js examples/ancestor.eye
-node bin/eyelang.js --proof examples/socrates.eye
-node bin/eyelang.js --warnings examples/policy.eye
+node bin/eyelang.js examples/ancestor.pl
+node bin/eyelang.js --proof examples/socrates.pl
+node bin/eyelang.js --warnings examples/policy.pl
 printf 'works(stdin, true) :- eq(ok, ok).\n' | node bin/eyelang.js -
 ```
 
@@ -22,7 +22,7 @@ For one-off local CLI use from the checkout, npm can run the package bin without
 
 ```bash
 npm exec -- eyelang --version
-npm exec -- eyelang examples/ancestor.eye
+npm exec -- eyelang examples/ancestor.pl
 ```
 
 To install the checkout's `eyelang` command on your `PATH`, use npm's package link: