eyeling 1.34.4 → 1.34.5

package/test/eyelang/conformance/cases/100_reusable_builtin_workflow.pl

@@ -0,0 +1,10 @@
+% Reference 9: standard built-ins compose into a reusable data-processing workflow.
+materialize(answer, 2).
+row(" alice : 3,5,7 ").
+row(" bob : 2,4 ").
+field(Name, Scores) :- row(Raw), trim(Raw, T), split(T, ":", [NameRaw, ScoresRaw]), trim(NameRaw, NameText), atom_string(Name, NameText), trim(ScoresRaw, CleanScores), split(CleanScores, ",", ScoreTexts), scores(ScoreTexts, Scores).
+scores([], []).
+scores([Text | RestText], [N | Rest]) :- number_string(N, Text), scores(RestText, Rest).
+answer(total(Name), Total) :- field(Name, Scores), sum_list(Scores, Total).
+answer(maximum(Name), Max) :- field(Name, Scores), max_list(Scores, Max).
+answer(report(Name), Text) :- field(Name, Scores), length(Scores, Count), number_string(Count, CountText), atom_string(Name, NameText), str_concat(NameText, ":", Prefix), str_concat(Prefix, CountText, Text).

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

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

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

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

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

@@ -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/004_conjunction_and_parentheses.pl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -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/025_body_parentheses_with_formula_data.pl

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

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

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

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

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

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

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

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

@@ -0,0 +1,9 @@
+answer(sum, 5).
+answer(diff, 3).
+answer(product, 42).
+answer(integer_division, 3).
+answer(remainder, 1).
+answer(power, 256).
+answer(minimum, 3).
+answer(less_than, true).
+answer(greater_equal, true).

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

@@ -0,0 +1,2 @@
+answer(str_concat, "eyelang").
+answer(contains, true).

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

@@ -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/032_holds_parts.pl

@@ -0,0 +1,3 @@
+answer(parts, exposed(ready, [])).
+answer(parts, exposed(name, [alice, "Alice"])).
+answer(parts, exposed(route, [alice, bob, 7])).

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

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

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

@@ -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/035_list_relations.pl

@@ -0,0 +1,4 @@
+answer(rest, [b, c]).
+answer(select, selected(a, [b])).
+answer(select, selected(b, [a])).
+answer(not_member, true).

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

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

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

@@ -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/038_memoize_declaration.pl

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

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

@@ -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/040_between_enumeration.pl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,3 @@
+answer(parts, exposed(ready, [])).
+answer(parts, exposed(name, [a, "A"])).
+answer(parts, exposed(route, [a, b, 7])).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

package/test/eyelang/conformance/expected/062_reusable_numeric_builtins.pl

@@ -0,0 +1,8 @@
+answer(max, 42).
+answer(sqrt, 9.0).
+answer(floor, 3).
+answer(ceiling, 4).
+answer(trunc, -3).
+answer(exp, 1.0).
+answer(tan, 0.0).
+answer(atan2, 3.1415926535897931).

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

@@ -0,0 +1,9 @@
+answer(head, alpha).
+answer(last, beta).
+answer(take, [alpha, beta]).
+answer(drop, [gamma, beta]).
+answer(slice, [beta, gamma]).
+answer(sum, 6.5).
+answer(min, 1).
+answer(max, 3).
+answer(set, [beta, alpha, gamma]).

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

@@ -0,0 +1,10 @@
+answer(trim, "Hello Eyelang").
+answer(lower, "hello eyelang").
+answer(upper, "HELLO EYELANG").
+answer(split, ["red", "green", "blue"]).
+answer(join, "red:green:blue").
+answer(substring, "cde").
+answer(replace, "blue-green-blue").
+answer(number_to_string, "42").
+answer(string_to_number, 3.5).
+answer(atom_string, "eyelang").

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

@@ -0,0 +1,6 @@
+answer(functor, pair(edge, 2)).
+answer(arg, b).
+answer(decompose, pair(edge, [a, b])).
+answer(compose, edge(a, b)).
+answer(term_string, "edge(a, [b, c])").
+answer(forall, ok).

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

@@ -0,0 +1,12 @@
+answer(max_negative, -3).
+answer(min_float, -1.25).
+answer(floor_negative, -4).
+answer(ceiling_negative, -3).
+answer(trunc_positive, 3).
+answer(sqrt_fraction, 1.5).
+answer(pow_fraction, 3.0).
+answer(sqrt_negative_rejected, ok).
+answer(log_zero_rejected, ok).
+answer(div_zero_rejected, ok).
+answer(mod_float_rejected, ok).
+answer(pow_negative_integer_exponent_rejected, ok).

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

@@ -0,0 +1,8 @@
+answer(take_zero, []).
+answer(drop_all, []).
+answer(slice_empty, []).
+answer(last_single, only).
+answer(head_rest, pair(a, [b, c])).
+answer(take_too_many_rejected, ok).
+answer(drop_too_many_rejected, ok).
+answer(last_empty_rejected, ok).

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

@@ -0,0 +1,10 @@
+answer(append_split, pair([], [a, b])).
+answer(append_split, pair([a], [b])).
+answer(append_split, pair([a, b], [])).
+answer(nth, pair(0, x)).
+answer(nth, pair(1, y)).
+answer(select, pair(a, [b, a])).
+answer(select, pair(b, [a, a])).
+answer(select, pair(a, [a, b])).
+answer(not_member_atom, ok).
+answer(not_member_unifiable_rejected, ok).

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

@@ -0,0 +1,7 @@
+answer(sum_empty, 0).
+answer(sum_mixed, 6.5).
+answer(min_atom_order, beta).
+answer(max_atom_order, gamma).
+answer(set_terms, [pair(a, 1), pair(b, 2)]).
+answer(min_empty_rejected, ok).
+answer(max_empty_rejected, ok).

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

@@ -0,0 +1 @@
+answer("alice", "login_failed", "4bf92f3577b34da6a3ce929d0e0e4736").

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

@@ -0,0 +1,8 @@
+answer(split_missing_separator, ["abc"]).
+answer(split_empty_separator, ["a", "b", "c"]).
+answer(join_empty, "").
+answer(join_numbers, "1-2-3").
+answer(substring_empty, "").
+answer(replace_empty_search, "abc").
+answer(lower_string, "hello").
+answer(upper_string, "EYELANG 123").

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

@@ -0,0 +1,8 @@
+answer(number_to_string, "-7").
+answer(string_to_integer, 123).
+answer(string_to_decimal, -3.5).
+answer(non_numeric_rejected, ok).
+answer(atom_to_string, "hello_world").
+answer(string_to_atom, hello_world).
+answer(number_to_atom, '123').
+answer(trim_to_empty, "").

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

@@ -0,0 +1,8 @@
+answer(functor_atom, pair(alpha, 0)).
+answer(functor_number, pair(42, 0)).
+answer(functor_string, pair("hi", 0)).
+answer(arg_nested, edge(a, b)).
+answer(compose_nested, outer(inner(a), [b, c])).
+answer(decompose_zero, pair(z, [])).
+answer(arg_zero_rejected, ok).
+answer(arg_too_large_rejected, ok).

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

@@ -0,0 +1,5 @@
+answer(all_small, ok).
+answer(empty_generator, ok).
+answer(not_all_large, ok).
+answer(bound_outer_environment, ok).
+answer(checker_can_use_generator_binding, ok).

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

@@ -0,0 +1,7 @@
+answer(findall_empty, []).
+answer(count_filtered, 2).
+answer(sum_empty, 0).
+answer(sum_scores, 6).
+answer(best_min, pair(1, bob)).
+answer(best_max, pair(3, cara)).
+answer(best_empty_rejected, ok).

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

@@ -0,0 +1,5 @@
+answer(clean_join, "red|green|blue").
+answer(middle_upper, "GREEN").
+answer(summary, result("red", "blue", 3)).
+answer(term_report, "measurement(temperature, 21)").
+answer(score_text, "max=9").

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

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

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

@@ -0,0 +1,7 @@
+answer(even, 0).
+answer(even, 2).
+answer(even, 4).
+answer(even, 6).
+answer(odd, 1).
+answer(odd, 3).
+answer(odd, 5).

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

@@ -0,0 +1,6 @@
+answer(add_big, 9007199254741000).
+answer(sub_big, 9007199254740993).
+answer(mul_big, 121932631112635269).
+answer(pow_big, 9223372036854775808).
+answer(div_big, 4611686018427387904).
+answer(mod_big, 9).

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

@@ -0,0 +1,8 @@
+answer(floor_pos, 3).
+answer(floor_neg, -4).
+answer(ceiling_pos, 4).
+answer(ceiling_neg, -3).
+answer(trunc_pos, 3).
+answer(trunc_neg, -3).
+answer(round_half_up, 3).
+answer(round_half_neg, -2).

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

@@ -0,0 +1,7 @@
+answer(sin_zero, 0.0).
+answer(cos_zero, 1.0).
+answer(tan_zero, 0.0).
+answer(exp_zero, 1.0).
+answer(log_one, 0.0).
+answer(atan2_zero, 0.0).
+answer(sqrt_one, 1.0).

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

@@ -0,0 +1,8 @@
+answer(integer_order, ok).
+answer(decimal_equal_le, ok).
+answer(numeric_not_lexical, ok).
+answer(duration_years, ok).
+answer(duration_months, ok).
+answer(atom_lexical, ok).
+answer(string_lexical, ok).
+answer(compound_lexical_text, ok).

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

@@ -0,0 +1,8 @@
+answer(enumerated, -1).
+answer(enumerated, 0).
+answer(enumerated, 1).
+answer(check_bound, ok).
+answer(check_low_edge, ok).
+answer(check_high_edge, ok).
+answer(check_outside_rejected, ok).
+answer(empty_range_rejected, ok).

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

@@ -0,0 +1,10 @@
+answer(split, pair([], [x, y, z])).
+answer(split, pair([x], [y, z])).
+answer(split, pair([x, y], [z])).
+answer(split, pair([x, y, z], [])).
+answer(select_middle, [x, z]).
+answer(select_duplicate, pair(a, [b, a])).
+answer(select_duplicate, pair(b, [a, a])).
+answer(select_duplicate, pair(a, [a, b])).
+answer(rebuild, [a, b, c, d]).
+answer(no_select_rejected, ok).

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

@@ -0,0 +1,8 @@
+answer(index_value, pair(0, red)).
+answer(index_value, pair(1, green)).
+answer(index_value, pair(2, blue)).
+answer(bound_index, green).
+answer(set_first, [blue, green]).
+answer(set_last, [a, b, z]).
+answer(index_too_large_rejected, ok).
+answer(set_too_large_rejected, ok).

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

@@ -0,0 +1,7 @@
+answer(head, zero).
+answer(rest, [one, two, three, four]).
+answer(last, four).
+answer(take_three, [zero, one, two]).
+answer(drop_three, [three, four]).
+answer(slice_middle, [one, two, three]).
+answer(slice_tail_empty, []).

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

@@ -0,0 +1,6 @@
+answer(length_empty, 0).
+answer(length_nested, 3).
+answer(reverse_atoms, [c, b, a]).
+answer(sort_numbers, [1, 2, 3]).
+answer(sort_mixed_terms, [1, 2, a, b, "s", pair(a)]).
+answer(reverse_empty, []).

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

@@ -0,0 +1,6 @@
+answer(sum_integers, 10).
+answer(sum_decimals, 3.0).
+answer(min_terms, pair(a)).
+answer(max_terms, pair(c)).
+answer(sum_non_number_rejected, ok).
+answer(set_scalars, [b, a, 1, "a"]).

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

@@ -0,0 +1,4 @@
+answer(parts, ["alpha", "beta", "gamma"]).
+answer(pipe, "alpha|beta|gamma").
+answer(first_upper, "ALPHA").
+answer(last_lower, "gamma").

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

@@ -0,0 +1,7 @@
+answer(prefix, "eye").
+answer(middle, "la").
+answer(suffix, "ng").
+answer(empty_at_end, "").
+answer(out_of_range_rejected, ok).
+answer(replace_all, "baNANA").
+answer(replace_missing, "banana").

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

@@ -0,0 +1,5 @@
+answer(lower_mixed, "hello world 123!").
+answer(upper_mixed, "HELLO WORLD 123!").
+answer(trim_spaces, "padded").
+answer(trim_tabs_newline, "value").
+answer(trim_empty, "").

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

@@ -0,0 +1,7 @@
+answer(number_to_string, "42").
+answer(decimal_string_to_number, -12.75).
+answer(scientific_string_to_number, 1e3).
+answer(atom_to_string, "hello-world").
+answer(string_to_atom_needs_quotes, 'hello-world').
+answer(term_to_string, "result([a, b], score(10))").
+answer(unbound_term_rejected, ok).

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

@@ -0,0 +1,5 @@
+answer(level, "warn").
+answer(code, "E42").
+answer(user, "bob").
+answer(no_named_groups_rejected, ok).
+answer(bad_regex_rejected, ok).

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

@@ -0,0 +1,8 @@
+answer(term, kind(alert)).
+answer(term, severity(high)).
+answer(term, owner(alice)).
+answer(parts, pair(kind, [alert])).
+answer(parts, pair(severity, [high])).
+answer(parts, pair(owner, [alice])).
+answer(filter, alice).
+answer(missing_rejected, ok).

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

@@ -0,0 +1,6 @@
+answer(functor_compound, pair(edge, 2)).
+answer(arg_first, a).
+answer(arg_second, b).
+answer(decompose, pair(edge, [a, b])).
+answer(recompose, edge(a, b)).
+answer(roundtrip, edge(a, b)).

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

@@ -0,0 +1,6 @@
+answer(atom, pair(alpha, 0)).
+answer(quoted_atom, pair('hello-world', 0)).
+answer(string, pair("text", 0)).
+answer(number, pair(123, 0)).
+answer(list_functor, pair('.', 2)).
+answer(unbound_rejected, ok).

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

@@ -0,0 +1,5 @@
+answer(once_choice, a).
+answer(negated_missing, ok).
+answer(negated_existing_rejected, ok).
+answer(all_allowed, ok).
+answer(not_all_allowed_after_extra, ok).