eyelang 1.7.4 → 1.7.6

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

@@ -0,0 +1 @@
+ex:answer(ok).

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

@@ -0,0 +1 @@
+answer(ex.example).

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

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

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

@@ -0,0 +1 @@
+answer(pair(_value)).

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

@@ -0,0 +1 @@
+answer(ok) :- seed(X).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,2 @@
+answer(add, 3.75).
+answer(div, 3).

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

@@ -0,0 +1,2 @@
+answer(min, 2.5).
+answer(max, 3.0).

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

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

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

@@ -0,0 +1,2 @@
+answer(neg, -7).
+answer(abs, 7).

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

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

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

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

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

@@ -0,0 +1,4 @@
+answer(floor, -2).
+answer(ceiling, -1).
+answer(trunc, -1).
+answer(rounded, -1).

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

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

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

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

package/test/conformance/expected/atoms/graphic_atom_predicate.eye

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

package/test/conformance/expected/atoms/iri_as_predicate_name_quoted.eye

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

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

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

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

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

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

@@ -0,0 +1,2 @@
+answer(edge, a, b).
+answer(label, a, "A").

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

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

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

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

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

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

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

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

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

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

package/test/conformance/expected/declarations/det_semidet_do_not_emit_without_materialize.eye

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

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

@@ -0,0 +1,3 @@
+answer(head, a).
+answer(rest, [b, c]).
+answer(last, c).

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

@@ -0,0 +1,2 @@
+answer(empty, 0).
+answer(nested, 2).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,3 @@
+answer(sum, 10).
+answer(min, -2).
+answer(max, 7).

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

@@ -0,0 +1,2 @@
+answer(take, []).
+answer(drop, []).

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

@@ -0,0 +1 @@
+answer(alice, clara).

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

@@ -0,0 +1,6 @@
+path(a, b).
+path(b, c).
+path(c, d).
+path(a, c).
+path(a, d).
+path(b, d).

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

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

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

@@ -0,0 +1,2 @@
+answer(lower, "helloworld").
+answer(upper, "HELLOWORLD").

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+answer(["Ada"], ["Lovelace"]).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+answer("pair(<urn:example:a>, [1, two])").

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,2 @@
+answer(number, 42, 0).
+answer(string, "hi", 0).

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,2 @@
+answer(atom_number).
+answer(number_string).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+parse line 1: unterminated quoted term

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

@@ -0,0 +1 @@
+parse line 1: unterminated quoted term

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

@@ -0,0 +1 @@
+colon names are not supported; use name or prefix_name

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,16 @@
+answer(pair(a, [b, c])).
+why(
+  answer(pair(a, [b, c])),
+  proof(
+    goal(answer(pair(a, [b, c]))),
+    by(rule("<stdin>", clause(3))),
+    bindings([binding("?term", pair(a, [b, c]))]),
+    uses([
+      proof(
+        goal(source(pair(a, [b, c]))),
+        by(fact("<stdin>", clause(2)))
+      )
+    ])
+  )
+).
+

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

@@ -0,0 +1,16 @@
+answer(5).
+why(
+  answer(5),
+  proof(
+    goal(answer(5)),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?x", 5)]),
+    uses([
+      proof(
+        goal(add(2, 3, 5)),
+        by(builtin(add, 3))
+      )
+    ])
+  )
+).
+

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

@@ -0,0 +1,19 @@
+answer(ok).
+why(
+  answer(ok),
+  proof(
+    goal(answer(ok)),
+    by(rule("<stdin>", clause(4))),
+    uses([
+      proof(
+        goal(left(ok)),
+        by(fact("<stdin>", clause(2)))
+      ),
+      proof(
+        goal(right(ok)),
+        by(fact("<stdin>", clause(3)))
+      )
+    ])
+  )
+).
+

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

@@ -0,0 +1,16 @@
+label(<urn:example:a>, "Alice").
+why(
+  label(<urn:example:a>, "Alice"),
+  proof(
+    goal(label(<urn:example:a>, "Alice")),
+    by(rule("<stdin>", clause(3))),
+    bindings([binding("?iri", <urn:example:a>), binding("?name", "Alice")]),
+    uses([
+      proof(
+        goal(name(<urn:example:a>, "Alice")),
+        by(fact("<stdin>", clause(2)))
+      )
+    ])
+  )
+).
+

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

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

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

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

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

@@ -0,0 +1,16 @@
+answer(ok).
+why(
+  answer(ok),
+  proof(
+    goal(answer(ok)),
+    by(rule("<stdin>", clause(3))),
+    bindings([binding("?x", ok)]),
+    uses([
+      proof(
+        goal(seed(ok)),
+        by(fact("<stdin>", clause(2)))
+      )
+    ])
+  )
+).
+

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

@@ -0,0 +1,59 @@
+path(a, b).
+why(
+  path(a, b),
+  proof(
+    goal(path(a, b)),
+    by(rule("<stdin>", clause(5))),
+    bindings([binding("?x", a), binding("?y", b)]),
+    uses([
+      proof(
+        goal(edge(a, b)),
+        by(fact("<stdin>", clause(3)))
+      )
+    ])
+  )
+).
+
+path(b, c).
+why(
+  path(b, c),
+  proof(
+    goal(path(b, c)),
+    by(rule("<stdin>", clause(5))),
+    bindings([binding("?x", b), binding("?y", c)]),
+    uses([
+      proof(
+        goal(edge(b, c)),
+        by(fact("<stdin>", clause(4)))
+      )
+    ])
+  )
+).
+
+path(a, c).
+why(
+  path(a, c),
+  proof(
+    goal(path(a, c)),
+    by(rule("<stdin>", clause(6))),
+    bindings([binding("?x", a), binding("?z", c), binding("?y", b)]),
+    uses([
+      proof(
+        goal(edge(a, b)),
+        by(fact("<stdin>", clause(3)))
+      ),
+      proof(
+        goal(path(b, c)),
+        by(rule("<stdin>", clause(5))),
+        bindings([binding("?x", b), binding("?y", c)]),
+        uses([
+          proof(
+            goal(edge(b, c)),
+            by(fact("<stdin>", clause(4)))
+          )
+        ])
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-warnings/negation/stratified_negative_unknown_after_positive_quiet.eye

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

package/test/conformance/expected-warnings/negation/stratified_two_level_quiet.eye

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

package/test/conformance/expected-warnings/negation/unstratified_positive_prefix.txt

@@ -0,0 +1,2 @@
+eyelang warning: unstratified negation
+  helper/1 depends negatively on q/1

package/test/conformance/expected-warnings/negation/unstratified_two_arity_cycle.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/2 depends negatively on q/2
+  q/2 depends negatively on p/2

package/test/conformance/expected-warnings/negation/unstratified_two_independent_cycles.txt

@@ -0,0 +1,5 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1
+  r/1 depends negatively on s/1
+  s/1 depends negatively on r/1

package/test/conformance/expected-warnings/negation/unstratified_with_iri_predicates.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1