eyeprolog 1.0.3 → 1.1.0

package/README.md

@@ -5,10 +5,11 @@
 
 EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.
 
-<p align="center">
+<p>
   <a href="https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog">
-    <img src="book-assets/title-page.svg" alt="Read The Art of EyeProlog" width="240">
-  </a>
+    <img src="book-assets/title-page.svg" alt="Read The Art of EyeProlog" title="Click to read The Art of EyeProlog" width="320">
+  </a><br>
+  <strong>Click the cover to read <em>The Art of EyeProlog</em>.</strong>
 </p>
 
 **[Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog)** — Discover its purpose and design.
@@ -32,14 +33,14 @@ Programs may declare their default queries with `%% goal:` comments.
 Double-quoted text follows the ISO `double_quotes` flag and defaults to a
 proper list of one-character atoms (`chars`), matching Trealla and Scryer.
 
-## Portable library
+## Standard library modules
 
 EyeProlog adds 44 public library predicates to its 127-entry ISO core registry.
-**All 44 are ordinary Prolog clauses** across `src/eyeprolog-library.pl` and
-`src/eyeprolog-common-library.pl`; both are autoloaded in Node and the
-browser. None requires host support. Other Prolog systems should load only
-`eyeprolog-library.pl`, which avoids redefining their common list predicates.
-Portable text predicates use ISO atoms or character lists.
+**All 44 are ordinary Prolog clauses** in `src/lib/eyeprolog.pl` and
+`src/lib/lists.pl`. They are ISO/IEC 13211-2 modules, loaded explicitly with
+`use_module(library(eyeprolog))` or `use_module(library(lists))`, following the
+layout used by Scryer Prolog. None requires host support. Portable text
+predicates use ISO atoms or character lists.
 
 ## Development
 

package/conformance-report.md

@@ -13,13 +13,14 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | control | 15 | 0 | 0 | 0 | 15 |
 | iso | 130 | 174 | 0 | 0 | 304 |
 | lists | 52 | 3 | 0 | 0 | 55 |
+| modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
 | proofs | 0 | 0 | 0 | 21 | 21 |
 | query | 8 | 2 | 0 | 0 | 10 |
 | rules | 13 | 3 | 0 | 0 | 16 |
 | strings | 40 | 0 | 0 | 0 | 40 |
-| syntax | 12 | 25 | 0 | 0 | 37 |
+| syntax | 12 | 23 | 0 | 0 | 35 |
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 9 | 0 | 0 | 25 |
-| **Total** | **443** | **227** | **19** | **21** | **710** |
+| **Total** | **445** | **225** | **19** | **21** | **710** |

package/examples/age.pl

@@ -1,3 +1,5 @@
+:- use_module(library(eyeprolog)).
+
 % Age checker adapted from Eyeling.
 % The example combines date literals, ISO-8601 duration values, an explicit
 % local_time/1 fact, difference/3, and duration comparison. Declaring the date

package/examples/aliases-and-namespaces.pl

@@ -1,3 +1,5 @@
+:- use_module(library(eyeprolog)).
+
 % Built-ins use one native spelling each, while vocabulary-style predicate names
 % remain ordinary user predicates.
 %

package/examples/allen-interval-calculus.pl

@@ -1,3 +1,5 @@
+:- use_module(library(lists)).
+
 % Allen interval calculus adapted from Eyeling allen-interval-calculus.n3.
 % Eyeling demonstrates dateTime and duration built-ins; this eyeprolog version
 % uses integer hour offsets so the interval rules remain pure Horn clauses.

package/examples/binomial-vandermonde.pl

@@ -1,3 +1,5 @@
+:- use_module(library(eyeprolog)).
+
 % Binomial coefficients and Vandermonde's identity.
 %
 % choose(N,K,C) is computed by a multiplicative recurrence, then vandermonde/5 checks

package/examples/blocks-world-planning.pl

@@ -1,3 +1,5 @@
+:- use_module(library(lists)).
+
 % Blocks-world planning without cut.
 %
 % A finite-depth planner searches for a five-move plan over five blocks.  States

package/examples/book/chapter-02/02-measurement.pl

@@ -1,3 +1,6 @@
 % From The Art of EyeProlog, Chapter 2.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 measurement(battery_1, sample(17, volts(28.4), amps(12.1))).
 route(a, d, path([a, b, d], cost(9))).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 3.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 eligible(Person) :-
   age(Person, Years),
   (Years >= 18),

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 3.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 adult(Person) :-
   age(Person, Years),
   (Years >= 18).

package/examples/book/chapter-04/02-path.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 4 — Constructing the recursive argument.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 path(X, Y, [X, Y]) :- edge(X, Y).
 path(X, Z, [X | Rest]) :-
   edge(X, Y),

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 6.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 next(X, Y) :- (Y is X + 1).
 area_rectangle(W, H, Area) :- (Area is W * H).
 

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 6.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 square(N, Square) :-
   between(1, 10, N),
   (Square is N * N).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 8.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 findall(Template, Goal, List).
 countall(Goal, Count).
 sumall(Value, Goal, Sum).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 8.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 outgoing_costs(Node, Costs) :-
   findall(Cost, edge(Node, _, Cost), Costs).
 

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 8.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 best_route(From, To, Route, Cost) :-
   aggregate_min(
     [CandidateCost, CandidateRoute],

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 9.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 normalized(Input, Words) :-
   trim(Input, Trimmed),
   lowercase(Trimmed, Lower),

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 9.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 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/02-plan.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 10.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 plan(State, State, _, []).
 plan(State, Goal, Seen, [Move | Moves]) :-
   transition(State, Move, Next),

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 11.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 why(
   type(socrates, mortal),
   proof(

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

@@ -1,3 +1,6 @@
 % From The Art of EyeProlog, Chapter 17.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 path(X, Y) :- edge(X, Y).
 path(X, Z) :- edge(X, Y), path(Y, Z).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 17 — The same relation, a different computation.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 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

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

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

@@ -1,2 +1,5 @@
 % From The Art of EyeProlog, Chapter 18 — Begin with ground sentences.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 routeable(parcel_7, hub_north).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 18.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 routeable(Parcel, Hub) :-
   destination_zone(Parcel, Zone),
   serves(Hub, Zone),

package/examples/book/chapter-21/03-loop_edge.pl

@@ -1,2 +1,5 @@
 % From The Art of EyeProlog, Chapter 21.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 loop_edge(Node) :- edge(Node, Node).

package/examples/book/chapter-21/04-eligible.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 21 — Failure rewinds choices, not facts.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 eligible(Person) :-
   applicant(Person),
   age(Person, Age),

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 22.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 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/06-lookup.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 22.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 lookup(Name, [binding(Name, Value) | _], Value).
 lookup(Name, [_ | Rest], Value) :- lookup(Name, Rest, Value).
 

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 23 — Unfolding and folding.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 adult(Person) :-
   recorded_age(Person, Age),
   adult_age(Age).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 23.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 adult(Person) :-
   recorded_age(Person, Age),
   (Age >= 18).

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

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 23.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 can_board(Person) :-
   registered(Person),
   identity_checked(Person),

package/examples/book/chapter-23/04-traveler_in_good_standing.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 23.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 traveler_in_good_standing(Person) :-
   registered(Person),
   identity_checked(Person),

package/examples/book/chapter-24/02-simple_path.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 24 — Search over states.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 simple_path(From, To, Path) :-
   walk(From, To, [From], Reversed),
   reverse(Reversed, Path).

package/examples/book/chapter-24/03-reachable.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 24 — Existence, one witness, and all witnesses.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 reachable(From, To).
 once(simple_path(From, To, Path)).
 findall(Path, simple_path(From, To, Path), Paths).

package/examples/book/chapter-24/04-best_plan.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 24 — Optimization is search plus an order.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 best_plan(Request, Plan, Cost) :-
   aggregate_min(
     [CandidateCost, CandidatePlan],

package/examples/book/chapter-25/01-person.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 25 — Source and concept layers.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 person(ada).
 badge(b17, ada).
 badge_status(b17, active).

package/examples/book/chapter-25/02-active_badge.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 25.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 active_badge(Person, Badge) :-
   badge(Badge, Person),
   badge_status(Badge, active).

package/examples/book/chapter-25/04-permit.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 25 — Decision, reasons, and proof.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 permit(Person, Zone) :-
   active_badge(Person, Badge),
   cleared_for(Badge, Zone),

package/examples/book/chapter-26/02-triple.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 26 — Answers are existential witnesses.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 triple(A, B, C) :-
   between(1, 20, A),
   between(A, 20, B),

package/examples/book/chapter-26/03-triple-2.pl

@@ -1,2 +1,5 @@
 % From The Art of EyeProlog, Chapter 26 — Proof objects and proof checking.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 triple(3, 4, 5).

package/examples/book/chapter-26/04-edge.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 26 — The least model as mathematical closure.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 edge(a, b).
 edge(b, c).
 

package/examples/book/chapter-27/02-list_length.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 27 — Structural induction and data design.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 list_length([], 0).
 list_length([_ | Tail], N) :-
   list_length(Tail, M),

package/examples/book/chapter-28/02-triangle.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 28 — Symmetry reduces search.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 triangle(A, B, C) :-
   between(1, 20, A),
   between(A, 20, B),

package/examples/book/chapter-28/03-rectangle.pl

@@ -1,2 +1,5 @@
 % From The Art of EyeProlog, Chapter 28 — Relations reveal inverse problems.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 rectangle(W, H, Area) :- (Area is W * H).

package/examples/book/chapter-28/04-integer_rectangle.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 28.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 integer_rectangle(Area, W, H) :-
   between(1, Area, W),
   between(W, Area, H),

package/examples/book/chapter-28/05-preserves_combine.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 28 — Composition, homomorphism, and reusable laws.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 preserves_combine(X, Y) :-
   combine(X, Y, XY),
   image(X, IX),

package/examples/book/chapter-29/01-counterexample_to_odd_square.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 29 — Examples suggest; proofs compel.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 counterexample_to_odd_square(N) :-
   between(1, 100, N),
   (1 is N mod 2),

package/examples/book/chapter-31/01-edge.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 31 — Positive and negative observers.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 edge(a, b).
 edge(b, c).
 

package/examples/book/chapter-31/03-double.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 31 — Properties over finite domains.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 double(N, D) :- (D is N + N).
 
 double_is_even(N) :-

package/examples/book/chapter-32/01-eligible.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 32 — Follow bindings from left to right.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 eligible(Person) :-
   (Age >= 18),
   age(Person, Age).

package/examples/book/chapter-32/02-eligible-2.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 32.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 eligible(Person) :-
   age(Person, Age),
   (Age >= 18).

package/examples/book/chapter-32/03-candidate_debug.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 32 — Create diagnostic relations.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 candidate_debug(Person, Age) :-
   age(Person, Age).
 

package/examples/book/chapter-32/04-reference_square.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 32 — Compare specification and implementation.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 reference_square(N, S) :-
   between(0, 20, N),
   (S is N * N).

package/examples/book/chapter-33/01-assigned_badge.pl

@@ -1,2 +1,5 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 1: Ground sentence first.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 assigned_badge(alex, badge_17).

package/examples/book/chapter-33/02-source_role.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 2: Normalize at the boundary.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 source_role(person_7, 'Doctor').
 
 canonical_role(Person, clinician) :-

package/examples/book/chapter-33/03-chosen_pair.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 3: Generate, constrain, describe.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 chosen_pair(pair(X, Y), reason(sum_is_ten)) :-
   between(0, 10, X),
   between(X, 10, Y),

package/examples/book/chapter-33/04-path.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 4: Carry the witness.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 path(X, Y, [X, Y]) :- edge(X, Y).
 path(X, Z, [X | Rest]) :-
   edge(X, Y),

package/examples/book/chapter-33/09-invalid_badge_assignment.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 9: Integrity before inference.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 invalid_badge_assignment(Badge, PersonA, PersonB) :-
   assigned_badge(PersonA, Badge),
   assigned_badge(PersonB, Badge),

package/examples/book/chapter-34/03-regional_total.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 34.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 regional_total(Region, Total) :-
   bagof(Amount, Seller^sale(Region, Seller, Amount), Amounts),
   sum_amounts(Amounts, Total).

package/examples/book/chapter-38/01-city.pl

@@ -1,3 +1,6 @@
 % From The Art of EyeProlog, Chapter 38.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 city('München').
 message("café").

package/examples/book/chapter-39/01-answer.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 39 — The EyeProlog library.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 answer(square, S) :- (S is 12 * 12).
 answer(day_count, N) :- between(3, 5, N).
 answer(age, D) :- difference('2026-07-28', '2020-05-20', D).

package/examples/book/chapter-39/02-answer-2.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 39.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 answer(split, pair(Prefix, Suffix)) :-
   append(Prefix, Suffix, [a, b]).
 

package/examples/book/chapter-39/03-answer-3.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 39.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 answer(words, Words) :-
   trim('  Logic Made Visible  ', Clean),
   lowercase(Clean, Lower),

package/examples/book/chapter-39/04-cost.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 39.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 cost(a, 8).
 cost(b, 3).
 cost(c, 3).

package/examples/book/chapter-39/05-message.pl

@@ -1,4 +1,7 @@
 % From The Art of EyeProlog, Chapter 39.
+:- use_module(library(eyeprolog)).
+:- use_module(library(lists)).
+
 message(event_17,
         (severity(high), source(sensor_3), reading(temp, 91))).
 

package/examples/catalan-convolution.pl

@@ -1,3 +1,5 @@
+:- use_module(library(eyeprolog)).
+
 % Catalan numbers by automatically tabled convolution.
 %
 % catalan(N,C) sums all splits of N-1 into left and right substructures.  The same

package/examples/cdcl-sat-solver.pl

@@ -1,3 +1,5 @@
+:- use_module(library(lists)).
+
 % A tiny CDCL-style SAT trace with one learned clause.
 %
 % Industrial CDCL solvers use watched literals, mutable trails, non-chronological

package/examples/chart-parser.pl

@@ -1,3 +1,5 @@
+:- use_module(library(lists)).
+
 % A tiny automatically tabled chart parser for a context-free grammar.
 %
 % span(Sentence, Category, Start, End) is the dynamic-programming chart item: