eyeling 1.33.4 → 1.33.6

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/eyelang/run-regression.mjs

@@ -491,9 +491,9 @@ function listExampleNames() {
 }
 
 function readmeCatalogExampleNames() {
-  const readme = fs.readFileSync(path.join(packageRoot, 'examples', 'eyelang', 'README.md'), 'utf8');
+  const readme = fs.readFileSync(path.join(packageRoot, 'docs', 'eyelang-guide.md'), 'utf8');
   const section = between(readme, '## Example catalog', '## Golden outputs, tests, and conformance');
-  return [...section.matchAll(/examples\/([A-Za-z0-9_-]+)\.pl/g)]
+  return [...section.matchAll(/examples\/eyelang\/([A-Za-z0-9_-]+)\.pl/g)]
     .map((match) => match[1])
     .filter((name, index, names) => names.indexOf(name) === index)
     .sort();

package/test/packlist.test.js

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

package/examples/eyelang/INTEGRATION.md

@@ -1,20 +0,0 @@
-# Eyelang examples inside Eyeling
-
-This directory contains eyelang examples that can be exercised through Eyeling's experimental second engine:
-
-```bash
-eyeling --engine eyelang examples/eyelang/ancestor.pl
-```
-
-For a paired example, compare the N3 and eyelang versions of the same dependency-risk scenario:
-
-```bash
-eyeling examples/vulnerability-impact.n3
-eyeling --engine eyelang examples/eyelang/vulnerability-impact.pl
-```
-
-The eyelang conformance corpus is kept under `test/eyelang/` and can be run with:
-
-```bash
-npm run test:eyelang:corpus
-```