eyelang 1.7.7 → 1.7.9

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))
+          )
+        ])
+      )
+    ])
+  )
+).
+

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

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

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

@@ -0,0 +1,57 @@
+answer(table_path_bound, b).
+why(
+  answer(table_path_bound, b),
+  proof(
+    goal(answer(table_path_bound, b)),
+    by(rule("<stdin>", clause(7))),
+    bindings([binding("?x", b)]),
+    uses([
+      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)))
+          )
+        ])
+      )
+    ])
+  )
+).
+
+answer(table_path_bound, c).
+why(
+  answer(table_path_bound, c),
+  proof(
+    goal(answer(table_path_bound, c)),
+    by(rule("<stdin>", clause(7))),
+    bindings([binding("?x", c)]),
+    uses([
+      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-proofs/proofs/herbrand_witness.eye

@@ -0,0 +1,16 @@
+has_parent(alice, parent_of(alice)).
+why(
+  has_parent(alice, parent_of(alice)),
+  proof(
+    goal(has_parent(alice, parent_of(alice))),
+    by(rule("<stdin>", clause(2))),
+    bindings([binding("?child", alice)]),
+    uses([
+      proof(
+        goal(person(alice)),
+        by(fact("<stdin>", clause(1)))
+      )
+    ])
+  )
+).
+

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,4 @@
+materialize(answer, 3).
+score(2, b).
+score(1, a).
+answer(aggregate_min, ?key, ?value) :- aggregate_min(?k, ?v, score(?k, ?v), ?key, ?value).

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

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

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

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

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

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+item(a).
+item(b).
+answer(findall_builtin, ?bag) :- findall(?x, item(?x), ?bag).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(forall_builtin) :- forall(member(?x, [1, 2]), lt(?x, 3)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(holds_parts, ?name, ?args) :- holds((alpha, beta(2)), ?name, ?args).

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(iri_join, ?who) :- eq(?who, <urn:example:alice>).

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

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+known(a).
+answer(ok) :- not(known(b)).

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(once_member, ?x) :- once(member(?x, [a, b, c])).

package/test/conformance/proofs/proofs/extra_recursive_path.eye

@@ -0,0 +1,5 @@
+materialize(path, 2).
+edge(a, b).
+edge(b, c).
+path(?x, ?y) :- edge(?x, ?y).
+path(?x, ?z) :- edge(?x, ?y), path(?y, ?z).

package/test/conformance/proofs/proofs/extra_table_path_bound.eye

@@ -0,0 +1,7 @@
+materialize(answer, 2).
+table(path, 2).
+edge(a, b).
+edge(b, c).
+path(?x, ?y) :- edge(?x, ?y).
+path(?x, ?z) :- edge(?x, ?y), path(?y, ?z).
+answer(table_path_bound, ?x) :- path(a, ?x).

package/test/conformance/proofs/proofs/herbrand_witness.eye

@@ -0,0 +1,3 @@
+person(alice).
+has_parent(?child, parent_of(?child)) :- person(?child).
+materialize(has_parent, 2).

package/test/conformance/warnings/negation/extra_stratified_multiple_negations_quiet.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+p(a).
+r(c).
+answer(ok) :- not(q(a)), not(r(b)).

package/test/conformance/warnings/negation/extra_stratified_negation_with_table_quiet.eye

@@ -0,0 +1,6 @@
+materialize(open, 1).
+table(path, 2).
+edge(a, b).
+path(?x, ?y) :- edge(?x, ?y).
+closed(c).
+open(?x) :- path(a, ?x), not(closed(?x)).

package/test/conformance/warnings/negation/extra_unstratified_indirect_self_with_fact.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+seed(a).
+p(?x) :- seed(?x), not(blocked(?x)).
+blocked(?x) :- p(?x).
+answer(ok).

package/test/conformance/warnings/negation/extra_unstratified_positive_negative_loop.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(?x) :- q(?x), not(r(?x)).
+q(a).
+r(?x) :- p(?x).
+answer(ok).

package/test/conformance/warnings/negation/extra_unstratified_three_cycle_all_negative.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(r(a)).
+r(a) :- not(p(a)).
+answer(ok).

package/test/conformance/warnings/negation/extra_warning_preserves_empty_stdout.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(p(a)).

package/test/run-regression.mjs

@@ -371,7 +371,7 @@ function documentationSyncCases() {
       run: () => {
         const report = buildConformanceReport();
         assertArrayEqual(report.issues, [], 'conformance report issues');
-        assertEqual(report.total.total >= 250, true, 'conformance case count');
+        assertEqual(report.total.total >= 400, true, 'conformance case count');
         assertEqual(report.total.positive + report.total.errors + report.total.warnings + report.total.proofs, report.total.total, 'conformance total');
         assertEqual(report.rows.some((row) => row.category === 'legacy-numbered'), false, 'legacy-numbered category');
         const text = formatConformanceReport(report);