eyelang 1.7.7 → 1.7.9

package/test/conformance/cases/terms/extra_arg_atom_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(arg_atom_fails) :- arg(1, atom, ?_).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(arg_first_last, ?first, ?last) :- arg(1, triple(a, b, c), ?first), arg(3, triple(a, b, c), ?last).

package/test/conformance/cases/terms/extra_arg_zero_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(arg_zero_fails) :- arg(0, pair(a, b), ?_).

package/test/conformance/cases/terms/extra_compound_name_arguments_bad_args_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(compound_name_arguments_bad_args_fails) :- compound_name_arguments(?_, pair, not_a_list).

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(compound_name_arguments_construct_atom_zero, ?x) :- compound_name_arguments(?x, nil, []).

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(compound_name_arguments_construct_iri, ?x) :- compound_name_arguments(?x, <urn:example:pair>, [a, b]).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(compound_name_arguments_decompose_list, ?name, ?args) :- compound_name_arguments([a | b], ?name, ?args).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_list_cons, ?name, ?arity) :- functor([a, b], ?name, ?arity).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_number_scalar, ?name, ?arity) :- functor(123, ?name, ?arity).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_string_scalar, ?name, ?arity) :- functor("hello", ?name, ?arity).

package/test/conformance/cases/terms/herbrand_witness_different_inputs_distinct.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(true) :- neq(registration_of(alice, logic), registration_of(alice, math)).

package/test/conformance/cases/terms/herbrand_witness_one_input.eye

@@ -0,0 +1,5 @@
+% Existential-style consequence with one universal variable represented as a Herbrand term.
+materialize(answer, 2).
+person(alice).
+person(bob).
+answer(?child, parent_of(?child)) :- person(?child).

package/test/conformance/cases/terms/herbrand_witness_same_inputs_same_term.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(true) :- eq(parent_of(alice), parent_of(alice)).

package/test/conformance/cases/terms/herbrand_witness_two_inputs.eye

@@ -0,0 +1,5 @@
+% Existential-style consequence with two universal variables represented as a Herbrand term.
+materialize(answer, 3).
+takes(alice, logic).
+takes(alice, math).
+answer(?student, ?course, registration_of(?student, ?course)) :- takes(?student, ?course).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_iri_and_quoted_atom) :- eq(<urn:example:a>, 'urn:example:a').

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(eq_list_tail_binding, ?tail) :- eq([a, b | ?tail], [a, b, c, d]).

package/test/conformance/cases/unification/extra_eq_nested_repeated_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_nested_repeated_fails) :- eq(pair(?x, ?x), pair(a, b)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(eq_nested_repeated_success, ?x) :- eq(pair(?x, ?x), pair(a, a)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_scalar_number_atom) :- eq(7, '7').

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_scalar_string_number) :- eq("7", 7).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_compound_arity_mismatch) :- neq(f(a), f(a, b)).

package/test/conformance/cases/unification/extra_neq_scalar_same_lexical_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_scalar_same_lexical_fails) :- neq("7", 7).

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

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+answer(variable_clause_locality, ?x) :- one(?x).
+one(a).
+one(b).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(anonymous_not_reused) :- eq(pair(?_, ?_), pair(a, b)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(named_variable_reused) :- eq(pair(?x, ?x), pair(a, a)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(question_underscore_named_distinct, ?_x, ?_y) :- eq(?_x, a), eq(?_y, b).

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(question_uppercase_named, ?X) :- eq(?X, ok).

package/test/conformance/errors/atoms/extra_angle_iri_backslash_rejected.eye

@@ -0,0 +1 @@
+p(<urn:example:\bad>).

package/test/conformance/errors/atoms/extra_angle_iri_pipe_rejected.eye

@@ -0,0 +1 @@
+p(<urn:example:|bad>).

package/test/conformance/errors/atoms/extra_angle_iri_quote_rejected.eye

@@ -0,0 +1 @@
+p(<urn:example:"bad">).

package/test/conformance/errors/lists/extra_missing_tail_after_bar.eye

@@ -0,0 +1 @@
+p([a | ]).

package/test/conformance/errors/lists/extra_unclosed_list_tail.eye

@@ -0,0 +1 @@
+p([a | b).

package/test/conformance/errors/rules/extra_empty_head_with_body.eye

@@ -0,0 +1 @@
+() :- q(a).

package/test/conformance/errors/rules/extra_rule_without_body.eye

@@ -0,0 +1 @@
+p(a) :-.

package/test/conformance/errors/syntax/extra_bad_backtick_character.eye

@@ -0,0 +1 @@
+p(`bad`).

package/test/conformance/errors/syntax/extra_bad_iri_empty_body.eye

@@ -0,0 +1 @@
+p(<urn:example:bad{}>).

package/test/conformance/errors/syntax/extra_bad_list_double_comma.eye

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

package/test/conformance/errors/syntax/extra_bad_list_double_tail.eye

@@ -0,0 +1 @@
+p([a | b | c]).

package/test/conformance/errors/syntax/extra_bad_number_two_decimal_points.eye

@@ -0,0 +1 @@
+p(1.2.3).

package/test/conformance/errors/syntax/extra_double_period_rejected.eye

@@ -0,0 +1 @@
+p(a)..

package/test/conformance/errors/syntax/extra_extra_closing_paren.eye

@@ -0,0 +1 @@
+p(a)).

package/test/conformance/errors/syntax/extra_missing_closing_rule_body.eye

@@ -0,0 +1 @@
+p(a) :- (q(a), r(a).

package/test/conformance/errors/syntax/extra_missing_head_rejected.eye

@@ -0,0 +1 @@
+:- q(a).

package/test/conformance/errors/terms/extra_empty_nested_compound.eye

@@ -0,0 +1 @@
+p(f()).

package/test/conformance/errors/terms/extra_empty_top_level_compound.eye

@@ -0,0 +1 @@
+p().

package/test/conformance/errors/variables/extra_bare_underscore_in_rule_head.eye

@@ -0,0 +1 @@
+p(_x).

package/test/conformance/errors/variables/extra_question_dash_variable.eye

@@ -0,0 +1 @@
+p(?x-y).

package/test/conformance/errors/variables/extra_uppercase_in_list.eye

@@ -0,0 +1 @@
+p([A]).

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

@@ -0,0 +1 @@
+answer(aggregate_max_iri_key, <urn:example:z>, high).

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

@@ -0,0 +1 @@
+answer(aggregate_min_tie_first, 1, keep).

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

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

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/terms/herbrand_witness_different_inputs_distinct.eye

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

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

@@ -0,0 +1,2 @@
+answer(alice, parent_of(alice)).
+answer(bob, parent_of(bob)).

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

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

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

@@ -0,0 +1,2 @@
+answer(alice, logic, registration_of(alice, logic)).
+answer(alice, math, registration_of(alice, math)).

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 |