eyeling 1.32.0 → 1.33.0

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

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

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

@@ -0,0 +1,5 @@
+% SPEC 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/extension/017_once_user_predicate.query

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

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

@@ -0,0 +1,6 @@
+% SPEC 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/extension/018_findall_user_goal.query

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,6 @@
+% SPEC 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/extension/024_not_member_filter.query

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

package/test/eyelang/conformance/cases/extension/025_is_list_filter.pl

@@ -0,0 +1,5 @@
+% SPEC 9.7: is_list/1 succeeds only for proper lists.
+thing([a, b]).
+thing(pair(a, b)).
+answer(list, X) :- thing(X), is_list(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/025_is_list_filter.query

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

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

@@ -0,0 +1,5 @@
+% SPEC 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/026_nested_formula_terms.query

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

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

@@ -0,0 +1,6 @@
+% SPEC 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/extension/028_numeric_and_lexical_comparison.pl

@@ -0,0 +1,5 @@
+% SPEC 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/extension/028_numeric_and_lexical_comparison.query

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

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

@@ -0,0 +1,6 @@
+% SPEC 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/extension/029_string_matching_filters.query

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

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

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

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

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

package/test/eyelang/conformance/cases/extension/031_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/extension/031_countall_empty_and_nonempty.query

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

package/test/eyelang/conformance/cases/extension/032_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/extension/032_sumall_numeric_template.query

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

package/test/eyelang/conformance/cases/extension/033_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/extension/033_aggregate_min_template.query

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

package/test/eyelang/conformance/cases/extension/034_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/extension/034_aggregate_max_compound_key.query

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

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

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

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

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

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

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

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

package/test/eyelang/conformance/cases/extension/041_atom_range_generators.pl

@@ -0,0 +1,5 @@
+% SPEC 9.5: atom range helpers generate prefixed atoms deterministically.
+answer(single, X) :- atom_range(n, 2, 4, X).
+answer(multiple, X) :- atom_ranges([a, b], 1, 2, X).
+answer(bound_check, yes) :- atom_range(n, 2, 4, n3).
+materialize(answer, 2).

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

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

@@ -0,0 +1,3 @@
+% SPEC 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/044_cover9_filter.pl

@@ -0,0 +1,6 @@
+% SPEC 9.5: cover9/1 accepts exactly the digits 1 through 9 once.
+answer(ok, yes) :- cover9([1, 2, 3, 4, 5, 6, 7, 8, 9]).
+answer(candidate, X) :- row(X), cover9(X).
+row([1, 2, 3, 4, 5, 6, 7, 8, 9]).
+row([1, 1, 2, 3, 4, 5, 6, 7, 8]).
+materialize(answer, 2).

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

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

@@ -0,0 +1,4 @@
+% SPEC 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/core/001_fact_output.out

@@ -0,0 +1 @@
+parent(pat, jan).

package/test/eyelang/conformance/expected/core/002_rule_recursion.out

@@ -0,0 +1,2 @@
+ancestor(pat, jan).
+ancestor(pat, emma).

package/test/eyelang/conformance/expected/core/003_terms_and_readback.out

@@ -0,0 +1,13 @@
+value(atom, pat).
+value(quoted_atom, 'atom with spaces').
+value(quoted_quote, 'needs''quote').
+value(empty_atom, '').
+value(string, "line\nquote: \"ok\"").
+value(integer, -42).
+value(decimal, 0.25).
+value(scientific, 1.25e-3).
+value(compound, pair(3, nested(atom, [x, y]))).
+value(zero_arity, nil()).
+value(empty_list, []).
+value(proper_list, [a, b, c]).
+value(improper_list, [a, b | tail]).

package/test/eyelang/conformance/expected/core/004_conjunction_and_parentheses.out

@@ -0,0 +1 @@
+ok(a, yes).

package/test/eyelang/conformance/expected/core/005_list_deconstruction.out

@@ -0,0 +1,2 @@
+answer(first, a).
+answer(tail, [b, c]).

package/test/eyelang/conformance/expected/core/006_comma_formula_data.out

@@ -0,0 +1 @@
+answer(formula, (name(alice, "Alice"), knows(alice, bob))).

package/test/eyelang/conformance/expected/core/007_anonymous_variables.out

@@ -0,0 +1 @@
+answer(fresh, yes).

package/test/eyelang/conformance/expected/core/008_graphic_atoms.out

@@ -0,0 +1,3 @@
+value(hash, #).
+value(arrow, =>).
+value(comparison, =<).

package/test/eyelang/conformance/expected/core/009_comments_and_whitespace.out

@@ -0,0 +1,2 @@
+answer(quoted_percent, "% not a comment").
+answer(quoted_atom, 'has % sign').

package/test/eyelang/conformance/expected/core/010_variable_scope_and_reuse.out

@@ -0,0 +1,2 @@
+answer(from_a, c).
+answer(from_b, d).

package/test/eyelang/conformance/expected/core/011_predicate_arity.out

@@ -0,0 +1,2 @@
+answer(unary, a).
+answer(binary, pair(a, b)).

package/test/eyelang/conformance/expected/core/012_nested_compound_unification.out

@@ -0,0 +1,2 @@
+answer(middle, b).
+answer(list_tail, [d]).

package/test/eyelang/conformance/expected/core/013_multiple_clauses_order.out

@@ -0,0 +1,2 @@
+answer(color, red).
+answer(color, blue).

package/test/eyelang/conformance/expected/core/014_failure_filters_answers.out

@@ -0,0 +1 @@
+answer(a, ok).

package/test/eyelang/conformance/expected/core/015_improper_list_unification.out

@@ -0,0 +1,3 @@
+answer(list, [head | tail]).
+answer(head, head).
+answer(tail, tail).

package/test/eyelang/conformance/expected/core/016_zero_arity_compound.out

@@ -0,0 +1 @@
+answer(value, nil()).

package/test/eyelang/conformance/expected/core/017_three_step_recursion.out

@@ -0,0 +1,3 @@
+answer(reachable, b).
+answer(reachable, c).
+answer(reachable, d).

package/test/eyelang/conformance/expected/core/018_quoted_atom_readback.out

@@ -0,0 +1,3 @@
+answer(symbol, 'two words').
+answer(symbol, 'needs''quote').
+answer(symbol, '').

package/test/eyelang/conformance/expected/core/019_parenthesized_three_conjuncts.out

@@ -0,0 +1 @@
+answer(ok, a).

package/test/eyelang/conformance/expected/core/020_nested_list_terms.out

@@ -0,0 +1,2 @@
+answer(first_key, a).
+answer(second_key, c).

package/test/eyelang/conformance/expected/core/021_repeated_variable_head.out

@@ -0,0 +1,2 @@
+answer(diagonal, a).
+answer(diagonal, c).

package/test/eyelang/conformance/expected/core/022_rule_head_structure.out

@@ -0,0 +1,2 @@
+answer(first, alpha).
+answer(second, beta).

package/test/eyelang/conformance/expected/core/023_quoted_escapes_readback.out

@@ -0,0 +1,2 @@
+answer(string, "line\nnext	\\slash").
+answer(atom, 'line\nnext\t\\slash').

package/test/eyelang/conformance/expected/core/024_numeric_literal_readback.out

@@ -0,0 +1,3 @@
+answer(negative_decimal, -3.5).
+answer(positive_exp, 6.02e23).
+answer(negative_exp, -1.0e-3).

package/test/eyelang/conformance/expected/core/025_body_parentheses_with_formula_data.out

@@ -0,0 +1 @@
+answer(ok, (left(a), right(b))).

package/test/eyelang/conformance/expected/core/026_underscore_named_variable_reuse.out

@@ -0,0 +1 @@
+answer(shared, a).

package/test/eyelang/conformance/expected/extension/001_default_derived_output.out

@@ -0,0 +1,3 @@
+ancestor(pat, jan).
+ancestor(jan, emma).
+ancestor(pat, emma).

package/test/eyelang/conformance/expected/extension/002_materialize_focus.out

@@ -0,0 +1 @@
+answer(a, ok).

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

@@ -0,0 +1,10 @@
+answer(sum, 5).
+answer(diff, 3).
+answer(product, 42).
+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

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

package/test/eyelang/conformance/expected/extension/005_lists_aggregation_ordering.out

@@ -0,0 +1,9 @@
+answer(member, a).
+answer(member, b).
+answer(append, [a, b, c]).
+answer(nth0, b).
+answer(set_nth0, [a, x, c]).
+answer(reverse, [c, b, a]).
+answer(length, 3).
+answer(findall, [1, 2, 3]).
+answer(sort, [a, b]).

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

@@ -0,0 +1,4 @@
+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/007_negation_once_generators.out

@@ -0,0 +1,2 @@
+answer(open, a).
+answer(first_between, 2).

package/test/eyelang/conformance/expected/extension/008_equality_and_inequality.out

@@ -0,0 +1,4 @@
+answer(eq_variable, pair(a, [b, c])).
+answer(eq_nested, true).
+answer(neq_atoms, true).
+answer(neq_structures, true).

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

@@ -0,0 +1,5 @@
+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/010_append_splits.out

@@ -0,0 +1,3 @@
+answer(split, split([], [a, b])).
+answer(split, split([a], [b])).
+answer(split, split([a, b], [])).

package/test/eyelang/conformance/expected/extension/011_matching_and_comparison.out

@@ -0,0 +1,5 @@
+answer(matches, true).
+answer(not_matches, true).
+answer(lex_lt, true).
+answer(lex_gt, true).
+answer(numeric_le, true).

package/test/eyelang/conformance/expected/extension/012_memoize_declaration.out

@@ -0,0 +1,2 @@
+reach(a, b).
+reach(a, c).

package/test/eyelang/conformance/expected/extension/013_numeric_functions.out

@@ -0,0 +1,7 @@
+answer(neg, -5).
+answer(abs, 5).
+answer(rounded, 3).
+answer(sin_zero, 0.0).
+answer(cos_zero, 1.0).
+answer(log_one, 0.0).
+answer(float_division, 3.5).

package/test/eyelang/conformance/expected/extension/014_between_enumeration.out

@@ -0,0 +1,3 @@
+answer(n, 3).
+answer(n, 4).
+answer(n, 5).

package/test/eyelang/conformance/expected/extension/015_smallest_divisor.out

@@ -0,0 +1 @@
+answer(divisor, 3).

package/test/eyelang/conformance/expected/extension/016_negation_filter.out

@@ -0,0 +1,2 @@
+answer(open, a).
+answer(open, c).

package/test/eyelang/conformance/expected/extension/017_once_user_predicate.out

@@ -0,0 +1 @@
+answer(first, a).

package/test/eyelang/conformance/expected/extension/018_findall_user_goal.out

@@ -0,0 +1 @@
+answer(bag, [b, a, b]).

package/test/eyelang/conformance/expected/extension/019_sort_deduplicates_atoms.out

@@ -0,0 +1 @@
+answer(sorted, [a, b, c]).

package/test/eyelang/conformance/expected/extension/020_append_bound_prefix_suffix.out

@@ -0,0 +1,2 @@
+answer(prefix, [a, b]).
+answer(suffix, [b, c]).

package/test/eyelang/conformance/expected/extension/021_nth0_index_generation.out

@@ -0,0 +1 @@
+answer(index, 1).

package/test/eyelang/conformance/expected/extension/022_set_nth0_edges.out

@@ -0,0 +1,2 @@
+answer(first, [x, b, c]).
+answer(last, [a, b, z]).

package/test/eyelang/conformance/expected/extension/023_select_duplicate_occurrences.out

@@ -0,0 +1,2 @@
+answer(rest, [b, a]).
+answer(rest, [a, b]).

package/test/eyelang/conformance/expected/extension/024_not_member_filter.out

@@ -0,0 +1 @@
+answer(not_present, c).

package/test/eyelang/conformance/expected/extension/025_is_list_filter.out

@@ -0,0 +1 @@
+answer(list, [a, b]).

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

@@ -0,0 +1,6 @@
+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/027_materialize_excludes_source_fact.out

@@ -0,0 +1 @@
+answer(b, ok).

package/test/eyelang/conformance/expected/extension/028_numeric_and_lexical_comparison.out

@@ -0,0 +1,3 @@
+answer(numeric_gt, true).
+answer(numeric_le, true).
+answer(lexical_ge, true).

package/test/eyelang/conformance/expected/extension/029_string_matching_filters.out

@@ -0,0 +1,2 @@
+answer(has_ph, a).
+answer(no_ph, b).

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

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

package/test/eyelang/conformance/expected/extension/031_countall_empty_and_nonempty.out

@@ -0,0 +1 @@
+answer(counts, counts(2, 0)).

package/test/eyelang/conformance/expected/extension/032_sumall_numeric_template.out

@@ -0,0 +1 @@
+answer(sum, 7).

package/test/eyelang/conformance/expected/extension/033_aggregate_min_template.out

@@ -0,0 +1 @@
+answer(min, result(3, item(beta, 3))).

package/test/eyelang/conformance/expected/extension/034_aggregate_max_compound_key.out

@@ -0,0 +1 @@
+answer(max, result([7, beta], beta)).

package/test/eyelang/conformance/expected/extension/035_date_difference.out

@@ -0,0 +1,2 @@
+answer(duration, "P4Y1D").
+answer(month_borrow, "P1M-1D").

package/test/eyelang/conformance/expected/extension/036_extended_gcd.out

@@ -0,0 +1 @@
+answer(gcd, result(2, -9, 47)).

package/test/eyelang/conformance/expected/extension/037_collatz_trajectory.out

@@ -0,0 +1 @@
+answer(path, [6, 3, 10, 5, 16, 8, 4, 2, 1]).

package/test/eyelang/conformance/expected/extension/038_kaprekar_steps.out

@@ -0,0 +1 @@
+answer(steps, 3).

package/test/eyelang/conformance/expected/extension/039_goldbach_pair.out

@@ -0,0 +1,2 @@
+answer(pair, pair(5, 23)).
+answer(pair, pair(11, 17)).

package/test/eyelang/conformance/expected/extension/040_matrix_operations.out

@@ -0,0 +1,3 @@
+answer(sum, [[6, 8], [10, 12]]).
+answer(product, [[4, 4], [10, 8]]).
+answer(determinant, 8.0000000000000018).

package/test/eyelang/conformance/expected/extension/041_atom_range_generators.out

@@ -0,0 +1,8 @@
+answer(single, n2).
+answer(single, n3).
+answer(single, n4).
+answer(multiple, a1).
+answer(multiple, a2).
+answer(multiple, b1).
+answer(multiple, b2).
+answer(bound_check, yes).

package/test/eyelang/conformance/expected/extension/042_n_queens_small.out

@@ -0,0 +1,2 @@
+answer(solution, [2, 4, 1, 3]).
+answer(solution, [3, 1, 4, 2]).

package/test/eyelang/conformance/expected/extension/043_cnf_model.out

@@ -0,0 +1 @@
+answer(model, [value(a, false), value(b, true)]).

package/test/eyelang/conformance/expected/extension/044_cover9_filter.out

@@ -0,0 +1,2 @@
+answer(ok, yes).
+answer(candidate, [1, 2, 3, 4, 5, 6, 7, 8, 9]).

package/test/eyelang/conformance/expected/extension/045_alphametic_sum_small.out

@@ -0,0 +1,4 @@
+answer(solution, result([1, 2], [1, 1, 2])).
+answer(solution, result([2, 4], [2, 2, 4])).
+answer(solution, result([3, 6], [3, 3, 6])).
+answer(solution, result([4, 8], [4, 4, 8])).