npm - eyelang - Versions diffs - 0.5.1 → 0.5.2 - Mend

eyelang 0.5.1 → 0.5.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (298) hide show

package/README.md CHANGED Viewed

@@ -1,17 +1,17 @@
-# EyeLang
+# Eyelang
 <p align="center">
-  <img src="eyelang-logo.png" alt="EyeLang logo" width="520">
+  <img src="eyelang-logo.png" alt="Eyelang logo" width="520">
 </p>
 [![npm version](https://img.shields.io/npm/v/eyelang.svg)](https://www.npmjs.com/package/eyelang)
 [![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.21446308-blue.svg)](https://doi.org/10.5281/zenodo.21446308)
-EyeLang combines ISO Prolog and W3C RDF 1.2 to produce answers with
+Eyelang combines ISO Prolog and W3C RDF 1.2 to produce answers with
 inspectable proofs.
-**[Book — *The Art of EyeLang*](https://eyereasoner.github.io/eyelang/the-art-of-eyelang)** ·
-**[Why EyeLang?](https://eyereasoner.github.io/eyelang/why-eyelang)** ·
+**[Book — *The Art of Eyelang*](https://eyereasoner.github.io/eyelang/the-art-of-eyelang)** ·
+**[Why Eyelang?](https://eyereasoner.github.io/eyelang/why-eyelang)** ·
 **[Playground](https://eyereasoner.github.io/eyelang/playground)**
 The book is the reference for the language, command line, JavaScript API,
@@ -19,7 +19,7 @@ RDF 1.2 support, examples, proofs, conformance, and implementation.
 ## Quick start
-EyeLang requires Node.js 18 or newer.
+Eyelang requires Node.js 18 or newer.
 ```sh
 npm install --global eyelang
@@ -50,4 +50,4 @@ npm install
 npm test
 ```
-EyeLang is released under the [MIT License](LICENSE.md).
+Eyelang is released under the [MIT License](LICENSE.md).

package/book-assets/cli-observation-loop.svg CHANGED Viewed

@@ -1,6 +1,6 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="470" viewBox="0 0 900 470" role="img" aria-labelledby="title desc">
   <title id="title">The command line observation loop</title>
-  <desc id="desc">A predicted result and an EyeLang program enter the command line. It emits answers and proofs on standard output, warnings and statistics on standard error, and a process status. Comparison of prediction and evidence leads to a focused revision.</desc>
+  <desc id="desc">A predicted result and an Eyelang program enter the command line. It emits answers and proofs on standard output, warnings and statistics on standard error, and a process status. Comparison of prediction and evidence leads to a focused revision.</desc>
   <defs>
     <style>
       .bg{fill:#f4efe3}.source{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.engine{fill:#243447;stroke:#172334;stroke-width:3}.out{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.diag{fill:#c7dfe2;stroke:#376e75;stroke-width:2}.status{fill:#ead7d7;stroke:#8b3a3a;stroke-width:2}.compare{fill:#fffdf7;stroke:#526273;stroke-width:2}

package/book-assets/example-landscape.svg CHANGED Viewed

@@ -1,6 +1,6 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
   <title id="title">The executable example landscape</title>
-  <desc id="desc">A map connects a central EyeLang program to mathematics, search, planning, policy, science, program analysis, symbolic systems, and RDF, with paths to answers and proofs.</desc>
+  <desc id="desc">A map connects a central Eyelang program to mathematics, search, planning, policy, science, program analysis, symbolic systems, and RDF, with paths to answers and proofs.</desc>
   <defs>
     <style>
       .bg{fill:#f4efe3}.region{stroke:#243447;stroke-width:2}.core{fill:#243447;stroke:#172334;stroke-width:3}

package/book-assets/laboratory-progression.svg CHANGED Viewed

@@ -1,5 +1,5 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="470" viewBox="0 0 900 470" role="img" aria-labelledby="title desc">
-  <title id="title">Progression through twelve EyeLang laboratories</title>
+  <title id="title">Progression through twelve Eyelang laboratories</title>
   <desc id="desc">Five connected stages group laboratories one and two as relational foundations, three and four as finite search, five through seven as mathematical and symbolic methods, eight through eleven as domain reasoning, and twelve as an integrated release-quality service.</desc>
   <defs>
     <style>

package/book-assets/part-4-craft.svg CHANGED Viewed

@@ -1,6 +1,6 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
   <title id="title">A logic programmer's workbench</title>
-  <desc id="desc">A programmer moves between domain notes, clause cards, a graph sketch, and tested EyeLang code at a warm workbench.</desc>
+  <desc id="desc">A programmer moves between domain notes, clause cards, a graph sketch, and tested Eyelang code at a warm workbench.</desc>
   <style>
     .wall{fill:#eee5d3}.desk{fill:#a97852}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}
     .screen{fill:#243447;stroke:#172334;stroke-width:5}.code{fill:#dcefe8;font:16px ui-monospace,monospace}

package/book-assets/rdf-adapter-pipeline.svg CHANGED Viewed

@@ -1,6 +1,6 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="380" viewBox="0 0 900 380" role="img" aria-labelledby="title desc">
-  <title id="title">RDF data passing through the EyeLang adapter</title>
-  <desc id="desc">Documents and named graphs enter an adapter, become rdf facts for EyeLang rules, and leave as derived N-Quads.</desc>
+  <title id="title">RDF data passing through the Eyelang adapter</title>
+  <desc id="desc">Documents and named graphs enter an adapter, become rdf facts for Eyelang rules, and leave as derived N-Quads.</desc>
   <defs><marker id="a" markerWidth="10" markerHeight="10" refX="8" refY="3" orient="auto"><path d="M0 0 L0 6 L9 3Z" fill="#536b78"/></marker></defs>
   <style>
     .bg{fill:#e9f1ee}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.adapter{fill:#dcefe8;stroke:#2f6f55;stroke-width:4}
@@ -9,6 +9,6 @@
   </style>
   <rect width="900" height="380" class="bg"/>
   <g transform="translate(35 65)"><rect class="paper" width="190" height="240" rx="6"/><text class="title" x="95" y="35" text-anchor="middle">RDF SOURCES</text><circle cx="52" cy="90" r="13" fill="#a55246"/><circle cx="135" cy="75" r="13" fill="#2f6f55"/><circle cx="115" cy="145" r="13" fill="#d9b85f"/><path class="graph" d="M65 87 L122 78 M128 88 L119 132 M62 99 L105 139"/><text class="text" x="95" y="195" text-anchor="middle">Turtle · TriG</text><text class="text" x="95" y="220" text-anchor="middle">JSON-LD · RDF/XML</text></g>
-  <path class="flow" d="M230 185 H295"/><rect class="adapter" x="305" y="92" width="290" height="186" rx="16"/><text class="title" x="450" y="125" text-anchor="middle">EXPLICIT ADAPTER</text><text class="text" x="330" y="165">rdf(Subject,</text><text class="text" x="365" y="190">Predicate,</text><text class="text" x="365" y="215">Object, Graph)</text><text class="text" x="330" y="250">+ EyeLang rules</text>
+  <path class="flow" d="M230 185 H295"/><rect class="adapter" x="305" y="92" width="290" height="186" rx="16"/><text class="title" x="450" y="125" text-anchor="middle">EXPLICIT ADAPTER</text><text class="text" x="330" y="165">rdf(Subject,</text><text class="text" x="365" y="190">Predicate,</text><text class="text" x="365" y="215">Object, Graph)</text><text class="text" x="330" y="250">+ Eyelang rules</text>
   <path class="flow" d="M595 185 H660"/><g transform="translate(670 65)"><rect class="paper" width="195" height="240" rx="6"/><text class="title" x="98" y="35" text-anchor="middle">DERIVED RDF</text><text class="text" x="20" y="82">&lt;s&gt; &lt;ancestor&gt; &lt;o&gt;</text><text class="text" x="20" y="110">&lt;s&gt; &lt;status&gt; "safe"</text><text class="text" x="20" y="160">RDF 1.2 N-Quads</text><text class="text" x="20" y="195">named graphs and</text><text class="text" x="20" y="220">triple terms retained</text></g>
 </svg>

package/book-assets/reference-navigation.svg CHANGED Viewed

@@ -1,5 +1,5 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
-  <title id="title">Task-driven navigation through the EyeLang reference</title>
+  <title id="title">Task-driven navigation through the Eyelang reference</title>
   <desc id="desc">A reader question branches to language in Chapter 38, predicates in Chapter 39, or execution in Chapter 40. These lead to study paths in Chapter 41, boundaries in Chapter 42, and vocabulary in Chapter 43.</desc>
   <defs>
     <style>

package/book-assets/review-lenses.svg CHANGED Viewed

@@ -1,5 +1,5 @@
 <svg xmlns="http://www.w3.org/2000/svg" width="900" height="470" viewBox="0 0 900 470" role="img" aria-labelledby="title desc">
-  <title id="title">Five lenses for reviewing an EyeLang program</title>
+  <title id="title">Five lenses for reviewing an Eyelang program</title>
   <desc id="desc">Meaning, logic, control, evidence, and boundary surround one program artifact. A lower loop says predict, run, explain, and revise.</desc>
   <defs>
     <style>

package/book-assets/title-page.svg CHANGED Viewed

@@ -1,8 +1,8 @@
 <svg xmlns="http://www.w3.org/2000/svg"
      width="1000" height="1450" viewBox="0 0 1000 1450"
      role="img" aria-labelledby="title desc">
-  <title id="title">The Art of EyeLang</title>
-  <desc id="desc">Editable SVG cover for The Art of EyeLang. All text is live text and kept within its surrounding boxes.</desc>
+  <title id="title">The Art of Eyelang</title>
+  <desc id="desc">Editable SVG cover for The Art of Eyelang. All text is live text and kept within its surrounding boxes.</desc>
   <defs>
     <linearGradient id="paper" x1="0" y1="0" x2="0" y2="1">

package/conformance-report.md CHANGED Viewed

@@ -1,4 +1,4 @@
-# EyeLang conformance report
+# Eyelang conformance report
 This report summarizes the file-based conformance corpus under `test/conformance/`.

package/examples/book/README.md CHANGED Viewed

@@ -1,8 +1,8 @@
-# The Art of EyeLang — inline examples
+# The Art of Eyelang — inline examples
 These files are generated from the complete `eyelang` code blocks in
-[The Art of EyeLang](../../the-art-of-eyelang.md). They are grouped by chapter and
-retain the source text from the book. Goal fragments and non-EyeLang blocks are
+[The Art of Eyelang](../../the-art-of-eyelang.md). They are grouped by chapter and
+retain the source text from the book. Goal fragments and non-Eyelang blocks are
 not extracted.
 Regenerate them from the repository root with:
@@ -89,7 +89,7 @@ npm run generate
 - [01-rdf.pl](chapter-15/01-rdf.pl)
-## Chapter 16: Embedding EyeLang
+## Chapter 16: Embedding Eyelang
 - [01-socket.pl](chapter-16/01-socket.pl) — Sockets: naming the knowledge boundary
 - [02-socket-2.pl](chapter-16/02-socket-2.pl)

package/examples/book/chapter-01/01-parent.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 1.
+% From The Art of Eyelang, Chapter 1.
 parent(ada, byron).
 parent(byron, clara).
 parent(clara, diego).

package/examples/book/chapter-01/02-child.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 1.
+% From The Art of Eyelang, Chapter 1.
 child(byron, ada).
 child(clara, byron).
 child(diego, clara).

package/examples/book/chapter-02/01-measurement.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 2.
+% From The Art of Eyelang, Chapter 2.
 measurement(battery_1, sample(17, volts(28.4), amps(12.1))).
 route(a, d, path([a, b, d], cost(9))).

package/examples/book/chapter-02/02-label.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 2.
+% From The Art of Eyelang, Chapter 2.
 label(sensor_1, "Cabin temperature").
 web_name(sensor_1, '<https://example.org/sensor/1>').

package/examples/book/chapter-03/01-eligible.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 3.
+% From The Art of Eyelang, Chapter 3.
 eligible(Person) :-
   age(Person, Years),
   (Years >= 18),

package/examples/book/chapter-03/02-adult.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 3.
+% From The Art of Eyelang, Chapter 3.
 adult(Person) :-
   age(Person, Years),
   (Years >= 18).

package/examples/book/chapter-03/03-can_enter.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 3.
+% From The Art of Eyelang, Chapter 3.
 can_enter(Person) :- staff(Person).
 can_enter(Person) :- visitor(Person), escorted(Person).

package/examples/book/chapter-03/04-high_score.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 3.
+% From The Art of Eyelang, Chapter 3.
 high_score(Case) :-
   score(Case, Score),
   threshold(Threshold),

package/examples/book/chapter-03/05-parent.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 3 — The Herbrand world.
+% From The Art of Eyelang, Chapter 3 — The Herbrand world.
 parent(pat, jan).

package/examples/book/chapter-03/06-ancestor.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 3.
+% From The Art of Eyelang, Chapter 3.
 ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z).

package/examples/book/chapter-03/07-different.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 3 — Why terms denote themselves.
+% From The Art of Eyelang, Chapter 3 — Why terms denote themselves.
 different(alice, bob) :- (alice \= bob).
 different(ticket(alice), ticket(bob)) :-
   (ticket(alice) \= ticket(bob)).

package/examples/book/chapter-03/08-has_parent.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 3 — Quantification and visible witnesses.
+% From The Art of Eyelang, Chapter 3 — Quantification and visible witnesses.
 has_parent(Child, parent_of(Child)) :-
   person(Child).

package/examples/book/chapter-03/09-program.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 3 — Equality, unification, and the occurs check.
+% From The Art of Eyelang, Chapter 3 — Equality, unification, and the occurs check.
 (X = wrapper(X)).

package/examples/book/chapter-03/10-closed.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 3 — Meaning is not the search strategy.
+% From The Art of Eyelang, Chapter 3 — Meaning is not the search strategy.
 closed(X) :- blocked(X).
 open(X) :- candidate(X), \+ closed(X).

package/examples/book/chapter-03/11-p.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 3.
+% From The Art of Eyelang, Chapter 3.
 p(X) :- q(X).
 q(X) :- \+ p(X).

package/examples/book/chapter-04/01-path.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 4 — Constructing the recursive argument.
+% From The Art of Eyelang, Chapter 4 — Constructing the recursive argument.
 path(X, Y, [X, Y]) :- edge(X, Y).
 path(X, Z, [X | Rest]) :-
   edge(X, Y),

package/examples/book/chapter-05/01-first.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 5.
+% From The Art of Eyelang, Chapter 5.
 first([Head | _], Head).
 contains_item(X, [X | _]).

package/examples/book/chapter-05/02-reverse_acc.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 5.
+% From The Art of Eyelang, Chapter 5.
 reverse_acc(List, Reversed) :- reverse_go(List, [], Reversed).
 reverse_go([], Acc, Acc).
 reverse_go([X | Xs], Acc, Reversed) :-

package/examples/book/chapter-06/01-next.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 6.
+% From The Art of Eyelang, Chapter 6.
 next(X, Y) :- (Y is X + 1).
 area_rectangle(W, H, Area) :- (Area is W * H).

package/examples/book/chapter-06/02-safe_reading.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 6.
+% From The Art of Eyelang, Chapter 6.
 safe_reading(Sensor, Value) :-
   reading(Sensor, Value),
   (Value >= 0),

package/examples/book/chapter-06/03-square.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 6.
+% From The Art of Eyelang, Chapter 6.
 square(N, Square) :-
   between(1, 10, N),
   (Square is N * N).

package/examples/book/chapter-06/04-factorial.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 6.
+% From The Art of Eyelang, Chapter 6.
 factorial(0, 1).
 factorial(N, F) :-
   (N > 0),

package/examples/book/chapter-07/01-allowed.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 7.
+% From The Art of Eyelang, Chapter 7.
 allowed(User) :-
   user(User),
   \+ blocked(User).

package/examples/book/chapter-07/02-all_tests_pass.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 7.
+% From The Art of Eyelang, Chapter 7.
 all_tests_pass(Suite) :-
   \+ failing_test(Suite).

package/examples/book/chapter-08/01-findall.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 8.
+% From The Art of Eyelang, Chapter 8.
 findall(Template, Goal, List).
 countall(Goal, Count).
 sumall(Value, Goal, Sum).

package/examples/book/chapter-08/02-outgoing_costs.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 8.
+% From The Art of Eyelang, Chapter 8.
 outgoing_costs(Node, Costs) :-
   findall(Cost, edge(Node, _, Cost), Costs).

package/examples/book/chapter-08/03-best_route.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 8.
+% From The Art of Eyelang, Chapter 8.
 best_route(From, To, Route, Cost) :-
   aggregate_min(
     [CandidateCost, CandidateRoute],

package/examples/book/chapter-09/01-functor.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 9.
+% From The Art of Eyelang, Chapter 9.
 functor(Term, Name, Arity).
 arg(Index, Term, Value).
 (Term =.. [Name | Arguments]).

package/examples/book/chapter-09/02-normalized.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 9.
+% From The Art of Eyelang, Chapter 9.
 normalized(Input, Words) :-
   trim(Input, Trimmed),
   lowercase(Trimmed, Lower),

package/examples/book/chapter-09/03-message.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 9.
+% From The Art of Eyelang, Chapter 9.
 message(event_17, (severity(high), source(sensor_3), reading(temp, 91))).
 context_member((Left, _right), Member) :- context_member(Left, Member).

package/examples/book/chapter-10/01-plan.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 10.
+% From The Art of Eyelang, Chapter 10.
 plan(State, State, _, []).
 plan(State, Goal, Seen, [Move | Moves]) :-
   transition(State, Move, Next),

package/examples/book/chapter-11/01-why.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 11.
+% From The Art of Eyelang, Chapter 11.
 why(
   type(socrates, mortal),
   proof(

package/examples/book/chapter-12/01-invalid_probability.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 12.
+% From The Art of Eyelang, Chapter 12.
 invalid_probability(Disease, Probability) :-
   probability(Disease, Probability),
   (Probability > 1).

package/examples/book/chapter-12/02-invalid_assignment.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 12.
+% From The Art of Eyelang, Chapter 12.
 invalid_assignment(Person, Role, Other) :-
   assigned(Person, Role),
   incompatible_roles(Role, Other),

package/examples/book/chapter-14/01-heating.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 14.
+% From The Art of Eyelang, Chapter 14.
 heating(Battery, Watts) :-
   current(Battery, Amps),
   resistance(Battery, Ohms),

package/examples/book/chapter-15/01-rdf.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 15.
+% From The Art of Eyelang, Chapter 15.
 rdf(S, iri("https://example/ancestor"), O, G) :-
   rdf(S, iri("https://example/parent"), O, G).

package/examples/book/chapter-16/01-socket.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 16 — Sockets: naming the knowledge boundary.
+% From The Art of Eyelang, Chapter 16 — Sockets: naming the knowledge boundary.
 socket(family_source, provides(predicate(parent, 2))).
 plug(family_file, family_source).

package/examples/book/chapter-16/02-socket-2.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 16.
+% From The Art of Eyelang, Chapter 16.
 socket(Name, Contract).
 plug(Provider, Name).
 provides(Signature).

package/examples/book/chapter-17/01-path.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 17.
+% From The Art of Eyelang, Chapter 17.
 path(X, Y) :- edge(X, Y).
 path(X, Z) :- edge(X, Y), path(Y, Z).

package/examples/book/chapter-17/02-adult.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 17 — The same relation, a different computation.
+% From The Art of Eyelang, Chapter 17 — The same relation, a different computation.
 adult(Person) :- person(Person), age(Person, Age), (Age >= 18).
 adult(Person) :- (Age >= 18), age(Person, Age), person(Person).

package/examples/book/chapter-17/03-bad_member.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 17.
+% From The Art of Eyelang, Chapter 17.
 % Poor control: recursion starts before one list cell is exposed.
 bad_member(X, List) :- bad_member(X, Rest), (List = [_ | Rest]).

package/examples/book/chapter-17/04-item.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 17.
+% From The Art of Eyelang, Chapter 17.
 item(X, [X | _]).
 item(X, [_ | Rest]) :- item(X, Rest).

package/examples/book/chapter-18/01-routeable.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 18 — Begin with ground sentences.
+% From The Art of Eyelang, Chapter 18 — Begin with ground sentences.
 routeable(parcel_7, hub_north).

package/examples/book/chapter-18/02-routeable-2.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 18.
+% From The Art of Eyelang, Chapter 18.
 routeable(Parcel, Hub) :-
   destination_zone(Parcel, Zone),
   serves(Hub, Zone),

package/examples/book/chapter-18/03-prefix.pl CHANGED Viewed

@@ -1,3 +1,3 @@
-% From The Art of EyeLang, Chapter 18 — Invent examples before recursion.
+% From The Art of Eyelang, Chapter 18 — Invent examples before recursion.
 prefix([], _).
 prefix([X | Xs], [X | Ys]) :- prefix(Xs, Ys).

package/examples/book/chapter-18/04-candidate_pair.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 18 — Separate generate, test, and describe.
+% From The Art of Eyelang, Chapter 18 — Separate generate, test, and describe.
 candidate_pair(A, B) :-
   person(A),
   person(B).

package/examples/book/chapter-18/05-compatible_pair.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 18.
+% From The Art of Eyelang, Chapter 18.
 compatible_pair(A, B) :-
   person(A),
   person(B),

package/examples/book/chapter-19/01-factorial.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 19 — Termination needs its own argument.
+% From The Art of Eyelang, Chapter 19 — Termination needs its own argument.
 factorial(0, 1).
 factorial(N, F) :-
   (N > 0),

package/examples/book/chapter-19/02-invalid_limits.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 19 — Integrity is not merely failure.
+% From The Art of Eyelang, Chapter 19 — Integrity is not merely failure.
 invalid_limits(Name, Low, High) :-
   lower_limit(Name, Low),
   upper_limit(Name, High),

package/examples/book/chapter-20/01-connected.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 20 — Strengthen calls before adding machinery.
+% From The Art of Eyelang, Chapter 20 — Strengthen calls before adding machinery.
 connected(X, Y) :- path_with_nodes(X, Y, _).

package/examples/book/chapter-20/02-within_thermal_limits.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 20 — Introduce helpers that express invariants.
+% From The Art of Eyelang, Chapter 20 — Introduce helpers that express invariants.
 within_thermal_limits(Battery) :-
   temperature(Battery, T),
   temperature_limit(Max),

package/examples/book/chapter-20/03-search.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 20 — Move invariant work outward.
+% From The Art of Eyelang, Chapter 20 — Move invariant work outward.
 search(Request, Answer) :-
   normalized_request(Request, Normalized),
   search_normalized(Normalized, initial_state, Answer).

package/examples/book/chapter-21/01-grandparent.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 21 — Substitutions accumulate.
+% From The Art of Eyelang, Chapter 21 — Substitutions accumulate.
 grandparent(X, Z) :-
   parent(X, Y),
   parent(Y, Z).

package/examples/book/chapter-21/02-loop_edge.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 21.
+% From The Art of Eyelang, Chapter 21.
 loop_edge(Node) :- edge(Node, Node).

package/examples/book/chapter-21/03-eligible.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 21 — Failure rewinds choices, not facts.
+% From The Art of Eyelang, Chapter 21 — Failure rewinds choices, not facts.
 eligible(Person) :-
   applicant(Person),
   age(Person, Age),

package/examples/book/chapter-21/04-grows.pl CHANGED Viewed

@@ -1,2 +1,2 @@
-% From The Art of EyeLang, Chapter 21 — Variants, cycles, and tables.
+% From The Art of Eyelang, Chapter 21 — Variants, cycles, and tables.
 grows(X) :- grows(wrapper(X)).

package/examples/book/chapter-22/01-tree.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 22.
+% From The Art of Eyelang, Chapter 22.
 tree(
   oak,
   tree(birch, empty, empty),

package/examples/book/chapter-22/02-tree_member.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 22.
+% From The Art of Eyelang, Chapter 22.
 tree_member(X, tree(X, _, _)).
 tree_member(X, tree(_, Left, _)) :- tree_member(X, Left).
 tree_member(X, tree(_, _, Right)) :- tree_member(X, Right).

package/examples/book/chapter-22/03-mirror.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 22 — Transforming a tree.
+% From The Art of Eyelang, Chapter 22 — Transforming a tree.
 mirror(empty, empty).
 mirror(
   tree(Value, Left, Right),

package/examples/book/chapter-22/04-evaluate.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 22 — Interpreting an expression.
+% From The Art of Eyelang, Chapter 22 — Interpreting an expression.
 evaluate(number(N), N).
 evaluate(add(Left, Right), Value) :-

package/examples/book/chapter-22/05-lookup.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 22.
+% From The Art of Eyelang, Chapter 22.
 lookup(Name, [binding(Name, Value) | _], Value).
 lookup(Name, [_ | Rest], Value) :- lookup(Name, Rest, Value).

package/examples/book/chapter-22/06-simplify.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 22 — Rewriting symbolic expressions.
+% From The Art of Eyelang, Chapter 22 — Rewriting symbolic expressions.
 simplify(add(number(0), X), X).
 simplify(add(X, number(0)), X).
 simplify(multiply(number(1), X), X).

package/examples/book/chapter-23/01-adult.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 23 — Unfolding and folding.
+% From The Art of Eyelang, Chapter 23 — Unfolding and folding.
 adult(Person) :-
   recorded_age(Person, Age),
   adult_age(Age).

package/examples/book/chapter-23/02-adult-2.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 23.
+% From The Art of Eyelang, Chapter 23.
 adult(Person) :-
   recorded_age(Person, Age),
   (Age >= 18).

package/examples/book/chapter-23/03-can_board.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% From The Art of EyeLang, Chapter 23.
+% From The Art of Eyelang, Chapter 23.
 can_board(Person) :-
   registered(Person),
   identity_checked(Person),