eyeling 1.33.3 → 1.33.5

package/test/eyelang/conformance/cases/core/021_repeated_variable_head.pl

@@ -1,4 +1,4 @@
-% SPEC 5.1, 7.1: repeated variables in a rule body require the same term.
+% Reference 5.1, 7.1: repeated variables in a rule body require the same term.
 pair(a, a).
 pair(a, b).
 pair(c, c).

package/test/eyelang/conformance/cases/core/022_rule_head_structure.pl

@@ -1,4 +1,4 @@
-% SPEC 5.3, 6, 7.1: structured rule heads destructure matching goals.
+% Reference 5.3, 6, 7.1: structured rule heads destructure matching goals.
 unpack(pair(X, Y), X, Y).
 answer(first, A) :- unpack(pair(alpha, beta), A, _).
 answer(second, B) :- unpack(pair(alpha, beta), _, B).

package/test/eyelang/conformance/cases/core/023_quoted_escapes_readback.pl

@@ -1,4 +1,4 @@
-% SPEC 3.5, 11: quoted strings and atoms preserve escape sequences at read-back.
+% Reference 3.5, 11: quoted strings and atoms preserve escape sequences at read-back.
 raw(string, "line\nnext\t\\slash").
 raw(atom, 'line\nnext\t\\slash').
 answer(K, V) :- raw(K, V).

package/test/eyelang/conformance/cases/core/024_numeric_literal_readback.pl

@@ -1,4 +1,4 @@
-% SPEC 3.3, 11: signed, decimal, and exponent numeric literals retain lexical form.
+% Reference 3.3, 11: signed, decimal, and exponent numeric literals retain lexical form.
 raw(negative_decimal, -3.5).
 raw(positive_exp, 6.02e23).
 raw(negative_exp, -1.0e-3).

package/test/eyelang/conformance/cases/core/025_body_parentheses_with_formula_data.pl

@@ -1,4 +1,4 @@
-% SPEC 5.5, 7: formula data can be passed through parenthesized conjunctions.
+% Reference 5.5, 7: formula data can be passed through parenthesized conjunctions.
 record((left(a), right(b))).
 accept((left(a), right(b))).
 answer(ok, F) :- (record(F), accept(F)).

package/test/eyelang/conformance/cases/core/026_underscore_named_variable_reuse.pl

@@ -1,4 +1,4 @@
-% SPEC 3.4, 5.1: variables beginning with underscore are named variables unless exactly _.
+% Reference 3.4, 5.1: variables beginning with underscore are named variables unless exactly _.
 pair(a, a).
 pair(a, b).
 answer(shared, _Value) :- pair(_Value, _Value).

package/test/eyelang/conformance/cases/extension/001_default_derived_output.pl

@@ -1,4 +1,4 @@
-% SPEC 11: default output prints new ground binary derivations, not source facts.
+% Reference 11: default output prints new ground binary derivations, not source facts.
 parent(pat, jan).
 parent(jan, emma).
 ancestor(X, Y) :- parent(X, Y).

package/test/eyelang/conformance/cases/extension/002_materialize_focus.pl

@@ -1,4 +1,4 @@
-% SPEC 10.2, 11: materialize/2 restricts selected default predicate groups.
+% Reference 10.2, 11: materialize/2 restricts selected default predicate groups.
 materialize(answer, 2).
 seed(a).
 helper(X, y) :- seed(X).

package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.pl

@@ -1,4 +1,4 @@
-% SPEC 9.2, 9.3: arithmetic and comparison built-ins.
+% Reference 9.2, 9.3: arithmetic and comparison built-ins.
 answer(sum, X) :- add(2, 3, X).
 answer(diff, X) :- sub(7, 4, X).
 answer(product, X) :- mul(6, 7, X).
@@ -6,7 +6,6 @@ answer(integer_division, X) :- div(7, 2, X).
 answer(remainder, X) :- mod(7, 2, X).
 answer(power, X) :- pow(2, 8, X).
 answer(minimum, X) :- min(3, 9, X).
-answer(maximum, X) :- max(3, 9, X).
 answer(less_than, true) :- lt(3, 9).
 answer(greater_equal, true) :- ge(9, 9).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.pl

@@ -1,6 +1,4 @@
-% SPEC 9.6: atom and string built-ins.
-answer(atom_concat, X) :- atom_concat(eye, lang, X).
+% Reference 9.6: atom and string built-ins.
 answer(str_concat, X) :- str_concat("eye", "lang", X).
 answer(contains, true) :- contains("eyelang", "lang").
-answer(not_contains, true) :- not_contains("eyelang", "cat").
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.pl

@@ -1,4 +1,4 @@
-% SPEC 9.7, 9.8: list, aggregation, and ordering built-ins.
+% Reference 9.7, 9.8: list, aggregation, and ordering built-ins.
 answer(member, X) :- member(X, [a, b]).
 answer(append, X) :- append([a], [b, c], X).
 answer(nth0, X) :- nth0(1, [a, b, c], X).

package/test/eyelang/conformance/cases/extension/006_formula_terms.pl

@@ -1,5 +1,4 @@
-% SPEC 9.9: formula_atom/2 and formula_binary/4 over comma formula data.
+% Reference 9.9: formula_binary/4 over comma formula data.
 formula((name(alice, "Alice"), knows(alice, bob))).
-answer(atom, A) :- formula(F), formula_atom(F, A).
 answer(binary, exposed(S, P, O)) :- formula(F), formula_binary(F, S, P, O).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/007_negation_once_generators.pl

@@ -1,4 +1,4 @@
-% SPEC 9.5, 9.10: generators, negation as failure, and once/1.
+% Reference 9.5, 9.10: generators, negation as failure, and once/1.
 candidate(a).
 candidate(b).
 closed(b).

package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.pl

@@ -1,4 +1,4 @@
-% SPEC 9.1: eq/2 unifies terms and neq/2 succeeds on non-unifiable terms.
+% Reference 9.1: eq/2 unifies terms and neq/2 succeeds on non-unifiable terms.
 answer(eq_variable, X) :- eq(X, pair(a, [b, c])).
 answer(eq_nested, true) :- eq(pair(X, X), pair(same, same)).
 answer(neq_atoms, true) :- neq(alice, bob).

package/test/eyelang/conformance/cases/extension/009_list_relations.pl

@@ -1,6 +1,5 @@
-% SPEC 9.7: rest/2, select/3, not_member/2, and is_list/1.
+% Reference 9.7: rest/2, select/3, and not_member/2.
 answer(rest, X) :- rest([a, b, c], X).
 answer(select, selected(X, R)) :- select(X, [a, b], R).
 answer(not_member, true) :- not_member(c, [a, b]).
-answer(is_list, true) :- is_list([a, b]).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/010_append_splits.pl

@@ -1,3 +1,3 @@
-% SPEC 9.7: append/3 can enumerate proper prefix/suffix splits.
+% Reference 9.7: append/3 can enumerate proper prefix/suffix splits.
 answer(split, split(A, B)) :- append(A, B, [a, b]).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.pl

@@ -1,4 +1,4 @@
-% SPEC 9.3, 9.6: lexical comparison and simple text matching.
+% Reference 9.3, 9.6: lexical comparison and simple text matching.
 answer(matches, true) :- matches("eyelang", "eye").
 answer(not_matches, true) :- not_matches("eyelang", "cat").
 answer(lex_lt, true) :- lt(alpha, beta).

package/test/eyelang/conformance/cases/extension/012_memoize_declaration.pl

@@ -1,4 +1,4 @@
-% SPEC 10.1: memoize/2 is a declaration and does not change answers.
+% Reference 10.1: memoize/2 is a declaration and does not change answers.
 materialize(reach, 2).
 memoize(reach_any, 2).
 edge(a, b).

package/test/eyelang/conformance/cases/extension/013_numeric_functions.pl

@@ -1,4 +1,4 @@
-% SPEC 9.2: scalar arithmetic functions return numeric values.
+% Reference 9.2: scalar arithmetic functions return numeric values.
 answer(neg, X) :- neg(5, X).
 answer(abs, X) :- abs(-5, X).
 answer(rounded, X) :- rounded(2.6, X).

package/test/eyelang/conformance/cases/extension/014_between_enumeration.pl

@@ -1,3 +1,3 @@
-% SPEC 9.5: between/3 enumerates every integer in an inclusive range.
+% Reference 9.5: between/3 enumerates every integer in an inclusive range.
 answer(n, X) :- between(3, 5, X).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/015_smallest_divisor.pl

@@ -1,3 +1,3 @@
-% SPEC 9.5: smallest_divisor_from/3 finds the first divisor at or above the start.
+% Reference 9.5: smallest_divisor_from/3 finds the first divisor at or above the start.
 answer(divisor, D) :- smallest_divisor_from(21, 2, D).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/016_negation_filter.pl

@@ -1,4 +1,4 @@
-% SPEC 9.10: not/1 succeeds when the subgoal has no proof.
+% Reference 9.10: not/1 succeeds when the subgoal has no proof.
 candidate(a).
 candidate(b).
 candidate(c).

package/test/eyelang/conformance/cases/extension/017_once_user_predicate.pl

@@ -1,4 +1,4 @@
-% SPEC 9.10: once/1 keeps at most the first solution from a user predicate.
+% Reference 9.10: once/1 keeps at most the first solution from a user predicate.
 choice(a).
 choice(b).
 answer(first, X) :- once(choice(X)).

package/test/eyelang/conformance/cases/extension/018_findall_user_goal.pl

@@ -1,4 +1,4 @@
-% SPEC 9.8: findall/3 collects templates for every solution of a user goal.
+% Reference 9.8: findall/3 collects templates for every solution of a user goal.
 p(b).
 p(a).
 p(b).

package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.pl

@@ -1,3 +1,3 @@
-% SPEC 9.8: sort/2 sorts and deduplicates a proper list.
+% Reference 9.8: sort/2 sorts and deduplicates a proper list.
 answer(sorted, X) :- sort([c, a, b, a], X).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.pl

@@ -1,4 +1,4 @@
-% SPEC 9.7: append/3 supports bound prefix and suffix use cases.
+% Reference 9.7: append/3 supports bound prefix and suffix use cases.
 answer(prefix, X) :- append(X, [c], [a, b, c]).
 answer(suffix, X) :- append([a], X, [a, b, c]).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.pl

@@ -1,3 +1,3 @@
-% SPEC 9.7: nth0/3 can bind the index for a known list element.
+% Reference 9.7: nth0/3 can bind the index for a known list element.
 answer(index, I) :- nth0(I, [a, b, c], b).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.pl

@@ -1,4 +1,4 @@
-% SPEC 9.7: set_nth0/4 updates zero-based positions functionally.
+% Reference 9.7: set_nth0/4 updates zero-based positions functionally.
 answer(first, X) :- set_nth0(0, [a, b, c], x, X).
 answer(last, X) :- set_nth0(2, [a, b, c], z, X).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.pl

@@ -1,3 +1,3 @@
-% SPEC 9.7: select/3 enumerates removals of matching occurrences.
+% Reference 9.7: select/3 enumerates removals of matching occurrences.
 answer(rest, X) :- select(a, [a, b, a], X).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/024_not_member_filter.pl

@@ -1,4 +1,4 @@
-% SPEC 9.7: not_member/2 can filter finite candidates.
+% Reference 9.7: not_member/2 can filter finite candidates.
 candidate(a).
 candidate(b).
 candidate(c).

package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.pl

@@ -1,5 +1,4 @@
-% SPEC 9.9: formula helpers enumerate nested comma formula members.
+% Reference 9.9: formula helpers enumerate nested comma formula members.
 formula(((name(a, "A"), knows(a, b)), likes(b, c))).
-answer(atom, A) :- formula(F), formula_atom(F, A).
 answer(binary, exposed(S, P, O)) :- formula(F), formula_binary(F, S, P, O).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/027_materialize_excludes_source_fact.pl

@@ -1,4 +1,4 @@
-% SPEC 11: default materialization excludes source facts even if also derivable.
+% Reference 11: default materialization excludes source facts even if also derivable.
 materialize(answer, 2).
 seed(a).
 answer(a, ok).

package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.pl

@@ -1,4 +1,4 @@
-% SPEC 9.3: comparisons handle numeric and lexical scalar ordering.
+% Reference 9.3: comparisons handle numeric and lexical scalar ordering.
 answer(numeric_gt, true) :- gt(10, 2).
 answer(numeric_le, true) :- le(2, 2.0).
 answer(lexical_ge, true) :- ge(beta, alpha).

package/test/eyelang/conformance/cases/extension/029_string_matching_filters.pl

@@ -1,4 +1,4 @@
-% SPEC 9.6: matches/2 and not_matches/2 can filter candidate strings.
+% Reference 9.6: matches/2 and not_matches/2 can filter candidate strings.
 text(a, "alpha").
 text(b, "beta").
 answer(has_ph, K) :- text(K, T), matches(T, "ph").

package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.pl

@@ -1,4 +1,3 @@
-% SPEC 9.6: atom_concat/3 and str_concat/3 concatenate like-typed scalars.
-answer(atom, X) :- atom_concat(eye, lang, X).
+% Reference 9.6: str_concat/3 concatenates strings.
 answer(string, X) :- str_concat("eye", "lang", X).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/035_date_difference.pl

@@ -1,4 +1,4 @@
-% SPEC 9.1: difference/3 computes ISO date durations.
+% Reference 9.1: difference/3 computes ISO date durations.
 answer(duration, D) :- difference("2024-03-01", "2020-02-29", D).
 answer(month_borrow, D) :- difference("2024-03-01", "2024-01-31", D).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/036_extended_gcd.pl

@@ -1,3 +1,3 @@
-% SPEC 9.2: extended_gcd/5 returns gcd and Bezout coefficients.
+% Reference 9.2: extended_gcd/5 returns gcd and Bezout coefficients.
 answer(gcd, result(G, S, T)) :- extended_gcd(240, 46, G, S, T).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/037_collatz_trajectory.pl

@@ -1,3 +1,3 @@
-% SPEC 9.2: collatz_trajectory/2 returns the full path to 1.
+% Reference 9.2: collatz_trajectory/2 returns the full path to 1.
 answer(path, T) :- collatz_trajectory(6, T).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/038_kaprekar_steps.pl

@@ -1,3 +1,3 @@
-% SPEC 9.2: kaprekar_steps/2 counts iterations to 6174.
+% Reference 9.2: kaprekar_steps/2 counts iterations to 6174.
 answer(steps, N) :- kaprekar_steps(3524, N).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/039_goldbach_pair.pl

@@ -1,3 +1,3 @@
-% SPEC 9.2: goldbach_pair/3 enumerates prime decompositions in ascending first prime order.
+% Reference 9.2: goldbach_pair/3 enumerates prime decompositions in ascending first prime order.
 answer(pair, pair(P, Q)) :- goldbach_pair(28, P, Q).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/040_matrix_operations.pl

@@ -1,4 +1,4 @@
-% SPEC 9.2: matrix helpers handle small ground numeric matrices.
+% Reference 9.2: matrix helpers handle small ground numeric matrices.
 answer(sum, M) :- matrix_sum([[[1, 2], [3, 4]], [[5, 6], [7, 8]]], M).
 answer(product, M) :- matrix_multiply([[[1, 2], [3, 4]], [[2, 0], [1, 2]]], M).
 answer(determinant, D) :- determinant([[4, 2], [2, 3]], D).

package/test/eyelang/conformance/cases/extension/042_n_queens_small.pl

@@ -1,3 +1,3 @@
-% SPEC 9.5: n_queens/2 enumerates finite board solutions.
+% Reference 9.5: n_queens/2 enumerates finite board solutions.
 answer(solution, Qs) :- n_queens(4, Qs).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/043_cnf_model.pl

@@ -1,3 +1,3 @@
-% SPEC 9.5: cnf_model/3 enumerates satisfying truth assignments for a CNF.
+% Reference 9.5: cnf_model/3 enumerates satisfying truth assignments for a CNF.
 answer(model, M) :- cnf_model([a, b], [[pos(a), pos(b)], [neg(a)]], M).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/045_alphametic_sum_small.pl

@@ -1,3 +1,3 @@
-% SPEC 9.5: alphametic_sum/5 enumerates unique digit assignments for column addition.
+% Reference 9.5: alphametic_sum/5 enumerates unique digit assignments for column addition.
 answer(solution, result(Digits, Values)) :- alphametic_sum([a, b], [[a], [a]], [b], Digits, Values).
 materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/046_bounded_subset.pl

@@ -1,4 +1,4 @@
-% SPEC 9.5: bounded_subset/7 enumerates subsets within budget and risk caps.
+% Reference 9.5: bounded_subset/7 enumerates subsets within budget and risk caps.
 projects([p(a, 5, 3, 1), p(b, 4, 2, 2), p(c, 7, 5, 3)]).
 answer(selection, result(Names, Value, Cost, Risk)) :- projects(Ps), bounded_subset(Ps, 5, 3, Names, Value, Cost, Risk).
 materialize(answer, 2).

package/test/eyelang/conformance/expected/extension/003_arithmetic_and_comparison.out

@@ -5,6 +5,5 @@ answer(integer_division, 3).
 answer(remainder, 1).
 answer(power, 256).
 answer(minimum, 3).
-answer(maximum, 9).
 answer(less_than, true).
 answer(greater_equal, true).

package/test/eyelang/conformance/expected/extension/004_strings_and_atoms.out

@@ -1,4 +1,2 @@
-answer(atom_concat, eyelang).
 answer(str_concat, "eyelang").
 answer(contains, true).
-answer(not_contains, true).

package/test/eyelang/conformance/expected/extension/006_formula_terms.out

@@ -1,4 +1,2 @@
-answer(atom, name(alice, "Alice")).
-answer(atom, knows(alice, bob)).
 answer(binary, exposed(alice, name, "Alice")).
 answer(binary, exposed(alice, knows, bob)).

package/test/eyelang/conformance/expected/extension/009_list_relations.out

@@ -2,4 +2,3 @@ answer(rest, [b, c]).
 answer(select, selected(a, [b])).
 answer(select, selected(b, [a])).
 answer(not_member, true).
-answer(is_list, true).

package/test/eyelang/conformance/expected/extension/026_nested_formula_terms.out

@@ -1,6 +1,3 @@
-answer(atom, name(a, "A")).
-answer(atom, knows(a, b)).
-answer(atom, likes(b, c)).
 answer(binary, exposed(a, name, "A")).
 answer(binary, exposed(a, knows, b)).
 answer(binary, exposed(b, likes, c)).

package/test/eyelang/conformance/expected/extension/030_string_and_atom_concat.out

@@ -1,2 +1 @@
-answer(atom, eyelang).
 answer(string, "eyelang").

package/test/packlist.test.js

@@ -46,6 +46,7 @@ try {
     'bin/eyeling.cjs',
     'dist/browser/eyeling.browser.js',
     'dist/browser/index.mjs',
+    'docs/eyelang-language-reference.md',
   ];
 
   for (const p of mustHave) assert.ok(paths.has(p), `missing from npm pack: ${p}`);

package/test/run.js

@@ -126,9 +126,26 @@ function addSectionToAggregate(summary) {
   aggregate.nonconform += failed;
 }
 
-function scoreLine() {
+function scoreColor(score) {
+  if (aggregate.crashed || aggregate.nonconform) return C.r;
+  if (aggregate.incomplete || score < 100) return C.y;
+  return C.g;
+}
+
+function scoreLine(elapsedMs) {
   const score = aggregate.total === 0 ? 0 : (100 * aggregate.ok) / aggregate.total;
-  return `TOTAL [COUNT:${aggregate.total}] OK: ⭐${aggregate.ok}⭐ INCOMPLETE: ⭐${aggregate.incomplete}⭐ NONCONFORM: ⭐${aggregate.nonconform}⭐ CRASHED: ⭐${aggregate.crashed}⭐ => SCORE: ⭐⭐⭐${score.toFixed(1)}⭐⭐⭐`;
+  const scoreC = scoreColor(score);
+  return [
+    `${C.dim}TOTAL${C.n}`,
+    `${C.dim}[COUNT:${aggregate.total}]${C.n}`,
+    `${C.g}OK:${C.n} ${C.y}⭐${aggregate.ok}⭐${C.n}`,
+    `${C.r}INCOMPLETE:${C.n} ${C.y}⭐${aggregate.incomplete}⭐${C.n}`,
+    `${C.r}NONCONFORM:${C.n} ${C.y}⭐${aggregate.nonconform}⭐${C.n}`,
+    `${C.r}CRASHED:${C.n} ${C.y}⭐${aggregate.crashed}⭐${C.n}`,
+    '=>',
+    `${scoreC}SCORE:${C.n} ${C.y}⭐⭐⭐${score.toFixed(1)}⭐⭐⭐${C.n}`,
+    `${C.dim}ELAPSED:${C.n} ${C.y}${formatDuration(elapsedMs)}${C.n}`,
+  ].join(' ');
 }
 
 function childEnv() {
@@ -194,6 +211,7 @@ function runSection(label, cmd, args) {
 }
 
 (async function main() {
+  const suiteStartedAt = Date.now();
   let status = 0;
   for (const [label, cmd, args] of sections) {
     const sectionStatus = await runSection(label, cmd, args);
@@ -204,7 +222,7 @@ function runSection(label, cmd, args) {
   }
 
   console.log('');
-  console.log(scoreLine());
+  console.log(scoreLine(Date.now() - suiteStartedAt));
 
   process.exit(status);
 })();

package/examples/eyelang/exact-cover-sudoku.pl

@@ -1,113 +0,0 @@
-% Exact-cover-style 9x9 Sudoku without cut.
-%
-% Instead of generating every row permutation, each row has three candidate
-% rows that already satisfy the visible givens from a classic Sudoku puzzle.
-% The solver then chooses one candidate per row and checks the exact-cover
-% constraints for all columns and 3x3 boxes.
-
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(status, 2).
-materialize(solution, 2).
-materialize(firstRow, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-cover9(Cells) :-
-  sort(Cells, [1, 2, 3, 4, 5, 6, 7, 8, 9]).
-
-% Puzzle givens, with dots shown in the comment for readability:
-% 53..7....
-% 6..195...
-% .98....6.
-% 8...6...3
-% 4..8.3..1
-% 7...2...6
-% .6....28.
-% ...419..5
-% ....8..79
-
-row_candidate(1, [5, 3, 6, 4, 7, 8, 9, 1, 2]).
-row_candidate(1, [5, 3, 8, 6, 7, 4, 9, 1, 2]).
-row_candidate(1, [5, 3, 4, 6, 7, 8, 9, 1, 2]).
-
-row_candidate(2, [6, 2, 7, 1, 9, 5, 3, 4, 8]).
-row_candidate(2, [6, 3, 2, 1, 9, 5, 7, 4, 8]).
-row_candidate(2, [6, 7, 2, 1, 9, 5, 3, 4, 8]).
-
-row_candidate(3, [3, 9, 8, 1, 4, 2, 5, 6, 7]).
-row_candidate(3, [4, 9, 8, 3, 1, 2, 5, 6, 7]).
-row_candidate(3, [1, 9, 8, 3, 4, 2, 5, 6, 7]).
-
-row_candidate(4, [8, 9, 5, 7, 6, 1, 4, 2, 3]).
-row_candidate(4, [8, 7, 9, 5, 6, 1, 4, 2, 3]).
-row_candidate(4, [8, 5, 9, 7, 6, 1, 4, 2, 3]).
-
-row_candidate(5, [4, 6, 2, 8, 5, 3, 7, 9, 1]).
-row_candidate(5, [4, 5, 6, 8, 2, 3, 7, 9, 1]).
-row_candidate(5, [4, 2, 6, 8, 5, 3, 7, 9, 1]).
-
-row_candidate(6, [7, 3, 1, 9, 2, 4, 8, 5, 6]).
-row_candidate(6, [7, 9, 3, 1, 2, 4, 8, 5, 6]).
-row_candidate(6, [7, 1, 3, 9, 2, 4, 8, 5, 6]).
-
-row_candidate(7, [1, 6, 9, 5, 3, 7, 2, 8, 4]).
-row_candidate(7, [5, 6, 1, 9, 3, 7, 2, 8, 4]).
-row_candidate(7, [9, 6, 1, 5, 3, 7, 2, 8, 4]).
-
-row_candidate(8, [8, 2, 7, 4, 1, 9, 6, 3, 5]).
-row_candidate(8, [7, 8, 2, 4, 1, 9, 6, 3, 5]).
-row_candidate(8, [2, 8, 7, 4, 1, 9, 6, 3, 5]).
-
-row_candidate(9, [4, 3, 5, 2, 8, 6, 1, 7, 9]).
-row_candidate(9, [5, 4, 3, 2, 8, 6, 1, 7, 9]).
-row_candidate(9, [3, 4, 5, 2, 8, 6, 1, 7, 9]).
-
-sudoku9([
-  [A1, A2, A3, A4, A5, A6, A7, A8, A9],
-  [B1, B2, B3, B4, B5, B6, B7, B8, B9],
-  [C1, C2, C3, C4, C5, C6, C7, C8, C9],
-  [D1, D2, D3, D4, D5, D6, D7, D8, D9],
-  [E1, E2, E3, E4, E5, E6, E7, E8, E9],
-  [F1, F2, F3, F4, F5, F6, F7, F8, F9],
-  [G1, G2, G3, G4, G5, G6, G7, G8, G9],
-  [H1, H2, H3, H4, H5, H6, H7, H8, H9],
-  [I1, I2, I3, I4, I5, I6, I7, I8, I9]
-]) :-
-  row_candidate(1, [A1, A2, A3, A4, A5, A6, A7, A8, A9]),
-  row_candidate(2, [B1, B2, B3, B4, B5, B6, B7, B8, B9]),
-  row_candidate(3, [C1, C2, C3, C4, C5, C6, C7, C8, C9]),
-  row_candidate(4, [D1, D2, D3, D4, D5, D6, D7, D8, D9]),
-  row_candidate(5, [E1, E2, E3, E4, E5, E6, E7, E8, E9]),
-  row_candidate(6, [F1, F2, F3, F4, F5, F6, F7, F8, F9]),
-  row_candidate(7, [G1, G2, G3, G4, G5, G6, G7, G8, G9]),
-  row_candidate(8, [H1, H2, H3, H4, H5, H6, H7, H8, H9]),
-  row_candidate(9, [I1, I2, I3, I4, I5, I6, I7, I8, I9]),
-
-  cover9([A1, B1, C1, D1, E1, F1, G1, H1, I1]),
-  cover9([A2, B2, C2, D2, E2, F2, G2, H2, I2]),
-  cover9([A3, B3, C3, D3, E3, F3, G3, H3, I3]),
-  cover9([A4, B4, C4, D4, E4, F4, G4, H4, I4]),
-  cover9([A5, B5, C5, D5, E5, F5, G5, H5, I5]),
-  cover9([A6, B6, C6, D6, E6, F6, G6, H6, I6]),
-  cover9([A7, B7, C7, D7, E7, F7, G7, H7, I7]),
-  cover9([A8, B8, C8, D8, E8, F8, G8, H8, I8]),
-  cover9([A9, B9, C9, D9, E9, F9, G9, H9, I9]),
-
-  cover9([A1, A2, A3, B1, B2, B3, C1, C2, C3]),
-  cover9([A4, A5, A6, B4, B5, B6, C4, C5, C6]),
-  cover9([A7, A8, A9, B7, B8, B9, C7, C8, C9]),
-  cover9([D1, D2, D3, E1, E2, E3, F1, F2, F3]),
-  cover9([D4, D5, D6, E4, E5, E6, F4, F5, F6]),
-  cover9([D7, D8, D9, E7, E8, E9, F7, F8, F9]),
-  cover9([G1, G2, G3, H1, H2, H3, I1, I2, I3]),
-  cover9([G4, G5, G6, H4, H5, H6, I4, I5, I6]),
-  cover9([G7, G8, G9, H7, H8, H9, I7, I8, I9]).
-
-status(exact_cover_sudoku, solved) :-
-  once(sudoku9(_Grid)).
-
-solution(exact_cover_sudoku, Grid) :-
-  once(sudoku9(Grid)).
-
-firstRow(exact_cover_sudoku, Row) :-
-  once(sudoku9([Row|_Rows])).

package/examples/eyelang/output/exact-cover-sudoku.pl

@@ -1,3 +0,0 @@
-status(exact_cover_sudoku, solved).
-solution(exact_cover_sudoku, [[5, 3, 4, 6, 7, 8, 9, 1, 2], [6, 7, 2, 1, 9, 5, 3, 4, 8], [1, 9, 8, 3, 4, 2, 5, 6, 7], [8, 5, 9, 7, 6, 1, 4, 2, 3], [4, 2, 6, 8, 5, 3, 7, 9, 1], [7, 1, 3, 9, 2, 4, 8, 5, 6], [9, 6, 1, 5, 3, 7, 2, 8, 4], [2, 8, 7, 4, 1, 9, 6, 3, 5], [3, 4, 5, 2, 8, 6, 1, 7, 9]]).
-firstRow(exact_cover_sudoku, [5, 3, 4, 6, 7, 8, 9, 1, 2]).

package/examples/eyelang/output/sudoku.pl

@@ -1,2 +0,0 @@
-solution(classic, [[1, 6, 2, 8, 5, 7, 4, 9, 3], [5, 3, 4, 1, 2, 9, 6, 7, 8], [7, 8, 9, 6, 4, 3, 5, 2, 1], [4, 7, 5, 3, 1, 2, 9, 8, 6], [9, 1, 3, 5, 8, 6, 7, 4, 2], [6, 2, 8, 7, 9, 4, 1, 3, 5], [3, 5, 6, 4, 7, 8, 2, 1, 9], [2, 4, 1, 9, 3, 5, 8, 6, 7], [8, 9, 7, 2, 6, 1, 3, 5, 4]]).
-solution(third, [[4, 7, 8, 2, 6, 9, 1, 3, 5], [2, 9, 5, 1, 7, 3, 4, 8, 6], [1, 3, 6, 4, 5, 8, 7, 9, 2], [9, 4, 2, 6, 3, 5, 8, 7, 1], [8, 1, 7, 9, 4, 2, 5, 6, 3], [6, 5, 3, 8, 1, 7, 2, 4, 9], [7, 2, 1, 3, 9, 4, 6, 5, 8], [5, 6, 9, 7, 8, 1, 3, 2, 4], [3, 8, 4, 5, 2, 6, 9, 1, 7]]).

package/examples/eyelang/sudoku.pl

@@ -1,20 +0,0 @@
-% Generic 9x9 Sudoku example using the compiled sudoku/2 builtin.
-%
-% Puzzles are 81-character strings read row-major. Digits 1..9 are givens;
-% 0, dot, or underscore marks a blank. The builtin also accepts a 9x9 list
-% of integers in the same representation.
-
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(solution, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-puzzle(classic,
-  "100007090030129008009600500005300900010080002600794000350408219240005867897201304").
-
-puzzle(third,
-  "078200000005000400100400092000035070007000500050810000720004008009000300000006910").
-
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-solution(Name, Rows) :-
-  puzzle(Name, Grid),
-  sudoku(Grid, Rows).