eyeling 1.34.4 → 1.34.5

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)).

package/test/eyelang/conformance/cases/071_string_edges.pl

@@ -0,0 +1,10 @@
+% Reference 9.1: reusable string built-ins cover empty results and scalar list items.
+materialize(answer, 2).
+answer(split_missing_separator, X) :- split("abc", ",", X).
+answer(split_empty_separator, X) :- split("abc", "", X).
+answer(join_empty, X) :- join([], ",", X).
+answer(join_numbers, X) :- join([1, 2, 3], "-", X).
+answer(substring_empty, X) :- substring("abcdef", 2, 0, X).
+answer(replace_empty_search, X) :- replace("abc", "", "x", X).
+answer(lower_string, X) :- lowercase("Hello", X).
+answer(upper_string, X) :- uppercase("Eyelang 123", X).

package/test/eyelang/conformance/cases/072_string_conversions.pl

@@ -0,0 +1,10 @@
+% Reference 9.1: string/atom/number conversions are deterministic in documented modes.
+materialize(answer, 2).
+answer(number_to_string, X) :- number_string(-7, X).
+answer(string_to_integer, X) :- number_string(X, "123").
+answer(string_to_decimal, X) :- number_string(X, "-3.5").
+answer(non_numeric_rejected, ok) :- not(number_string(X, "abc")).
+answer(atom_to_string, X) :- atom_string(hello_world, X).
+answer(string_to_atom, X) :- atom_string(X, "hello_world").
+answer(number_to_atom, X) :- atom_string(X, 123).
+answer(trim_to_empty, X) :- trim("   ", X).

package/test/eyelang/conformance/cases/073_term_introspection_edges.pl

@@ -0,0 +1,10 @@
+% Reference 9.1: term-inspection built-ins expose scalars, nested arguments, and zero arity compounds.
+materialize(answer, 2).
+answer(functor_atom, pair(Name, Arity)) :- functor(alpha, Name, Arity).
+answer(functor_number, pair(Name, Arity)) :- functor(42, Name, Arity).
+answer(functor_string, pair(Name, Arity)) :- functor("hi", Name, Arity).
+answer(arg_nested, X) :- arg(1, path(edge(a, b), c), X).
+answer(compose_nested, X) :- compound_name_arguments(X, outer, [inner(a), [b, c]]).
+answer(decompose_zero, pair(Name, Args)) :- compound_name_arguments(z(), Name, Args).
+answer(arg_zero_rejected, ok) :- not(arg(0, edge(a, b), X)).
+answer(arg_too_large_rejected, ok) :- not(arg(3, edge(a, b), X)).

package/test/eyelang/conformance/cases/074_forall_edges.pl

@@ -0,0 +1,10 @@
+% Reference 9.1: forall/2 succeeds for every generated binding, including the empty generator case.
+materialize(answer, 2).
+small(1).
+small(2).
+large(3).
+answer(all_small, ok) :- forall(small(X), lt(X, 3)).
+answer(empty_generator, ok) :- forall(missing(X), lt(X, 0)).
+answer(not_all_large, ok) :- not(forall(large(X), lt(X, 3))).
+answer(bound_outer_environment, ok) :- small(X), eq(X, 1), forall(small(Y), le(X, Y)).
+answer(checker_can_use_generator_binding, ok) :- forall(small(X), member(X, [1, 2, 3])).

package/test/eyelang/conformance/cases/075_aggregation_edges.pl

@@ -0,0 +1,12 @@
+% Reference 9.1: aggregation handles empty result sets, structured templates, and ordered best answers.
+materialize(answer, 2).
+score(alice, 2).
+score(bob, 1).
+score(cara, 3).
+answer(findall_empty, X) :- findall(V, missing(V), X).
+answer(count_filtered, X) :- countall((score(Name, Score), gt(Score, 1)), X).
+answer(sum_empty, X) :- sumall(V, missing(V), X).
+answer(sum_scores, X) :- sumall(Score, score(Name, Score), X).
+answer(best_min, pair(Key, Value)) :- aggregate_min(Score, Name, score(Name, Score), Key, Value).
+answer(best_max, pair(Key, Value)) :- aggregate_max(Score, Name, score(Name, Score), Key, Value).
+answer(best_empty_rejected, ok) :- not(aggregate_min(Key, Value, missing(Value), Key, Value)).

package/test/eyelang/conformance/cases/076_composed_reusable_builtins.pl

@@ -0,0 +1,8 @@
+% Reference 9.1: reusable built-ins compose without special host predicates.
+materialize(answer, 2).
+line("  red,green,blue  ").
+answer(clean_join, X) :- line(Raw), trim(Raw, Trimmed), split(Trimmed, ",", Parts), join(Parts, "|", X).
+answer(middle_upper, X) :- line(Raw), trim(Raw, Trimmed), split(Trimmed, ",", Parts), nth0(1, Parts, Middle), uppercase(Middle, X).
+answer(summary, result(Head, Last, Count)) :- line(Raw), trim(Raw, T), split(T, ",", Parts), head(Parts, Head), last(Parts, Last), length(Parts, Count).
+answer(term_report, X) :- compound_name_arguments(Term, measurement, [temperature, 21]), term_string(Term, X).
+answer(score_text, X) :- max_list([3, 9, 5], Max), number_string(Max, Text), str_concat("max=", Text, X).

package/test/eyelang/conformance/cases/077_recursive_path_with_lists.pl

@@ -0,0 +1,10 @@
+% Reference 5.4, 7.3, 9.7: recursive path construction can carry list evidence.
+materialize(answer, 2).
+edge(a, b).
+edge(b, c).
+edge(c, d).
+path(X, Y, [X, Y]) :- edge(X, Y).
+path(X, Z, [X | Rest]) :- edge(X, Y), path(Y, Z, Rest).
+answer(path, P) :- path(a, d, P).
+answer(prefix, P) :- path(a, d, Full), take(2, Full, P).
+answer(suffix, S) :- path(a, d, Full), drop(2, Full, S).

package/test/eyelang/conformance/cases/078_mutual_recursion_with_arithmetic.pl

@@ -0,0 +1,7 @@
+% Reference 7.3, 9.2, 9.5: finite arithmetic recursion works with generated ranges.
+materialize(answer, 2).
+even(0).
+even(N) :- gt(N, 0), sub(N, 1, M), odd(M).
+odd(N) :- gt(N, 0), sub(N, 1, M), even(M).
+answer(even, N) :- between(0, 6, N), even(N).
+answer(odd, N) :- between(0, 6, N), odd(N).

package/test/eyelang/conformance/cases/079_big_integer_arithmetic.pl

@@ -0,0 +1,8 @@
+% Reference 9.2: integer arithmetic keeps exact BigInt paths where possible.
+materialize(answer, 2).
+answer(add_big, X) :- add(9007199254740993, 7, X).
+answer(sub_big, X) :- sub(9007199254741000, 7, X).
+answer(mul_big, X) :- mul(123456789, 987654321, X).
+answer(pow_big, X) :- pow(2, 63, X).
+answer(div_big, X) :- div(9223372036854775808, 2, X).
+answer(mod_big, X) :- mod(9223372036854775809, 10, X).

package/test/eyelang/conformance/cases/080_rounding_modes.pl

@@ -0,0 +1,10 @@
+% Reference 9.2: rounding built-ins have distinct behavior for positive and negative decimals.
+materialize(answer, 2).
+answer(floor_pos, X) :- floor(3.9, X).
+answer(floor_neg, X) :- floor(-3.1, X).
+answer(ceiling_pos, X) :- ceiling(3.1, X).
+answer(ceiling_neg, X) :- ceiling(-3.9, X).
+answer(trunc_pos, X) :- trunc(3.9, X).
+answer(trunc_neg, X) :- trunc(-3.9, X).
+answer(round_half_up, X) :- rounded(2.5, X).
+answer(round_half_neg, X) :- rounded(-2.5, X).

package/test/eyelang/conformance/cases/081_zero_safe_numeric_functions.pl

@@ -0,0 +1,9 @@
+% Reference 9.2: transcendental functions have stable exact outputs at simple inputs.
+materialize(answer, 2).
+answer(sin_zero, X) :- sin(0, X).
+answer(cos_zero, X) :- cos(0, X).
+answer(tan_zero, X) :- tan(0, X).
+answer(exp_zero, X) :- exp(0, X).
+answer(log_one, X) :- log(1, X).
+answer(atan2_zero, X) :- atan2(0, 1, X).
+answer(sqrt_one, X) :- sqrt(1, X).

package/test/eyelang/conformance/cases/082_comparison_semantics.pl

@@ -0,0 +1,10 @@
+% Reference 9.3: comparison handles numbers, durations, strings, and lexical scalars.
+materialize(answer, 2).
+answer(integer_order, ok) :- lt(9, 10).
+answer(decimal_equal_le, ok) :- le(2.0, 2).
+answer(numeric_not_lexical, ok) :- lt(10, 100).
+answer(duration_years, ok) :- lt('P1Y', 'P2Y').
+answer(duration_months, ok) :- gt('P1Y1M', 'P1Y').
+answer(atom_lexical, ok) :- lt(alpha, beta).
+answer(string_lexical, ok) :- gt("z", "a").
+answer(compound_lexical_text, ok) :- lt(pair(a, 1), pair(b, 1)).

package/test/eyelang/conformance/cases/083_between_modes_and_empty_ranges.pl

@@ -0,0 +1,8 @@
+% Reference 9.5: between/3 enumerates inclusively, checks bound values, and rejects empty ranges.
+materialize(answer, 2).
+answer(enumerated, X) :- between(-1, 1, X).
+answer(check_bound, ok) :- between(1, 3, 2).
+answer(check_low_edge, ok) :- between(1, 3, 1).
+answer(check_high_edge, ok) :- between(1, 3, 3).
+answer(check_outside_rejected, ok) :- not(between(1, 3, 4)).
+answer(empty_range_rejected, ok) :- not(between(3, 1, X)).

package/test/eyelang/conformance/cases/084_append_and_select_composition.pl

@@ -0,0 +1,7 @@
+% Reference 9.7: relational list predicates compose and preserve enumeration order.
+materialize(answer, 2).
+answer(split, pair(A, B)) :- append(A, B, [x, y, z]).
+answer(select_middle, Rest) :- select(y, [x, y, z], Rest).
+answer(select_duplicate, pair(Value, Rest)) :- select(Value, [a, b, a], Rest).
+answer(rebuild, Whole) :- append([a, b], [c, d], Whole).
+answer(no_select_rejected, ok) :- not(select(z, [a, b], Rest)).

package/test/eyelang/conformance/cases/085_nth_and_update_edges.pl

@@ -0,0 +1,8 @@
+% Reference 9.7: zero-based indexing can enumerate and set elements without mutating the source list.
+materialize(answer, 2).
+answer(index_value, pair(I, V)) :- nth0(I, [red, green, blue], V).
+answer(bound_index, X) :- nth0(1, [red, green, blue], X).
+answer(set_first, X) :- set_nth0(0, [red, green], blue, X).
+answer(set_last, X) :- set_nth0(2, [a, b, c], z, X).
+answer(index_too_large_rejected, ok) :- not(nth0(3, [a, b, c], X)).
+answer(set_too_large_rejected, ok) :- not(set_nth0(3, [a, b, c], z, X)).

package/test/eyelang/conformance/cases/086_slicing_pipeline.pl

@@ -0,0 +1,10 @@
+% Reference 9.7: head/rest/last/take/drop/slice are deterministic reusable list operations.
+materialize(answer, 2).
+data([zero, one, two, three, four]).
+answer(head, X) :- data(L), head(L, X).
+answer(rest, X) :- data(L), rest(L, X).
+answer(last, X) :- data(L), last(L, X).
+answer(take_three, X) :- data(L), take(3, L, X).
+answer(drop_three, X) :- data(L), drop(3, L, X).
+answer(slice_middle, X) :- data(L), slice(1, 3, L, X).
+answer(slice_tail_empty, X) :- data(L), slice(5, 0, L, X).

package/test/eyelang/conformance/cases/087_sort_reverse_length.pl

@@ -0,0 +1,8 @@
+% Reference 9.7 and 9.8: list ordering and length built-ins are deterministic on proper lists.
+materialize(answer, 2).
+answer(length_empty, X) :- length([], X).
+answer(length_nested, X) :- length([[a], [b, c], []], X).
+answer(reverse_atoms, X) :- reverse([a, b, c], X).
+answer(sort_numbers, X) :- sort([3, 1, 2, 1], X).
+answer(sort_mixed_terms, X) :- sort([b, 2, a, 1, pair(a), "s"], X).
+answer(reverse_empty, X) :- reverse([], X).

package/test/eyelang/conformance/cases/088_list_summaries_failures.pl

@@ -0,0 +1,8 @@
+% Reference 9.7: list summaries accept numbers and reject non-numeric sums.
+materialize(answer, 2).
+answer(sum_integers, X) :- sum_list([1, 2, 3, 4], X).
+answer(sum_decimals, X) :- sum_list([1.5, 2.25, -0.75], X).
+answer(min_terms, X) :- min_list([pair(b), pair(a), pair(c)], X).
+answer(max_terms, X) :- max_list([pair(b), pair(a), pair(c)], X).
+answer(sum_non_number_rejected, ok) :- not(sum_list([1, a], X)).
+answer(set_scalars, X) :- list_to_set([b, a, b, 1, 1, "a", a], X).

package/test/eyelang/conformance/cases/089_string_split_join_pipeline.pl

@@ -0,0 +1,7 @@
+% Reference 9.6: split/join/trim compose for simple data-cleaning workflows.
+materialize(answer, 2).
+raw("  alpha,beta,gamma  ").
+answer(parts, X) :- raw(R), trim(R, T), split(T, ",", X).
+answer(pipe, X) :- raw(R), trim(R, T), split(T, ",", Parts), join(Parts, "|", X).
+answer(first_upper, X) :- raw(R), trim(R, T), split(T, ",", Parts), head(Parts, H), uppercase(H, X).
+answer(last_lower, X) :- raw(R), trim(R, T), split(T, ",", Parts), last(Parts, L), lowercase(L, X).

package/test/eyelang/conformance/cases/090_string_substring_replace_edges.pl

@@ -0,0 +1,9 @@
+% Reference 9.6: substring and replace have finite boundary behavior.
+materialize(answer, 2).
+answer(prefix, X) :- substring("eyelang", 0, 3, X).
+answer(middle, X) :- substring("eyelang", 3, 2, X).
+answer(suffix, X) :- substring("eyelang", 5, 2, X).
+answer(empty_at_end, X) :- substring("eyelang", 7, 0, X).
+answer(out_of_range_rejected, ok) :- not(substring("eyelang", 6, 2, X)).
+answer(replace_all, X) :- replace("banana", "na", "NA", X).
+answer(replace_missing, X) :- replace("banana", "x", "y", X).

package/test/eyelang/conformance/cases/091_string_case_and_trim.pl

@@ -0,0 +1,7 @@
+% Reference 9.6: string case and trim built-ins preserve non-letter characters.
+materialize(answer, 2).
+answer(lower_mixed, X) :- lowercase("Hello WORLD 123!", X).
+answer(upper_mixed, X) :- uppercase("Hello world 123!", X).
+answer(trim_spaces, X) :- trim("  padded  ", X).
+answer(trim_tabs_newline, X) :- trim("\tvalue\n", X).
+answer(trim_empty, X) :- trim("", X).

package/test/eyelang/conformance/cases/092_scalar_string_conversions.pl

@@ -0,0 +1,9 @@
+% Reference 9.6: number_string/2, atom_string/2, and term_string/2 are portable scalar bridges.
+materialize(answer, 2).
+answer(number_to_string, X) :- number_string(42, X).
+answer(decimal_string_to_number, X) :- number_string(X, "-12.75").
+answer(scientific_string_to_number, X) :- number_string(X, "1e3").
+answer(atom_to_string, X) :- atom_string('hello-world', X).
+answer(string_to_atom_needs_quotes, X) :- atom_string(X, "hello-world").
+answer(term_to_string, X) :- term_string(result([a, b], score(10)), X).
+answer(unbound_term_rejected, ok) :- not(term_string(X, S)).

package/test/eyelang/conformance/cases/093_regex_named_captures_context.pl

@@ -0,0 +1,8 @@
+% Reference 9.6 and 9.9: matches/3 turns named captures into context terms.
+materialize(answer, 2).
+line("level=warn code=E42 user=bob").
+answer(level, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), holds(C, level(X)).
+answer(code, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), holds(C, code(X)).
+answer(user, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), holds(C, user(X)).
+answer(no_named_groups_rejected, ok) :- not(matches("abc", "a(b)c", C)).
+answer(bad_regex_rejected, ok) :- not(matches("abc", "(", C)).

package/test/eyelang/conformance/cases/094_context_holds_enumeration.pl

@@ -0,0 +1,7 @@
+% Reference 9.9: holds/2 and holds/3 enumerate comma-context terms left to right.
+materialize(answer, 2).
+context((kind(alert), severity(high), owner(alice))).
+answer(term, X) :- context(C), holds(C, X).
+answer(parts, pair(Name, Args)) :- context(C), holds(C, Name, Args).
+answer(filter, X) :- context(C), holds(C, owner(X)).
+answer(missing_rejected, ok) :- context(C), not(holds(C, status(open))).

package/test/eyelang/conformance/cases/095_term_introspection_roundtrip.pl

@@ -0,0 +1,8 @@
+% Reference 9.10: term inspection can decompose and recompose compound terms.
+materialize(answer, 2).
+answer(functor_compound, pair(Name, Arity)) :- functor(edge(a, b), Name, Arity).
+answer(arg_first, X) :- arg(1, edge(a, b), X).
+answer(arg_second, X) :- arg(2, edge(a, b), X).
+answer(decompose, pair(Name, Args)) :- compound_name_arguments(edge(a, b), Name, Args).
+answer(recompose, X) :- compound_name_arguments(X, edge, [a, b]).
+answer(roundtrip, X) :- compound_name_arguments(edge(a, b), Name, Args), compound_name_arguments(X, Name, Args).

package/test/eyelang/conformance/cases/096_functor_scalar_edges.pl

@@ -0,0 +1,8 @@
+% Reference 9.10: functor/3 reports scalar terms with arity zero.
+materialize(answer, 2).
+answer(atom, pair(Name, Arity)) :- functor(alpha, Name, Arity).
+answer(quoted_atom, pair(Name, Arity)) :- functor('hello-world', Name, Arity).
+answer(string, pair(Name, Arity)) :- functor("text", Name, Arity).
+answer(number, pair(Name, Arity)) :- functor(123, Name, Arity).
+answer(list_functor, pair(Name, Arity)) :- functor([a, b], Name, Arity).
+answer(unbound_rejected, ok) :- not(functor(X, Name, Arity)).

package/test/eyelang/conformance/cases/097_control_negation_once_forall.pl

@@ -0,0 +1,13 @@
+% Reference 9.10: not/1, once/1, and forall/2 are scoped control operations.
+materialize(answer, 2).
+choice(a).
+choice(b).
+allowed(a).
+allowed(b).
+answer(once_choice, X) :- once(choice(X)).
+answer(negated_missing, ok) :- not(choice(c)).
+answer(negated_existing_rejected, ok) :- not(not(choice(a))).
+answer(all_allowed, ok) :- forall(choice(X), allowed(X)).
+answer(not_all_allowed_after_extra, ok) :- not(forall(extra(X), allowed(X))).
+extra(a).
+extra(c).

package/test/eyelang/conformance/cases/098_aggregation_nested_templates.pl

@@ -0,0 +1,11 @@
+% Reference 9.8: aggregation copies resolved structured templates from inner goals.
+materialize(answer, 2).
+score(alice, math, 9).
+score(alice, logic, 7).
+score(bob, math, 5).
+score(bob, logic, 8).
+answer(all_pairs, X) :- findall(result(Name, Subject, Score), score(Name, Subject, Score), X).
+answer(count_high, X) :- countall((score(Name, Subject, Score), ge(Score, 8)), X).
+answer(sum_alice, X) :- sumall(Score, score(alice, Subject, Score), X).
+answer(best_score, pair(Key, Value)) :- aggregate_max(Score, result(Name, Subject), score(Name, Subject, Score), Key, Value).
+answer(lowest_pair, pair(Key, Value)) :- aggregate_min([Score, Name], Subject, score(Name, Subject, Score), Key, Value).

package/test/eyelang/conformance/cases/099_materialize_multiple_arities.pl

@@ -0,0 +1,8 @@
+% Reference 11.2 and 13: materialize/2 can select several predicate arities explicitly.
+materialize(answer, 1).
+materialize(answer, 2).
+seed(a).
+seed(b).
+answer(X) :- seed(X).
+answer(X, doubled) :- seed(X).
+answer(hidden, X, Y) :- seed(X), seed(Y).