eyeling 1.34.3 → 1.34.5

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

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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

@@ -0,0 +1,7 @@
+% 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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,8 @@
+% 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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

@@ -0,0 +1,7 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,7 @@
+% 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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

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

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

@@ -0,0 +1,11 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,10 @@
+% 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

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

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

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

@@ -0,0 +1,7 @@
+% 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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,3 @@
+% 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

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

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

@@ -0,0 +1,7 @@
+% 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

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

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

@@ -0,0 +1,8 @@
+% 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

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

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

@@ -0,0 +1,9 @@
+% 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

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

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

@@ -0,0 +1,3 @@
+% 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

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

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

@@ -0,0 +1,3 @@
+% 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

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

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

@@ -0,0 +1,7 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

@@ -0,0 +1,3 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,3 @@
+% 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

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

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

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

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

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

@@ -0,0 +1,3 @@
+% 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

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

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

@@ -0,0 +1,6 @@
+% 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

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

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

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

@@ -0,0 +1,3 @@
+% 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

@@ -0,0 +1,6 @@
+% 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

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

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

package/test/eyelang/conformance/cases/055_string_matching_filters.pl

@@ -0,0 +1,6 @@
+% 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").
+answer(no_ph, K) :- text(K, T), not_matches(T, "ph").
+materialize(answer, 2).

package/test/eyelang/conformance/cases/055_string_matching_filters.query

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

package/test/eyelang/conformance/cases/056_string_and_atom_concat.pl

@@ -0,0 +1,3 @@
+% Reference 9.6: str_concat/3 concatenates strings.
+answer(string, X) :- str_concat("eye", "lang", X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/056_string_and_atom_concat.query

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

package/test/eyelang/conformance/cases/057_countall_empty_and_nonempty.pl

@@ -0,0 +1,4 @@
+item(a).
+item(b).
+answer(counts, counts(C, Z)) :- countall(item(X), C), countall(missing(X), Z).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/057_countall_empty_and_nonempty.query

@@ -0,0 +1 @@
+(countall(item(X), C), countall(missing(X), Z))

package/test/eyelang/conformance/cases/058_sumall_numeric_template.pl

@@ -0,0 +1,5 @@
+score(a, 4).
+score(b, 5).
+score(c, -2).
+answer(sum, Sum) :- sumall(S, score(_Item, S), Sum).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/058_sumall_numeric_template.query

@@ -0,0 +1 @@
+sumall(S, score(_Item, S), Sum)

package/test/eyelang/conformance/cases/059_aggregate_min_template.pl

@@ -0,0 +1,5 @@
+score(alpha, 7).
+score(beta, 3).
+score(gamma, 5).
+answer(min, result(BestS, Best)) :- aggregate_min(S, item(Name, S), score(Name, S), BestS, Best).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/059_aggregate_min_template.query

@@ -0,0 +1 @@
+aggregate_min(S, item(Name, S), score(Name, S), BestS, Best)

package/test/eyelang/conformance/cases/060_aggregate_max_compound_key.pl

@@ -0,0 +1,5 @@
+score(alpha, 7).
+score(beta, 7).
+score(gamma, 5).
+answer(max, result(Key, BestName)) :- aggregate_max([S, Name], Name, score(Name, S), Key, BestName).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/060_aggregate_max_compound_key.query

@@ -0,0 +1 @@
+aggregate_max([S, Name], Name, score(Name, S), Key, BestName)

package/test/eyelang/conformance/cases/061_date_difference.pl

@@ -0,0 +1,4 @@
+% 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/062_reusable_numeric_builtins.pl

@@ -0,0 +1,10 @@
+% Reference 9.1: reusable numeric functions and max/3.
+materialize(answer, 2).
+answer(max, X) :- max(17, 42, X).
+answer(sqrt, X) :- sqrt(81, X).
+answer(floor, X) :- floor(3.9, X).
+answer(ceiling, X) :- ceiling(3.1, X).
+answer(trunc, X) :- trunc(-3.9, X).
+answer(exp, X) :- exp(0, X).
+answer(tan, X) :- tan(0, X).
+answer(atan2, X) :- atan2(0, -1, X).

package/test/eyelang/conformance/cases/063_reusable_list_builtins.pl

@@ -0,0 +1,11 @@
+% Reference 9.1: reusable list selectors, slices, summaries, and stable set conversion.
+materialize(answer, 2).
+answer(head, X) :- head([alpha, beta, gamma, beta], X).
+answer(last, X) :- last([alpha, beta, gamma, beta], X).
+answer(take, X) :- take(2, [alpha, beta, gamma, beta], X).
+answer(drop, X) :- drop(2, [alpha, beta, gamma, beta], X).
+answer(slice, X) :- slice(1, 2, [alpha, beta, gamma, beta], X).
+answer(sum, X) :- sum_list([1, 2, 3.5], X).
+answer(min, X) :- min_list([3, 1, 2], X).
+answer(max, X) :- max_list([3, 1, 2], X).
+answer(set, X) :- list_to_set([beta, alpha, beta, gamma, alpha], X).

package/test/eyelang/conformance/cases/064_reusable_string_builtins.pl

@@ -0,0 +1,12 @@
+% Reference 9.1: reusable string normalization, splitting, joining, replacement, and conversions.
+materialize(answer, 2).
+answer(trim, X) :- trim("  Hello Eyelang  ", X).
+answer(lower, X) :- lowercase("Hello Eyelang", X).
+answer(upper, X) :- uppercase("Hello Eyelang", X).
+answer(split, X) :- split("red,green,blue", ",", X).
+answer(join, X) :- join([red, green, blue], ":", X).
+answer(substring, X) :- substring("abcdef", 2, 3, X).
+answer(replace, X) :- replace("red-green-red", "red", "blue", X).
+answer(number_to_string, X) :- number_string(42, X).
+answer(string_to_number, X) :- number_string(X, "3.5").
+answer(atom_string, X) :- atom_string(eyelang, X).

package/test/eyelang/conformance/cases/065_reusable_term_control_builtins.pl

@@ -0,0 +1,11 @@
+% Reference 9.1: term introspection/construction, term strings, and forall/2.
+materialize(answer, 2).
+item(1).
+item(2).
+item(3).
+answer(functor, pair(Name, Arity)) :- functor(edge(a, b), Name, Arity).
+answer(arg, X) :- arg(2, edge(a, b), X).
+answer(decompose, pair(Name, Args)) :- compound_name_arguments(edge(a, b), Name, Args).
+answer(compose, X) :- compound_name_arguments(X, edge, [a, b]).
+answer(term_string, X) :- term_string(edge(a, [b, c]), X).
+answer(forall, ok) :- forall(item(X), lt(X, 4)).

package/test/eyelang/conformance/cases/066_numeric_edges.pl

@@ -0,0 +1,14 @@
+% Reference 9.1: reusable numeric functions preserve integer paths and define finite failure modes.
+materialize(answer, 2).
+answer(max_negative, X) :- max(-10, -3, X).
+answer(min_float, X) :- min(2.5, -1.25, X).
+answer(floor_negative, X) :- floor(-3.1, X).
+answer(ceiling_negative, X) :- ceiling(-3.9, X).
+answer(trunc_positive, X) :- trunc(3.9, X).
+answer(sqrt_fraction, X) :- sqrt(2.25, X).
+answer(pow_fraction, X) :- pow(9, 0.5, X).
+answer(sqrt_negative_rejected, ok) :- not(sqrt(-1, X)).
+answer(log_zero_rejected, ok) :- not(log(0, X)).
+answer(div_zero_rejected, ok) :- not(div(1, 0, X)).
+answer(mod_float_rejected, ok) :- not(mod(5.5, 2, X)).
+answer(pow_negative_integer_exponent_rejected, ok) :- not(pow(2, -1, X)).

package/test/eyelang/conformance/cases/067_list_edges.pl

@@ -0,0 +1,10 @@
+% Reference 9.1: reusable list selectors and slices have explicit finite boundary behavior.
+materialize(answer, 2).
+answer(take_zero, X) :- take(0, [a, b, c], X).
+answer(drop_all, X) :- drop(3, [a, b, c], X).
+answer(slice_empty, X) :- slice(1, 0, [a, b, c], X).
+answer(last_single, X) :- last([only], X).
+answer(head_rest, pair(H, R)) :- head([a, b, c], H), rest([a, b, c], R).
+answer(take_too_many_rejected, ok) :- not(take(4, [a, b, c], X)).
+answer(drop_too_many_rejected, ok) :- not(drop(4, [a, b, c], X)).
+answer(last_empty_rejected, ok) :- not(last([], X)).

package/test/eyelang/conformance/cases/068_list_generation_order.pl

@@ -0,0 +1,7 @@
+% Reference 9.1: reusable list relations enumerate in stable left-to-right order.
+materialize(answer, 2).
+answer(append_split, pair(Prefix, Suffix)) :- append(Prefix, Suffix, [a, b]).
+answer(nth, pair(Index, Value)) :- nth0(Index, [x, y], Value).
+answer(select, pair(Value, Rest)) :- select(Value, [a, b, a], Rest).
+answer(not_member_atom, ok) :- not_member(z, [a, b, c]).
+answer(not_member_unifiable_rejected, ok) :- not(not_member(pair(X), [pair(a)])).

package/test/eyelang/conformance/cases/069_list_summaries_and_sets.pl

@@ -0,0 +1,9 @@
+% Reference 9.1: list summaries accept mixed numeric values and stable duplicate removal.
+materialize(answer, 2).
+answer(sum_empty, X) :- sum_list([], X).
+answer(sum_mixed, X) :- sum_list([1, 2.5, 3], X).
+answer(min_atom_order, X) :- min_list([delta, beta, gamma], X).
+answer(max_atom_order, X) :- max_list([delta, beta, gamma], X).
+answer(set_terms, X) :- list_to_set([pair(a, 1), pair(a, 1), pair(b, 2), pair(a, 1)], X).
+answer(min_empty_rejected, ok) :- not(min_list([], X)).
+answer(max_empty_rejected, ok) :- not(max_list([], X)).

package/test/eyelang/conformance/cases/070_matches_named_captures.pl

@@ -0,0 +1,13 @@
+% Reference 9.6: matches/3 extracts named regular-expression captures into a context.
+materialize(answer, 3).
+
+line("event=login_failed user=alice trace=4bf92f3577b34da6a3ce929d0e0e4736").
+pattern("^event=(?<event>\\w+) user=(?<user>\\w+) trace=(?<trace_id>[0-9a-f]{32})$").
+
+answer(User, Event, TraceId) :-
+  line(Text),
+  pattern(Pattern),
+  matches(Text, Pattern, Context),
+  holds(Context, event(Event)),
+  holds(Context, user(User)),
+  holds(Context, trace_id(TraceId)).