eyeprolog 1.1.13 → 1.1.15

package/README.md

@@ -91,14 +91,14 @@ noun --> [world] | [prolog].
 %% goal: phrase(sentence, Words)
 ```
 
-EyeProlog also adds 57 public library predicate indicators to its 129-entry ISO
-profile. **56 are implemented entirely as ordinary Prolog clauses** in
-`src/lib/eyeprolog.pl`, `src/lib/lists.pl`, and `src/lib/prologue.pl`; the
-`call_nth/2` module clause uses one private host adapter to number solutions.
-They are ISO/IEC 13211-2 modules,
-loaded explicitly with `use_module(library(eyeprolog))`,
-`use_module(library(lists))`, or `use_module(library(prologue))`. Portable text
-predicates use ISO atoms or character lists.
+EyeProlog also adds 62 public library predicate indicators to its 129-entry ISO
+profile. **60 are implemented entirely as ordinary Prolog clauses** in focused
+modules under `src/lib/`; `call_nth/2` and `freeze/2` use private host adapters
+for their control behavior.
+They are ISO/IEC 13211-2 modules loaded explicitly by purpose, such as
+`library(lists)`, `library(strings)`, or `library(aggregate)`. Portable text
+predicates use ISO atoms or character lists. The old catch-all
+`library(eyeprolog)` module is no longer needed.
 
 ## Development
 

package/examples/age.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(dates)).
 
 % Age checker adapted from Eyeling.
 % The example combines date literals, ISO-8601 duration values, an explicit

package/examples/aliases-and-namespaces.pl

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

package/examples/binomial-vandermonde.pl

@@ -1,4 +1,5 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
+:- use_module(library(prologue), [between/3]).
 
 % Binomial coefficients and Vandermonde's identity.
 %

package/examples/book/README.md

@@ -242,6 +242,7 @@ npm run generate
 - [03-answer-3.pl](chapter-39/03-answer-3.pl)
 - [04-cost.pl](chapter-39/04-cost.pl)
 - [05-message.pl](chapter-39/05-message.pl)
+- [06-task.pl](chapter-39/06-task.pl)
 
 ## Chapter 40: Running EyeProlog: command line and corpus
 

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

@@ -1,5 +1,4 @@
 % 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))).

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 3.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 eligible(Person) :-

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 3.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 adult(Person) :-

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

@@ -1,5 +1,4 @@
 % 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).

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 6.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 next(X, Y) :- (Y is X + 1).

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 6.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 square(N, Square) :-

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 8.
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 :- use_module(library(lists)).
 
 findall(Template, Goal, List).

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 8.
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 :- use_module(library(lists)).
 
 outgoing_costs(Node, Costs) :-

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 8.
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 :- use_module(library(lists)).
 
 best_route(From, To, Route, Cost) :-

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 9.
-:- use_module(library(eyeprolog)).
+:- use_module(library(strings)).
 :- use_module(library(lists)).
 
 normalized(Input, Words) :-

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

@@ -1,5 +1,4 @@
 % 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))).

package/examples/book/chapter-10/02-plan.pl

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 10.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 plan(State, State, _, []).

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 11.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 why(

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

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

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

@@ -1,5 +1,4 @@
 % 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).

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

@@ -1,5 +1,4 @@
 % 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.

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

@@ -1,5 +1,4 @@
 % 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,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 18.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 routeable(Parcel, Hub) :-

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

@@ -1,5 +1,4 @@
 % 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,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 21 — Failure rewinds choices, not facts.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 eligible(Person) :-

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 22.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 tree_member(X, tree(X, _, _)).

package/examples/book/chapter-22/06-lookup.pl

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

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

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

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 23.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 adult(Person) :-

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

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

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

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

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

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

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

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

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 24 — Optimization is search plus an order.
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 :- use_module(library(lists)).
 
 best_plan(Request, Plan, Cost) :-

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

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

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

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

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

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

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 26 — Answers are existential witnesses.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 triple(A, B, C) :-

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

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

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

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

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 28 — Symmetry reduces search.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 triangle(A, B, C) :-

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

@@ -1,5 +1,4 @@
 % 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,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 28.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 integer_rectangle(Area, W, H) :-

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

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

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 29 — Examples suggest; proofs compel.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 counterexample_to_odd_square(N) :-

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

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

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 31 — Properties over finite domains.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 double(N, D) :- (D is N + N).

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

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

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 32.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 eligible(Person) :-

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

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

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 32 — Compare specification and implementation.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 reference_square(N, S) :-

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

@@ -1,5 +1,4 @@
 % 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,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 2: Normalize at the boundary.
-:- use_module(library(eyeprolog)).
+:- use_module(library(strings)).
 :- use_module(library(lists)).
 
 source_role(person_7, 'Doctor').

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 33 — Pattern 3: Generate, constrain, describe.
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 chosen_pair(pair(X, Y), reason(sum_is_ten)) :-

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

@@ -1,5 +1,4 @@
 % 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).

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

@@ -1,5 +1,4 @@
 % 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) :-

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 34.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 regional_total(Region, Total) :-

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 38.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 city('München').

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

@@ -1,5 +1,7 @@
 % From The Art of EyeProlog, Chapter 39 — The EyeProlog library.
-:- use_module(library(eyeprolog)).
+:- use_module(library(dates)).
+:- use_module(library(prologue), [between/3]).
+:- use_module(library(random)).
 :- use_module(library(lists)).
 
 answer(square, S) :- (S is 12 * 12).

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 39.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 answer(split, pair(Prefix, Suffix)) :-

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 39.
-:- use_module(library(eyeprolog)).
+:- use_module(library(strings)).
 :- use_module(library(lists)).
 
 answer(words, Words) :-

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

@@ -1,5 +1,5 @@
 % From The Art of EyeProlog, Chapter 39.
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 :- use_module(library(lists)).
 
 cost(a, 8).

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

@@ -1,5 +1,4 @@
 % From The Art of EyeProlog, Chapter 39.
-:- use_module(library(eyeprolog)).
 :- use_module(library(lists)).
 
 message(event_17,

package/examples/book/chapter-39/06-task.pl

@@ -0,0 +1,18 @@
+% From The Art of EyeProlog, Chapter 39.
+:- use_module(library(iso_ext)).
+
+task(parse).
+task(check).
+task(report).
+
+extension_answer(all_tasks_are_atoms, true) :-
+  forall(task(Task), atom(Task)).
+
+extension_answer(numbered, Pairs) :-
+  findall(N-S, (cfor(1, 3, N), succ(N, S)), Pairs).
+
+extension_answer(with_tail, Tasks) :-
+  findall(Task, task(Task), Tasks, [done]).
+
+extension_answer(same_shape, true) :-
+  variant(node(X, X), node(Y, Y)).

package/examples/catalan-convolution.pl

@@ -1,4 +1,5 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
+:- use_module(library(prologue), [between/3]).
 
 % Catalan numbers by automatically tabled convolution.
 %

package/examples/collatz-1000.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 
 % Collatz conjecture suite translated from Eyeling's examples/collatz-1000.n3.
 % It enumerates starts N = 1000, 999, ..., 1 by deriving N = 1000 - N0

package/examples/continued-fraction-sqrt2.pl

@@ -1,4 +1,5 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
+:- use_module(library(prologue), [between/3]).
 
 % Convergents of sqrt(2) by automatically tabled recurrence.
 %

package/examples/critical-path-schedule.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 
 % Critical-path scheduling for a small project network.
 %

package/examples/delfour.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(strings)).
 :- use_module(library(lists)).
 
 % Delfour insight-economy case adapted from Eyeling delfour.n3.

package/examples/easter-computus.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(prologue), [between/3]).
 
 % Gregorian Easter computus adapted from Eyeling's easter.n3.
 % Each case is a year in a sample decade.  The rules derive the Meeus/Jones/

package/examples/enigma1225.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
 :- use_module(library(lists)).
 
 % New Scientist puzzle Enigma 1225

package/examples/equality-saturation.pl

@@ -1,4 +1,5 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
+:- use_module(library(prologue), [between/3]).
 :- use_module(library(lists)).
 
 % Bounded equality saturation over tiny arithmetic expression terms.
@@ -62,7 +63,7 @@ candidate_expression(Candidate) :-
 % their children.  The numeric range is deliberately bounded for the generated
 % constants in this example.
 expr_cost(x, 1).
-expr_cost(N, 1) :- between(0, 20, N).
+expr_cost(N, 1) :- integer(N), between(0, 20, N).
 expr_cost(add(A, B), Cost) :-
   expr_cost(A, A_cost),
   expr_cost(B, B_cost),

package/examples/flandor.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(strings)).
 
 % Flandor insight-economy case adapted from Eyeling flandor.n3.
 % The original N3 renders a Markdown ARC report.  This eyeprolog translation keeps

package/examples/fundamental-theorem-arithmetic.pl

@@ -1,4 +1,4 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(primes)).
 :- use_module(library(lists)).
 
 % Adapted from Eyeling's fundamental-theorem-arithmetic.n3.
@@ -40,7 +40,7 @@ divides(A, B) :-
   (B > 0),
   (0 is B mod A).
 
-% smallest_divisor_from/3 is exported by library(eyeprolog). Its
+% smallest_divisor_from/3 is exported by library(primes). Its
 % implementation is plain Prolog and avoids repeating a long trial scan for
 % values that are prime.
 

package/examples/goldbach.pl

@@ -1,4 +1,5 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(primes)).
+:- use_module(library(prologue), [between/3]).
 
 % Goldbach's_conjecture
 % See https://en.wikipedia.org/wiki/Goldbach%27s_conjecture:

package/examples/integer-partitions.pl

@@ -1,4 +1,5 @@
-:- use_module(library(eyeprolog)).
+:- use_module(library(aggregate)).
+:- use_module(library(prologue), [between/3]).
 
 % Integer partition counts by tabled dynamic programming.
 %