eyeling 1.34.6 → 2.34.7

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.34.6",
+  "version": "2.34.7",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/test/eyelang/conformance/README.md

@@ -1,43 +0,0 @@
-# eyelang conformance suite
-
-This directory contains the executable conformance cases for the eyelang language and reference engine. The normative language description is in the [eyelang language reference](../../../docs/eyelang-language-reference.md).
-
-The suite is intentionally file-based so another implementation can run the same programs and compare exact standard output. A case consists of:
-
-- `conformance/cases/<name>.pl` — input program;
-- `conformance/expected/<name>.pl` — exact expected standard output, stored as eyelang-readable facts.
-
-The current runner compares standard output from normal execution. Proof explanations are opt-in in the CLI and are not part of these conformance goldens. Standard error, performance, and resource limits are outside this suite.
-
-## Running the suite
-
-Run all tests, including conformance, regression, examples, and style checks:
-
-```sh
-npm test
-```
-
-Run only the conformance suite:
-
-```sh
-node test/eyelang/run-conformance.mjs
-```
-
-Run matching conformance cases by passing a filename fragment:
-
-```sh
-node test/eyelang/run-conformance.mjs reusable
-node test/eyelang/run-conformance.mjs 092_scalar_string_conversions
-```
-
-The runner executes materialized programs in-process through the public JavaScript API so small conformance cases avoid measuring Node startup overhead.
-
-## Scope
-
-The conformance corpus is a single eyelang suite. It covers the standard language described by the language reference: lexical syntax, facts, definite clauses, first-order terms, lists, conjunction, structured unification, left-to-right goal-directed proof search, materialized output, read-back printing, standard built-ins, declarations, and standard host behavior.
-
-The suite deliberately does not separate `core` and `extension` profiles. Reusable built-ins such as arithmetic, strings, lists, aggregation, context terms, term inspection, and search control are part of the standard eyelang conformance surface. Implementation-specific built-ins may still exist in downstream hosts, but they should have their own tests outside this corpus unless they are standardized.
-
-## Updating expected output
-
-There is no committed auto-accept mode. To update an expected file, run the matching case with the conformance runner, inspect the result, and replace the corresponding file under `conformance/expected/` deliberately.

package/test/eyelang/conformance/cases/001_fact_output.pl

@@ -1,4 +0,0 @@
-% Reference 6, 7, 11: facts can be exposed through a materialized derived predicate.
-materialize(parent, 2).
-base_parent(pat, jan).
-parent(X, Y) :- base_parent(X, Y).

package/test/eyelang/conformance/cases/002_rule_recursion.pl

@@ -1,7 +0,0 @@
-% Reference 6, 7: definite clauses, conjunction, and recursive proof search.
-materialize(ancestor, 2).
-parent(pat, jan).
-parent(jan, emma).
-ancestor_any(X, Y) :- parent(X, Y).
-ancestor_any(X, Z) :- parent(X, Y), ancestor_any(Y, Z).
-ancestor(pat, Y) :- ancestor_any(pat, Y).

package/test/eyelang/conformance/cases/002_rule_recursion.query

@@ -1 +0,0 @@
-ancestor(pat, X)

package/test/eyelang/conformance/cases/003_terms_and_readback.pl

@@ -1,16 +0,0 @@
-% Reference 3, 5, 11: scalars, compounds, lists, and read-back printing.
-materialize(value, 2).
-raw_value(atom, pat).
-raw_value(quoted_atom, 'atom with spaces').
-raw_value(quoted_quote, 'needs''quote').
-raw_value(empty_atom, '').
-raw_value(string, "line\nquote: \"ok\"").
-raw_value(integer, -42).
-raw_value(decimal, 0.25).
-raw_value(scientific, 1.25e-3).
-raw_value(compound, pair(3, nested(atom, [x, y]))).
-raw_value(zero_arity, nil()).
-raw_value(empty_list, []).
-raw_value(proper_list, [a, b, c]).
-raw_value(improper_list, [a, b | tail]).
-value(K, V) :- raw_value(K, V).

package/test/eyelang/conformance/cases/003_terms_and_readback.query

@@ -1 +0,0 @@
-value(K, V)

package/test/eyelang/conformance/cases/004_conjunction_and_parentheses.pl

@@ -1,5 +0,0 @@
-% Reference 5.5, 7: parenthesized comma terms are conjunctions in goal position.
-p(a).
-q(a).
-ok(X, yes) :- (p(X), q(X)).
-materialize(ok, 2).

package/test/eyelang/conformance/cases/004_conjunction_and_parentheses.query

@@ -1 +0,0 @@
-ok(X, Y)

package/test/eyelang/conformance/cases/005_list_deconstruction.pl

@@ -1,6 +0,0 @@
-% Reference 5.4, 12.1: list syntax and unification in rule heads.
-first([X | _Rest], X).
-tail([_Head | Tail], Tail).
-answer(first, X) :- first([a, b, c], X).
-answer(tail, Tail) :- tail([a, b, c], Tail).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/005_list_deconstruction.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/006_comma_formula_data.pl

@@ -1,4 +0,0 @@
-% Reference 5.5: comma terms remain data outside goal position.
-record((name(alice, "Alice"), knows(alice, bob))).
-answer(formula, F) :- record(F).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/006_comma_formula_data.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/007_anonymous_variables.pl

@@ -1,5 +0,0 @@
-% Reference 3.4, 5.1, 7.1: each anonymous variable occurrence is fresh.
-pair(a, one).
-pair(b, two).
-answer(fresh, yes) :- pair(a, _), pair(b, _).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/007_anonymous_variables.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/008_graphic_atoms.pl

@@ -1,6 +0,0 @@
-% Reference 3.5, 5.2, 11: graphic atom constants are scalar terms.
-materialize(value, 2).
-raw_value(hash, #).
-raw_value(arrow, =>).
-raw_value(comparison, =<).
-value(K, V) :- raw_value(K, V).

package/test/eyelang/conformance/cases/008_graphic_atoms.query

@@ -1 +0,0 @@
-value(K, V)

package/test/eyelang/conformance/cases/009_comments_and_whitespace.pl

@@ -1,5 +0,0 @@
-% Reference 3.2, 3.6: comments are ignored outside quoted text and atoms.
-  item(quoted_percent, "% not a comment").    % trailing comment
-item(quoted_atom, 'has % sign').
-answer(K, V) :- item(K, V).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/009_comments_and_whitespace.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/010_variable_scope_and_reuse.pl

@@ -1,8 +0,0 @@
-% Reference 5.1, 7.1: variable occurrences are scoped per clause and reused within a clause.
-edge(a, b).
-edge(b, c).
-edge(c, d).
-two_step(X, Z) :- edge(X, Y), edge(Y, Z).
-answer(from_a, Z) :- two_step(a, Z).
-answer(from_b, Z) :- two_step(b, Z).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/010_variable_scope_and_reuse.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/011_predicate_arity.pl

@@ -1,6 +0,0 @@
-% Reference 6: predicate name and arity both identify a predicate group.
-p(a).
-p(a, b).
-answer(unary, X) :- p(X).
-answer(binary, pair(X, Y)) :- p(X, Y).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/011_predicate_arity.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/012_nested_compound_unification.pl

@@ -1,5 +0,0 @@
-% Reference 5.3, 7.1: unification follows nested compound term structure.
-fact(pair(a, nested(b, [c, d]))).
-answer(middle, X) :- fact(pair(a, nested(X, [c, d]))).
-answer(list_tail, T) :- fact(pair(a, nested(b, [c | T]))).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/012_nested_compound_unification.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/013_multiple_clauses_order.pl

@@ -1,6 +0,0 @@
-% Reference 6, 7: multiple clauses for one predicate are explored as alternatives.
-color(red).
-color(blue).
-paint(X) :- color(X).
-answer(color, X) :- paint(X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/013_multiple_clauses_order.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/014_failure_filters_answers.pl

@@ -1,7 +0,0 @@
-% Reference 7.2: a failing subgoal removes that candidate answer.
-candidate(a).
-candidate(b).
-allowed(a).
-answer(X, ok) :- candidate(X), allowed(X).
-
-materialize(answer, 2).

package/test/eyelang/conformance/cases/014_failure_filters_answers.query

@@ -1 +0,0 @@
-answer(X, V)

package/test/eyelang/conformance/cases/015_improper_list_unification.pl

@@ -1,6 +0,0 @@
-% Reference 5.4: improper list surface syntax unifies with head-tail structure.
-cell([head | tail], head, tail).
-answer(list, L) :- cell(L, head, tail).
-answer(head, H) :- cell([H | tail], H, tail).
-answer(tail, T) :- cell([head | T], head, T).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/015_improper_list_unification.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/016_zero_arity_compound.pl

@@ -1,4 +0,0 @@
-% Reference 4, 5.3: zero-arity compounds are written and matched with parentheses.
-status(nil(), ok).
-answer(value, X) :- status(X, ok).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/016_zero_arity_compound.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/017_three_step_recursion.pl

@@ -1,8 +0,0 @@
-% Reference 7: recursive definite clauses can derive paths beyond one step.
-link(a, b).
-link(b, c).
-link(c, d).
-path(X, Y) :- link(X, Y).
-path(X, Z) :- link(X, Y), path(Y, Z).
-answer(reachable, X) :- path(a, X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/017_three_step_recursion.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/018_quoted_atom_readback.pl

@@ -1,6 +0,0 @@
-% Reference 3.5, 11: quoted atoms preserve spaces, quotes, and the empty atom.
-symbol('two words').
-symbol('needs''quote').
-symbol('').
-answer(symbol, X) :- symbol(X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/018_quoted_atom_readback.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/019_parenthesized_three_conjuncts.pl

@@ -1,7 +0,0 @@
-% Reference 5.5, 7: parenthesized comma terms with more than two members are conjunctions as goals.
-p(a).
-q(a).
-r(a).
-ok(X) :- (p(X), q(X), r(X)).
-answer(ok, X) :- ok(X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/019_parenthesized_three_conjuncts.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/020_nested_list_terms.pl

@@ -1,5 +0,0 @@
-% Reference 5.3, 5.4: lists may contain structured terms that unify positionally.
-node([pair(a, b), pair(c, d)]).
-answer(first_key, X) :- node([pair(X, _), pair(c, d)]).
-answer(second_key, X) :- node([pair(a, b), pair(X, d)]).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/020_nested_list_terms.query

@@ -1 +0,0 @@
-answer(K, V)

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

@@ -1,7 +0,0 @@
-% Reference 5.1, 7.1: repeated variables in a rule body require the same term.
-pair(a, a).
-pair(a, b).
-pair(c, c).
-diagonal(X) :- pair(X, X).
-answer(diagonal, X) :- diagonal(X).
-materialize(answer, 2).

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

@@ -1,5 +0,0 @@
-% 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).
-materialize(answer, 2).

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

@@ -1,5 +0,0 @@
-% 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).
-materialize(answer, 2).

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

@@ -1,6 +0,0 @@
-% 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).
-answer(K, V) :- raw(K, V).
-materialize(answer, 2).

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

@@ -1,5 +0,0 @@
-% 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)).
-materialize(answer, 2).

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

@@ -1,5 +0,0 @@
-% 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).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/027_default_derived_output.pl

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

package/test/eyelang/conformance/cases/028_materialize_focus.pl

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

package/test/eyelang/conformance/cases/029_arithmetic_and_comparison.pl

@@ -1,11 +0,0 @@
-% 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).
-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(less_than, true) :- lt(3, 9).
-answer(greater_equal, true) :- ge(9, 9).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/029_arithmetic_and_comparison.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/030_strings_and_atoms.pl

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

package/test/eyelang/conformance/cases/030_strings_and_atoms.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/031_lists_aggregation_ordering.pl

@@ -1,10 +0,0 @@
-% 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).
-answer(set_nth0, X) :- set_nth0(1, [a, b, c], x, X).
-answer(reverse, X) :- reverse([a, b, c], X).
-answer(length, N) :- length([a, b, c], N).
-answer(findall, X) :- findall(N, between(1, 3, N), X).
-answer(sort, X) :- sort([b, a, b], X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/031_lists_aggregation_ordering.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/032_holds_parts.pl

@@ -1,4 +0,0 @@
-% Reference 9.9: holds/3 exposes context members of any arity.
-context((ready, name(alice, "Alice"), route(alice, bob, 7))).
-answer(parts, exposed(Name, Args)) :- context(C), holds(C, Name, Args).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/033_negation_once_generators.pl

@@ -1,7 +0,0 @@
-% Reference 9.5, 9.10: generators, negation as failure, and once/1.
-candidate(a).
-candidate(b).
-closed(b).
-answer(open, X) :- candidate(X), not(closed(X)).
-answer(first_between, X) :- once(between(2, 4, X)).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/033_negation_once_generators.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/034_equality_and_inequality.pl

@@ -1,6 +0,0 @@
-% 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).
-answer(neq_structures, true) :- neq(pair(a), pair(a, b)).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/034_equality_and_inequality.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/035_list_relations.pl

@@ -1,5 +0,0 @@
-% 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]).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/035_list_relations.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/036_append_splits.pl

@@ -1,3 +0,0 @@
-% 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/036_append_splits.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/037_matching_and_comparison.pl

@@ -1,7 +0,0 @@
-% 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).
-answer(lex_gt, true) :- gt(beta, alpha).
-answer(numeric_le, true) :- le(2, 2).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/037_matching_and_comparison.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/038_memoize_declaration.pl

@@ -1,8 +0,0 @@
-% Reference 10.1: memoize/2 is a declaration and does not change answers.
-materialize(reach, 2).
-memoize(reach_any, 2).
-edge(a, b).
-edge(b, c).
-reach_any(X, Y) :- edge(X, Y).
-reach_any(X, Z) :- edge(X, Y), reach_any(Y, Z).
-reach(a, Y) :- reach_any(a, Y).

package/test/eyelang/conformance/cases/038_memoize_declaration.query

@@ -1 +0,0 @@
-reach(a, X)

package/test/eyelang/conformance/cases/039_numeric_functions.pl

@@ -1,9 +0,0 @@
-% 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).
-answer(sin_zero, X) :- sin(0, X).
-answer(cos_zero, X) :- cos(0, X).
-answer(log_one, X) :- log(1, X).
-answer(float_division, X) :- div(7.0, 2.0, X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/039_numeric_functions.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/040_between_enumeration.pl

@@ -1,3 +0,0 @@
-% 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/040_between_enumeration.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/041_smallest_divisor.pl

@@ -1,3 +0,0 @@
-% 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/041_smallest_divisor.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/042_negation_filter.pl

@@ -1,7 +0,0 @@
-% Reference 9.10: not/1 succeeds when the subgoal has no proof.
-candidate(a).
-candidate(b).
-candidate(c).
-blocked(b).
-answer(open, X) :- candidate(X), not(blocked(X)).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/042_negation_filter.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/043_once_user_predicate.pl

@@ -1,5 +0,0 @@
-% 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)).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/043_once_user_predicate.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/044_findall_user_goal.pl

@@ -1,6 +0,0 @@
-% Reference 9.8: findall/3 collects templates for every solution of a user goal.
-p(b).
-p(a).
-p(b).
-answer(bag, X) :- findall(P, p(P), X).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/044_findall_user_goal.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/045_sort_deduplicates_atoms.pl

@@ -1,3 +0,0 @@
-% 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/045_sort_deduplicates_atoms.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/046_append_bound_prefix_suffix.pl

@@ -1,4 +0,0 @@
-% 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/046_append_bound_prefix_suffix.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/047_nth0_index_generation.pl

@@ -1,3 +0,0 @@
-% 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/047_nth0_index_generation.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/048_set_nth0_edges.pl

@@ -1,4 +0,0 @@
-% 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/048_set_nth0_edges.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/049_select_duplicate_occurrences.pl

@@ -1,3 +0,0 @@
-% 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/049_select_duplicate_occurrences.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/050_not_member_filter.pl

@@ -1,6 +0,0 @@
-% Reference 9.7: not_member/2 can filter finite candidates.
-candidate(a).
-candidate(b).
-candidate(c).
-answer(not_present, X) :- candidate(X), not_member(X, [a, b]).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/050_not_member_filter.query

@@ -1 +0,0 @@
-answer(K, V)

package/test/eyelang/conformance/cases/051_nested_holds_parts.pl

@@ -1,4 +0,0 @@
-% Reference 9.9: holds/3 enumerates nested comma contexts.
-context(((ready, name(a, "A")), route(a, b, 7))).
-answer(parts, exposed(Name, Args)) :- context(C), holds(C, Name, Args).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/052_holds_member.pl

@@ -1,3 +0,0 @@
-% Reference 9.9: holds/2 over comma context data.
-context((name(alice, "Alice"), knows(alice, bob))).
-answer(member, Term) :- context(C), holds(C, Term).

package/test/eyelang/conformance/cases/053_materialize_excludes_source_fact.pl

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

package/test/eyelang/conformance/cases/054_numeric_and_lexical_comparison.pl

@@ -1,5 +0,0 @@
-% 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).
-materialize(answer, 2).

package/test/eyelang/conformance/cases/054_numeric_and_lexical_comparison.query

@@ -1 +0,0 @@
-answer(K, V)