eyelang 1.7.7 → 1.7.8

package/test/conformance/expected/aggregation/extra_findall_repeated_template.eye

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

package/test/conformance/expected/aggregation/extra_sumall_float_template.eye

@@ -0,0 +1 @@
+answer(sumall_float_template, 3.75).

package/test/conformance/expected/arithmetic/extra_acos_one.eye

@@ -0,0 +1 @@
+answer(acos_one, 0.0).

package/test/conformance/expected/arithmetic/extra_asin_zero.eye

@@ -0,0 +1 @@
+answer(asin_zero, 0.0).

package/test/conformance/expected/arithmetic/extra_atan2_axis.eye

@@ -0,0 +1 @@
+answer(atan2_axis, 0.0).

package/test/conformance/expected/arithmetic/extra_difference_leap_day.eye

@@ -0,0 +1 @@
+answer(difference_leap_day, "P2D").

package/test/conformance/expected/arithmetic/extra_difference_same_day.eye

@@ -0,0 +1 @@
+answer(difference_same_day, "P0D").

package/test/conformance/expected/arithmetic/extra_div_float_exact.eye

@@ -0,0 +1 @@
+answer(div_float_exact, 3.0).

package/test/conformance/expected/arithmetic/extra_div_integer_trunc.eye

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

package/test/conformance/expected/arithmetic/extra_exp_zero.eye

@@ -0,0 +1 @@
+answer(exp_zero, 1.0).

package/test/conformance/expected/arithmetic/extra_ge_equal_duration.eye

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

package/test/conformance/expected/arithmetic/extra_le_equal_string.eye

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

package/test/conformance/expected/arithmetic/extra_log_one.eye

@@ -0,0 +1 @@
+answer(log_one, 0.0).

package/test/conformance/expected/arithmetic/extra_mod_negative_right.eye

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

package/test/conformance/expected/arithmetic/extra_pow_large_integer.eye

@@ -0,0 +1 @@
+answer(pow_large_integer, 1024).

package/test/conformance/expected/builtins/extra_eq_binds_both_sides.eye

@@ -0,0 +1 @@
+answer(eq_binds_both_sides, a, b).

package/test/conformance/expected/builtins/extra_neq_different_iri_atoms.eye

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

package/test/conformance/expected/context/extra_holds_atom_parts.eye

@@ -0,0 +1,2 @@
+answer(holds_atom_parts, ready, []).
+answer(holds_atom_parts, box, [a]).

package/test/conformance/expected/context/extra_holds_list_parts.eye

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

package/test/conformance/expected/context/extra_holds_term_nested_order.eye

@@ -0,0 +1,3 @@
+answer(holds_term_nested_order, a).
+answer(holds_term_nested_order, b).
+answer(holds_term_nested_order, c).

package/test/conformance/expected/control/extra_forall_bound_check.eye

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

package/test/conformance/expected/control/extra_not_unbound_unknown_goal_succeeds.eye

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

package/test/conformance/expected/control/extra_once_preserves_binding.eye

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

package/test/conformance/expected/lists/extra_append_all_splits_three.eye

@@ -0,0 +1,4 @@
+answer(append_split, pair([], [a, b, c])).
+answer(append_split, pair([a], [b, c])).
+answer(append_split, pair([a, b], [c])).
+answer(append_split, pair([a, b, c], [])).

package/test/conformance/expected/lists/extra_append_to_improper_tail.eye

@@ -0,0 +1 @@
+answer(append_to_improper_tail, [a, b | tail]).

package/test/conformance/expected/lists/extra_drop_all.eye

@@ -0,0 +1 @@
+answer(drop_all, []).

package/test/conformance/expected/lists/extra_head_and_rest_improper.eye

@@ -0,0 +1 @@
+answer(head_and_rest_improper, a, b).

package/test/conformance/expected/lists/extra_last_singleton.eye

@@ -0,0 +1 @@
+answer(last_singleton, only).

package/test/conformance/expected/lists/extra_list_to_set_stable_order.eye

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

package/test/conformance/expected/lists/extra_member_repeated_nested.eye

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

package/test/conformance/expected/lists/extra_not_member_compound_success.eye

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

package/test/conformance/expected/lists/extra_nth0_duplicate_indexes.eye

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

package/test/conformance/expected/lists/extra_reverse_nested_terms.eye

@@ -0,0 +1 @@
+answer(reverse_nested_terms, [<urn:example:d>, [b, c], box(a)]).

package/test/conformance/expected/lists/extra_select_structured_duplicate.eye

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

package/test/conformance/expected/lists/extra_slice_end.eye

@@ -0,0 +1 @@
+answer(slice_end, [c, d]).

package/test/conformance/expected/lists/extra_sort_iri_atoms.eye

@@ -0,0 +1 @@
+answer(sort_iri_atoms, [<urn:example:a>, <urn:example:b>]).

package/test/conformance/expected/lists/extra_take_all.eye

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

package/test/conformance/expected/materialize/extra_materialize_derived_only_with_same_source.eye

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

package/test/conformance/expected/negation/extra_not_with_bound_success.eye

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

package/test/conformance/expected/rules/extra_left_to_right_multiple_bindings.eye

@@ -0,0 +1,2 @@
+answer(left_to_right_multiple_bindings, a, one).
+answer(left_to_right_multiple_bindings, a, two).

package/test/conformance/expected/rules/extra_structured_head_rule.eye

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

package/test/conformance/expected/strings/extra_atom_string_number_input.eye

@@ -0,0 +1 @@
+answer(atom_string_number_input, '42').

package/test/conformance/expected/strings/extra_join_empty_list.eye

@@ -0,0 +1 @@
+answer(join_empty_list, "").

package/test/conformance/expected/strings/extra_join_iri_and_atom.eye

@@ -0,0 +1 @@
+answer(join_iri_and_atom, "urn:example:a/path/7").

package/test/conformance/expected/strings/extra_lowercase_iri_atom.eye

@@ -0,0 +1 @@
+answer(lowercase_iri_atom, "urn:example:abc").

package/test/conformance/expected/strings/extra_named_regex_optional_missing.eye

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

package/test/conformance/expected/strings/extra_number_string_atom_input.eye

@@ -0,0 +1 @@
+answer(number_string_atom_input, 42).

package/test/conformance/expected/strings/extra_replace_multiple.eye

@@ -0,0 +1 @@
+answer(replace_multiple, "baNANA").

package/test/conformance/expected/strings/extra_split_empty_separator.eye

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

package/test/conformance/expected/strings/extra_substring_last_char.eye

@@ -0,0 +1 @@
+answer(substring_last_char, "d").

package/test/conformance/expected/strings/extra_term_string_iri_list.eye

@@ -0,0 +1 @@
+answer(term_string_iri_list, "[<urn:example:a>, box(\"B\")]").

package/test/conformance/expected/strings/extra_uppercase_mixed_string.eye

@@ -0,0 +1 @@
+answer(uppercase_mixed_string, "ABC-1").

package/test/conformance/expected/syntax/extra_nested_parenthesized_body.eye

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

package/test/conformance/expected/table/extra_table_bound_cycle.eye

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

package/test/conformance/expected/table/extra_table_open_call_fallback.eye

@@ -0,0 +1,2 @@
+answer(table_open_call_fallback, pair(a, b)).
+answer(table_open_call_fallback, pair(b, c)).

package/test/conformance/expected/terms/extra_arg_first_last.eye

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

package/test/conformance/expected/terms/extra_compound_name_arguments_construct_atom_zero.eye

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

package/test/conformance/expected/terms/extra_compound_name_arguments_construct_iri.eye

@@ -0,0 +1 @@
+answer(compound_name_arguments_construct_iri, <urn:example:pair>(a, b)).

package/test/conformance/expected/terms/extra_compound_name_arguments_decompose_list.eye

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

package/test/conformance/expected/terms/extra_functor_list_cons.eye

@@ -0,0 +1 @@
+answer(functor_list_cons, '.', 2).

package/test/conformance/expected/terms/extra_functor_number_scalar.eye

@@ -0,0 +1 @@
+answer(functor_number_scalar, 123, 0).

package/test/conformance/expected/terms/extra_functor_string_scalar.eye

@@ -0,0 +1 @@
+answer(functor_string_scalar, "hello", 0).

package/test/conformance/expected/unification/extra_eq_iri_and_quoted_atom.eye

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

package/test/conformance/expected/unification/extra_eq_list_tail_binding.eye

@@ -0,0 +1 @@
+answer(eq_list_tail_binding, [c, d]).

package/test/conformance/expected/unification/extra_eq_nested_repeated_success.eye

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

package/test/conformance/expected/unification/extra_eq_scalar_number_atom.eye

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

package/test/conformance/expected/unification/extra_eq_scalar_string_number.eye

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

package/test/conformance/expected/unification/extra_neq_compound_arity_mismatch.eye

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

package/test/conformance/expected/unification/extra_variable_clause_locality.eye

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

package/test/conformance/expected/variables/extra_anonymous_not_reused.eye

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

package/test/conformance/expected/variables/extra_named_variable_reused.eye

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

package/test/conformance/expected/variables/extra_question_underscore_named_distinct.eye

@@ -0,0 +1 @@
+answer(question_underscore_named_distinct, a, b).

package/test/conformance/expected/variables/extra_question_uppercase_named.eye

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

package/test/conformance/expected-errors/atoms/extra_angle_iri_backslash_rejected.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got urn

package/test/conformance/expected-errors/atoms/extra_angle_iri_pipe_rejected.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got urn

package/test/conformance/expected-errors/atoms/extra_angle_iri_quote_rejected.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got urn

package/test/conformance/expected-errors/lists/extra_missing_tail_after_bar.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/lists/extra_unclosed_list_tail.txt

@@ -0,0 +1 @@
+parse line 1: expected ], got )

package/test/conformance/expected-errors/rules/extra_empty_head_with_body.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/rules/extra_rule_without_body.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/syntax/extra_bad_backtick_character.txt

@@ -0,0 +1 @@
+parse line 1: bad character "`"

package/test/conformance/expected-errors/syntax/extra_bad_iri_empty_body.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got urn

package/test/conformance/expected-errors/syntax/extra_bad_list_double_comma.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/syntax/extra_bad_list_double_tail.txt

@@ -0,0 +1 @@
+parse line 1: expected ], got |

package/test/conformance/expected-errors/syntax/extra_bad_number_two_decimal_points.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got .

package/test/conformance/expected-errors/syntax/extra_double_period_rejected.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/syntax/extra_extra_closing_paren.txt

@@ -0,0 +1 @@
+parse line 1: expected ., got )

package/test/conformance/expected-errors/syntax/extra_missing_closing_rule_body.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got .

package/test/conformance/expected-errors/syntax/extra_missing_head_rejected.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/terms/extra_empty_nested_compound.txt

@@ -0,0 +1 @@
+parse line 1: zero-arity compound syntax is not supported; use atom "f" for arity zero data

package/test/conformance/expected-errors/terms/extra_empty_top_level_compound.txt

@@ -0,0 +1 @@
+parse line 1: zero-arity compound syntax is not supported; use atom "p" for arity zero data

package/test/conformance/expected-errors/variables/extra_bare_underscore_in_rule_head.txt

@@ -0,0 +1 @@
+parse line 1: bad character "_"

package/test/conformance/expected-errors/variables/extra_question_dash_variable.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got -

package/test/conformance/expected-errors/variables/extra_uppercase_in_list.txt

@@ -0,0 +1 @@
+parse line 1: bad character "A"

package/test/conformance/expected-proofs/proofs/extra_aggregate_min.eye

@@ -0,0 +1,16 @@
+answer(aggregate_min, 1, a).
+why(
+  answer(aggregate_min, 1, a),
+  proof(
+    goal(answer(aggregate_min, 1, a)),
+    by(rule("<stdin>", clause(4))),
+    bindings([binding("?key", 1), binding("?value", a)]),
+    uses([
+      proof(
+        goal(aggregate_min(?k, ?v, score(?k, ?v), 1, a)),
+        by(builtin(aggregate_min, 5))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_compound_name_arguments.eye

@@ -0,0 +1,16 @@
+answer(compound_name_arguments, box, [a, b]).
+why(
+  answer(compound_name_arguments, box, [a, b]),
+  proof(
+    goal(answer(compound_name_arguments, box, [a, b])),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?name", box), binding("?args", [a, b])]),
+    uses([
+      proof(
+        goal(compound_name_arguments(box(a, b), box, [a, b])),
+        by(builtin(compound_name_arguments, 3))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_eq_builtin.eye

@@ -0,0 +1,16 @@
+answer(eq_builtin, a).
+why(
+  answer(eq_builtin, a),
+  proof(
+    goal(answer(eq_builtin, a)),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?x", a)]),
+    uses([
+      proof(
+        goal(eq(pair(a, b), pair(a, b))),
+        by(builtin(eq, 2))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_findall_builtin.eye

@@ -0,0 +1,16 @@
+answer(findall_builtin, [a, b]).
+why(
+  answer(findall_builtin, [a, b]),
+  proof(
+    goal(answer(findall_builtin, [a, b])),
+    by(rule("<stdin>", clause(4))),
+    bindings([binding("?bag", [a, b])]),
+    uses([
+      proof(
+        goal(findall(?x, item(?x), [a, b])),
+        by(builtin(findall, 3))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_forall_builtin.eye

@@ -0,0 +1,15 @@
+answer(forall_builtin).
+why(
+  answer(forall_builtin),
+  proof(
+    goal(answer(forall_builtin)),
+    by(rule("<stdin>", clause(2))),
+    uses([
+      proof(
+        goal(forall(member(?x, [1, 2]), lt(?x, 3))),
+        by(builtin(forall, 2))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_holds_parts.eye

@@ -0,0 +1,32 @@
+answer(holds_parts, alpha, []).
+why(
+  answer(holds_parts, alpha, []),
+  proof(
+    goal(answer(holds_parts, alpha, [])),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?name", alpha), binding("?args", [])]),
+    uses([
+      proof(
+        goal(holds((alpha, beta(2)), alpha, [])),
+        by(builtin(holds, 3))
+      )
+    ])
+  )
+).
+
+answer(holds_parts, beta, [2]).
+why(
+  answer(holds_parts, beta, [2]),
+  proof(
+    goal(answer(holds_parts, beta, [2])),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?name", beta), binding("?args", [2])]),
+    uses([
+      proof(
+        goal(holds((alpha, beta(2)), beta, [2])),
+        by(builtin(holds, 3))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_iri_join.eye

@@ -0,0 +1,16 @@
+answer(iri_join, <urn:example:alice>).
+why(
+  answer(iri_join, <urn:example:alice>),
+  proof(
+    goal(answer(iri_join, <urn:example:alice>)),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?who", <urn:example:alice>)]),
+    uses([
+      proof(
+        goal(eq(<urn:example:alice>, <urn:example:alice>)),
+        by(builtin(eq, 2))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_negation_success.eye

@@ -0,0 +1,15 @@
+answer(ok).
+why(
+  answer(ok),
+  proof(
+    goal(answer(ok)),
+    by(rule("<stdin>", clause(3))),
+    uses([
+      proof(
+        goal(not(known(b))),
+        by(builtin(not, 1))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_nested_list_binding.eye

@@ -0,0 +1,16 @@
+answer(nested_list_binding, [c]).
+why(
+  answer(nested_list_binding, [c]),
+  proof(
+    goal(answer(nested_list_binding, [c])),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?tail", [c])]),
+    uses([
+      proof(
+        goal(eq([a, b, c], [a, b, c])),
+        by(builtin(eq, 2))
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_once_member.eye

@@ -0,0 +1,22 @@
+answer(once_member, a).
+why(
+  answer(once_member, a),
+  proof(
+    goal(answer(once_member, a)),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?x", a)]),
+    uses([
+      proof(
+        goal(once(member(a, [a, b, c]))),
+        by(builtin(once, 1)),
+        uses([
+          proof(
+            goal(member(a, [a, b, c])),
+            by(builtin(member, 2))
+          )
+        ])
+      )
+    ])
+  )
+).
+