eyelang 1.3.9 → 1.4.1

package/conformance/expected/extension/005_lists_aggregation_ordering.out

@@ -1,144 +1,9 @@
 answer(member, a).
-why(
-  answer(member, a),
-  proof(
-    goal(answer(member, a)),
-    by(rule("005_lists_aggregation_ordering.pl", clause(1))),
-    bindings([binding("X", a)]),
-    uses([
-      proof(
-        goal(member(a, [a, b])),
-        by(builtin(member, 2))
-      )
-    ])
-  )
-).
-
 answer(member, b).
-why(
-  answer(member, b),
-  proof(
-    goal(answer(member, b)),
-    by(rule("005_lists_aggregation_ordering.pl", clause(1))),
-    bindings([binding("X", b)]),
-    uses([
-      proof(
-        goal(member(b, [a, b])),
-        by(builtin(member, 2))
-      )
-    ])
-  )
-).
-
 answer(append, [a, b, c]).
-why(
-  answer(append, [a, b, c]),
-  proof(
-    goal(answer(append, [a, b, c])),
-    by(rule("005_lists_aggregation_ordering.pl", clause(2))),
-    bindings([binding("X", [a, b, c])]),
-    uses([
-      proof(
-        goal(append([a], [b, c], [a, b, c])),
-        by(builtin(append, 3))
-      )
-    ])
-  )
-).
-
 answer(nth0, b).
-why(
-  answer(nth0, b),
-  proof(
-    goal(answer(nth0, b)),
-    by(rule("005_lists_aggregation_ordering.pl", clause(3))),
-    bindings([binding("X", b)]),
-    uses([
-      proof(
-        goal(nth0(1, [a, b, c], b)),
-        by(builtin(nth0, 3))
-      )
-    ])
-  )
-).
-
 answer(set_nth0, [a, x, c]).
-why(
-  answer(set_nth0, [a, x, c]),
-  proof(
-    goal(answer(set_nth0, [a, x, c])),
-    by(rule("005_lists_aggregation_ordering.pl", clause(4))),
-    bindings([binding("X", [a, x, c])]),
-    uses([
-      proof(
-        goal(set_nth0(1, [a, b, c], x, [a, x, c])),
-        by(builtin(set_nth0, 4))
-      )
-    ])
-  )
-).
-
 answer(reverse, [c, b, a]).
-why(
-  answer(reverse, [c, b, a]),
-  proof(
-    goal(answer(reverse, [c, b, a])),
-    by(rule("005_lists_aggregation_ordering.pl", clause(5))),
-    bindings([binding("X", [c, b, a])]),
-    uses([
-      proof(
-        goal(reverse([a, b, c], [c, b, a])),
-        by(builtin(reverse, 2))
-      )
-    ])
-  )
-).
-
 answer(length, 3).
-why(
-  answer(length, 3),
-  proof(
-    goal(answer(length, 3)),
-    by(rule("005_lists_aggregation_ordering.pl", clause(6))),
-    bindings([binding("N", 3)]),
-    uses([
-      proof(
-        goal(length([a, b, c], 3)),
-        by(builtin(length, 2))
-      )
-    ])
-  )
-).
-
 answer(findall, [1, 2, 3]).
-why(
-  answer(findall, [1, 2, 3]),
-  proof(
-    goal(answer(findall, [1, 2, 3])),
-    by(rule("005_lists_aggregation_ordering.pl", clause(7))),
-    bindings([binding("X", [1, 2, 3])]),
-    uses([
-      proof(
-        goal(findall(N, between(1, 3, N), [1, 2, 3])),
-        by(builtin(findall, 3))
-      )
-    ])
-  )
-).
-
 answer(sort, [a, b]).
-why(
-  answer(sort, [a, b]),
-  proof(
-    goal(answer(sort, [a, b])),
-    by(rule("005_lists_aggregation_ordering.pl", clause(8))),
-    bindings([binding("X", [a, b])]),
-    uses([
-      proof(
-        goal(sort([b, a, b], [a, b])),
-        by(builtin(sort, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/006_formula_terms.out

@@ -1,80 +1,4 @@
 answer(atom, name(alice, "Alice")).
-why(
-  answer(atom, name(alice, "Alice")),
-  proof(
-    goal(answer(atom, name(alice, "Alice"))),
-    by(rule("006_formula_terms.pl", clause(2))),
-    bindings([binding("A", name(alice, "Alice")), binding("F", (name(alice, "Alice"), knows(alice, bob)))]),
-    uses([
-      proof(
-        goal(formula((name(alice, "Alice"), knows(alice, bob)))),
-        by(fact("006_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_atom((name(alice, "Alice"), knows(alice, bob)), name(alice, "Alice"))),
-        by(builtin(formula_atom, 2))
-      )
-    ])
-  )
-).
-
 answer(atom, knows(alice, bob)).
-why(
-  answer(atom, knows(alice, bob)),
-  proof(
-    goal(answer(atom, knows(alice, bob))),
-    by(rule("006_formula_terms.pl", clause(2))),
-    bindings([binding("A", knows(alice, bob)), binding("F", (name(alice, "Alice"), knows(alice, bob)))]),
-    uses([
-      proof(
-        goal(formula((name(alice, "Alice"), knows(alice, bob)))),
-        by(fact("006_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_atom((name(alice, "Alice"), knows(alice, bob)), knows(alice, bob))),
-        by(builtin(formula_atom, 2))
-      )
-    ])
-  )
-).
-
 answer(binary, exposed(alice, name, "Alice")).
-why(
-  answer(binary, exposed(alice, name, "Alice")),
-  proof(
-    goal(answer(binary, exposed(alice, name, "Alice"))),
-    by(rule("006_formula_terms.pl", clause(3))),
-    bindings([binding("S", alice), binding("P", name), binding("O", "Alice"), binding("F", (name(alice, "Alice"), knows(alice, bob)))]),
-    uses([
-      proof(
-        goal(formula((name(alice, "Alice"), knows(alice, bob)))),
-        by(fact("006_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_binary((name(alice, "Alice"), knows(alice, bob)), alice, name, "Alice")),
-        by(builtin(formula_binary, 4))
-      )
-    ])
-  )
-).
-
 answer(binary, exposed(alice, knows, bob)).
-why(
-  answer(binary, exposed(alice, knows, bob)),
-  proof(
-    goal(answer(binary, exposed(alice, knows, bob))),
-    by(rule("006_formula_terms.pl", clause(3))),
-    bindings([binding("S", alice), binding("P", knows), binding("O", bob), binding("F", (name(alice, "Alice"), knows(alice, bob)))]),
-    uses([
-      proof(
-        goal(formula((name(alice, "Alice"), knows(alice, bob)))),
-        by(fact("006_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_binary((name(alice, "Alice"), knows(alice, bob)), alice, knows, bob)),
-        by(builtin(formula_binary, 4))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/007_negation_once_generators.out

@@ -1,42 +1,2 @@
 answer(open, a).
-why(
-  answer(open, a),
-  proof(
-    goal(answer(open, a)),
-    by(rule("007_negation_once_generators.pl", clause(4))),
-    bindings([binding("X", a)]),
-    uses([
-      proof(
-        goal(candidate(a)),
-        by(fact("007_negation_once_generators.pl", clause(1)))
-      ),
-      proof(
-        goal(not(closed(a))),
-        by(builtin(not, 1))
-      )
-    ])
-  )
-).
-
 answer(first_between, 2).
-why(
-  answer(first_between, 2),
-  proof(
-    goal(answer(first_between, 2)),
-    by(rule("007_negation_once_generators.pl", clause(5))),
-    bindings([binding("X", 2)]),
-    uses([
-      proof(
-        goal(once(between(2, 4, 2))),
-        by(builtin(once, 1)),
-        uses([
-          proof(
-            goal(between(2, 4, 2)),
-            by(builtin(between, 3))
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/008_equality_and_inequality.out

@@ -1,62 +1,4 @@
 answer(eq_variable, pair(a, [b, c])).
-why(
-  answer(eq_variable, pair(a, [b, c])),
-  proof(
-    goal(answer(eq_variable, pair(a, [b, c]))),
-    by(rule("008_equality_and_inequality.pl", clause(1))),
-    bindings([binding("X", pair(a, [b, c]))]),
-    uses([
-      proof(
-        goal(eq(pair(a, [b, c]), pair(a, [b, c]))),
-        by(builtin(eq, 2))
-      )
-    ])
-  )
-).
-
 answer(eq_nested, true).
-why(
-  answer(eq_nested, true),
-  proof(
-    goal(answer(eq_nested, true)),
-    by(rule("008_equality_and_inequality.pl", clause(2))),
-    bindings([binding("X", same)]),
-    uses([
-      proof(
-        goal(eq(pair(same, same), pair(same, same))),
-        by(builtin(eq, 2))
-      )
-    ])
-  )
-).
-
 answer(neq_atoms, true).
-why(
-  answer(neq_atoms, true),
-  proof(
-    goal(answer(neq_atoms, true)),
-    by(rule("008_equality_and_inequality.pl", clause(3))),
-    uses([
-      proof(
-        goal(neq(alice, bob)),
-        by(builtin(neq, 2))
-      )
-    ])
-  )
-).
-
 answer(neq_structures, true).
-why(
-  answer(neq_structures, true),
-  proof(
-    goal(answer(neq_structures, true)),
-    by(rule("008_equality_and_inequality.pl", clause(4))),
-    uses([
-      proof(
-        goal(neq(pair(a), pair(a, b))),
-        by(builtin(neq, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/009_list_relations.out

@@ -1,78 +1,5 @@
 answer(rest, [b, c]).
-why(
-  answer(rest, [b, c]),
-  proof(
-    goal(answer(rest, [b, c])),
-    by(rule("009_list_relations.pl", clause(1))),
-    bindings([binding("X", [b, c])]),
-    uses([
-      proof(
-        goal(rest([a, b, c], [b, c])),
-        by(builtin(rest, 2))
-      )
-    ])
-  )
-).
-
 answer(select, selected(a, [b])).
-why(
-  answer(select, selected(a, [b])),
-  proof(
-    goal(answer(select, selected(a, [b]))),
-    by(rule("009_list_relations.pl", clause(2))),
-    bindings([binding("X", a), binding("R", [b])]),
-    uses([
-      proof(
-        goal(select(a, [a, b], [b])),
-        by(builtin(select, 3))
-      )
-    ])
-  )
-).
-
 answer(select, selected(b, [a])).
-why(
-  answer(select, selected(b, [a])),
-  proof(
-    goal(answer(select, selected(b, [a]))),
-    by(rule("009_list_relations.pl", clause(2))),
-    bindings([binding("X", b), binding("R", [a])]),
-    uses([
-      proof(
-        goal(select(b, [a, b], [a])),
-        by(builtin(select, 3))
-      )
-    ])
-  )
-).
-
 answer(not_member, true).
-why(
-  answer(not_member, true),
-  proof(
-    goal(answer(not_member, true)),
-    by(rule("009_list_relations.pl", clause(3))),
-    uses([
-      proof(
-        goal(not_member(c, [a, b])),
-        by(builtin(not_member, 2))
-      )
-    ])
-  )
-).
-
 answer(is_list, true).
-why(
-  answer(is_list, true),
-  proof(
-    goal(answer(is_list, true)),
-    by(rule("009_list_relations.pl", clause(4))),
-    uses([
-      proof(
-        goal(is_list([a, b])),
-        by(builtin(is_list, 1))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/010_append_splits.out

@@ -1,48 +1,3 @@
 answer(split, split([], [a, b])).
-why(
-  answer(split, split([], [a, b])),
-  proof(
-    goal(answer(split, split([], [a, b]))),
-    by(rule("010_append_splits.pl", clause(1))),
-    bindings([binding("A", []), binding("B", [a, b])]),
-    uses([
-      proof(
-        goal(append([], [a, b], [a, b])),
-        by(builtin(append, 3))
-      )
-    ])
-  )
-).
-
 answer(split, split([a], [b])).
-why(
-  answer(split, split([a], [b])),
-  proof(
-    goal(answer(split, split([a], [b]))),
-    by(rule("010_append_splits.pl", clause(1))),
-    bindings([binding("A", [a]), binding("B", [b])]),
-    uses([
-      proof(
-        goal(append([a], [b], [a, b])),
-        by(builtin(append, 3))
-      )
-    ])
-  )
-).
-
 answer(split, split([a, b], [])).
-why(
-  answer(split, split([a, b], [])),
-  proof(
-    goal(answer(split, split([a, b], []))),
-    by(rule("010_append_splits.pl", clause(1))),
-    bindings([binding("A", [a, b]), binding("B", [])]),
-    uses([
-      proof(
-        goal(append([a, b], [], [a, b])),
-        by(builtin(append, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/011_matching_and_comparison.out

@@ -1,75 +1,5 @@
 answer(matches, true).
-why(
-  answer(matches, true),
-  proof(
-    goal(answer(matches, true)),
-    by(rule("011_matching_and_comparison.pl", clause(1))),
-    uses([
-      proof(
-        goal(matches("eyelang", "eye")),
-        by(builtin(matches, 2))
-      )
-    ])
-  )
-).
-
 answer(not_matches, true).
-why(
-  answer(not_matches, true),
-  proof(
-    goal(answer(not_matches, true)),
-    by(rule("011_matching_and_comparison.pl", clause(2))),
-    uses([
-      proof(
-        goal(not_matches("eyelang", "cat")),
-        by(builtin(not_matches, 2))
-      )
-    ])
-  )
-).
-
 answer(lex_lt, true).
-why(
-  answer(lex_lt, true),
-  proof(
-    goal(answer(lex_lt, true)),
-    by(rule("011_matching_and_comparison.pl", clause(3))),
-    uses([
-      proof(
-        goal(lt(alpha, beta)),
-        by(builtin(lt, 2))
-      )
-    ])
-  )
-).
-
 answer(lex_gt, true).
-why(
-  answer(lex_gt, true),
-  proof(
-    goal(answer(lex_gt, true)),
-    by(rule("011_matching_and_comparison.pl", clause(4))),
-    uses([
-      proof(
-        goal(gt(beta, alpha)),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-
 answer(numeric_le, true).
-why(
-  answer(numeric_le, true),
-  proof(
-    goal(answer(numeric_le, true)),
-    by(rule("011_matching_and_comparison.pl", clause(5))),
-    uses([
-      proof(
-        goal(le(2, 2)),
-        by(builtin(le, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/012_memoize_declaration.out

@@ -1,43 +1,2 @@
 reach(a, b).
-why(
-  reach(a, b),
-  proof(
-    goal(reach(a, b)),
-    by(rule("012_memoize_declaration.pl", clause(4))),
-    bindings([binding("X", a), binding("Y", b)]),
-    uses([
-      proof(
-        goal(edge(a, b)),
-        by(fact("012_memoize_declaration.pl", clause(2)))
-      )
-    ])
-  )
-).
-
 reach(a, c).
-why(
-  reach(a, c),
-  proof(
-    goal(reach(a, c)),
-    by(rule("012_memoize_declaration.pl", clause(5))),
-    bindings([binding("X", a), binding("Z", c), binding("Y", b)]),
-    uses([
-      proof(
-        goal(edge(a, b)),
-        by(fact("012_memoize_declaration.pl", clause(2)))
-      ),
-      proof(
-        goal(reach(b, c)),
-        by(rule("012_memoize_declaration.pl", clause(4))),
-        bindings([binding("X", b), binding("Y", c)]),
-        uses([
-          proof(
-            goal(edge(b, c)),
-            by(fact("012_memoize_declaration.pl", clause(3)))
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/013_numeric_functions.out

@@ -1,112 +1,7 @@
 answer(neg, -5).
-why(
-  answer(neg, -5),
-  proof(
-    goal(answer(neg, -5)),
-    by(rule("013_numeric_functions.pl", clause(1))),
-    bindings([binding("X", -5)]),
-    uses([
-      proof(
-        goal(neg(5, -5)),
-        by(builtin(neg, 2))
-      )
-    ])
-  )
-).
-
 answer(abs, 5).
-why(
-  answer(abs, 5),
-  proof(
-    goal(answer(abs, 5)),
-    by(rule("013_numeric_functions.pl", clause(2))),
-    bindings([binding("X", 5)]),
-    uses([
-      proof(
-        goal(abs(-5, 5)),
-        by(builtin(abs, 2))
-      )
-    ])
-  )
-).
-
 answer(rounded, 3).
-why(
-  answer(rounded, 3),
-  proof(
-    goal(answer(rounded, 3)),
-    by(rule("013_numeric_functions.pl", clause(3))),
-    bindings([binding("X", 3)]),
-    uses([
-      proof(
-        goal(rounded(2.6, 3)),
-        by(builtin(rounded, 2))
-      )
-    ])
-  )
-).
-
 answer(sin_zero, 0.0).
-why(
-  answer(sin_zero, 0.0),
-  proof(
-    goal(answer(sin_zero, 0.0)),
-    by(rule("013_numeric_functions.pl", clause(4))),
-    bindings([binding("X", 0.0)]),
-    uses([
-      proof(
-        goal(sin(0, 0.0)),
-        by(builtin(sin, 2))
-      )
-    ])
-  )
-).
-
 answer(cos_zero, 1.0).
-why(
-  answer(cos_zero, 1.0),
-  proof(
-    goal(answer(cos_zero, 1.0)),
-    by(rule("013_numeric_functions.pl", clause(5))),
-    bindings([binding("X", 1.0)]),
-    uses([
-      proof(
-        goal(cos(0, 1.0)),
-        by(builtin(cos, 2))
-      )
-    ])
-  )
-).
-
 answer(log_one, 0.0).
-why(
-  answer(log_one, 0.0),
-  proof(
-    goal(answer(log_one, 0.0)),
-    by(rule("013_numeric_functions.pl", clause(6))),
-    bindings([binding("X", 0.0)]),
-    uses([
-      proof(
-        goal(log(1, 0.0)),
-        by(builtin(log, 2))
-      )
-    ])
-  )
-).
-
 answer(float_division, 3.5).
-why(
-  answer(float_division, 3.5),
-  proof(
-    goal(answer(float_division, 3.5)),
-    by(rule("013_numeric_functions.pl", clause(7))),
-    bindings([binding("X", 3.5)]),
-    uses([
-      proof(
-        goal(div(7.0, 2.0, 3.5)),
-        by(builtin(div, 3))
-      )
-    ])
-  )
-).
-