eyelang 1.3.9 → 1.4.1

package/conformance/expected/extension/014_between_enumeration.out

@@ -1,48 +1,3 @@
 answer(n, 3).
-why(
-  answer(n, 3),
-  proof(
-    goal(answer(n, 3)),
-    by(rule("014_between_enumeration.pl", clause(1))),
-    bindings([binding("X", 3)]),
-    uses([
-      proof(
-        goal(between(3, 5, 3)),
-        by(builtin(between, 3))
-      )
-    ])
-  )
-).
-
 answer(n, 4).
-why(
-  answer(n, 4),
-  proof(
-    goal(answer(n, 4)),
-    by(rule("014_between_enumeration.pl", clause(1))),
-    bindings([binding("X", 4)]),
-    uses([
-      proof(
-        goal(between(3, 5, 4)),
-        by(builtin(between, 3))
-      )
-    ])
-  )
-).
-
 answer(n, 5).
-why(
-  answer(n, 5),
-  proof(
-    goal(answer(n, 5)),
-    by(rule("014_between_enumeration.pl", clause(1))),
-    bindings([binding("X", 5)]),
-    uses([
-      proof(
-        goal(between(3, 5, 5)),
-        by(builtin(between, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/015_smallest_divisor.out

@@ -1,16 +1 @@
 answer(divisor, 3).
-why(
-  answer(divisor, 3),
-  proof(
-    goal(answer(divisor, 3)),
-    by(rule("015_smallest_divisor.pl", clause(1))),
-    bindings([binding("D", 3)]),
-    uses([
-      proof(
-        goal(smallest_divisor_from(21, 2, 3)),
-        by(builtin(smallest_divisor_from, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/016_negation_filter.out

@@ -1,40 +1,2 @@
 answer(open, a).
-why(
-  answer(open, a),
-  proof(
-    goal(answer(open, a)),
-    by(rule("016_negation_filter.pl", clause(5))),
-    bindings([binding("X", a)]),
-    uses([
-      proof(
-        goal(candidate(a)),
-        by(fact("016_negation_filter.pl", clause(1)))
-      ),
-      proof(
-        goal(not(blocked(a))),
-        by(builtin(not, 1))
-      )
-    ])
-  )
-).
-
 answer(open, c).
-why(
-  answer(open, c),
-  proof(
-    goal(answer(open, c)),
-    by(rule("016_negation_filter.pl", clause(5))),
-    bindings([binding("X", c)]),
-    uses([
-      proof(
-        goal(candidate(c)),
-        by(fact("016_negation_filter.pl", clause(3)))
-      ),
-      proof(
-        goal(not(blocked(c))),
-        by(builtin(not, 1))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/017_once_user_predicate.out

@@ -1,22 +1 @@
 answer(first, a).
-why(
-  answer(first, a),
-  proof(
-    goal(answer(first, a)),
-    by(rule("017_once_user_predicate.pl", clause(3))),
-    bindings([binding("X", a)]),
-    uses([
-      proof(
-        goal(once(choice(a))),
-        by(builtin(once, 1)),
-        uses([
-          proof(
-            goal(choice(a)),
-            by(fact("017_once_user_predicate.pl", clause(1)))
-          )
-        ])
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/018_findall_user_goal.out

@@ -1,16 +1 @@
 answer(bag, [b, a, b]).
-why(
-  answer(bag, [b, a, b]),
-  proof(
-    goal(answer(bag, [b, a, b])),
-    by(rule("018_findall_user_goal.pl", clause(4))),
-    bindings([binding("X", [b, a, b])]),
-    uses([
-      proof(
-        goal(findall(P, p(P), [b, a, b])),
-        by(builtin(findall, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/019_sort_deduplicates_atoms.out

@@ -1,16 +1 @@
 answer(sorted, [a, b, c]).
-why(
-  answer(sorted, [a, b, c]),
-  proof(
-    goal(answer(sorted, [a, b, c])),
-    by(rule("019_sort_deduplicates_atoms.pl", clause(1))),
-    bindings([binding("X", [a, b, c])]),
-    uses([
-      proof(
-        goal(sort([c, a, b, a], [a, b, c])),
-        by(builtin(sort, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/020_append_bound_prefix_suffix.out

@@ -1,32 +1,2 @@
 answer(prefix, [a, b]).
-why(
-  answer(prefix, [a, b]),
-  proof(
-    goal(answer(prefix, [a, b])),
-    by(rule("020_append_bound_prefix_suffix.pl", clause(1))),
-    bindings([binding("X", [a, b])]),
-    uses([
-      proof(
-        goal(append([a, b], [c], [a, b, c])),
-        by(builtin(append, 3))
-      )
-    ])
-  )
-).
-
 answer(suffix, [b, c]).
-why(
-  answer(suffix, [b, c]),
-  proof(
-    goal(answer(suffix, [b, c])),
-    by(rule("020_append_bound_prefix_suffix.pl", clause(2))),
-    bindings([binding("X", [b, c])]),
-    uses([
-      proof(
-        goal(append([a], [b, c], [a, b, c])),
-        by(builtin(append, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/021_nth0_index_generation.out

@@ -1,16 +1 @@
 answer(index, 1).
-why(
-  answer(index, 1),
-  proof(
-    goal(answer(index, 1)),
-    by(rule("021_nth0_index_generation.pl", clause(1))),
-    bindings([binding("I", 1)]),
-    uses([
-      proof(
-        goal(nth0(1, [a, b, c], b)),
-        by(builtin(nth0, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/022_set_nth0_edges.out

@@ -1,32 +1,2 @@
 answer(first, [x, b, c]).
-why(
-  answer(first, [x, b, c]),
-  proof(
-    goal(answer(first, [x, b, c])),
-    by(rule("022_set_nth0_edges.pl", clause(1))),
-    bindings([binding("X", [x, b, c])]),
-    uses([
-      proof(
-        goal(set_nth0(0, [a, b, c], x, [x, b, c])),
-        by(builtin(set_nth0, 4))
-      )
-    ])
-  )
-).
-
 answer(last, [a, b, z]).
-why(
-  answer(last, [a, b, z]),
-  proof(
-    goal(answer(last, [a, b, z])),
-    by(rule("022_set_nth0_edges.pl", clause(2))),
-    bindings([binding("X", [a, b, z])]),
-    uses([
-      proof(
-        goal(set_nth0(2, [a, b, c], z, [a, b, z])),
-        by(builtin(set_nth0, 4))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/023_select_duplicate_occurrences.out

@@ -1,32 +1,2 @@
 answer(rest, [b, a]).
-why(
-  answer(rest, [b, a]),
-  proof(
-    goal(answer(rest, [b, a])),
-    by(rule("023_select_duplicate_occurrences.pl", clause(1))),
-    bindings([binding("X", [b, a])]),
-    uses([
-      proof(
-        goal(select(a, [a, b, a], [b, a])),
-        by(builtin(select, 3))
-      )
-    ])
-  )
-).
-
 answer(rest, [a, b]).
-why(
-  answer(rest, [a, b]),
-  proof(
-    goal(answer(rest, [a, b])),
-    by(rule("023_select_duplicate_occurrences.pl", clause(1))),
-    bindings([binding("X", [a, b])]),
-    uses([
-      proof(
-        goal(select(a, [a, b, a], [a, b])),
-        by(builtin(select, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/024_not_member_filter.out

@@ -1,20 +1 @@
 answer(not_present, c).
-why(
-  answer(not_present, c),
-  proof(
-    goal(answer(not_present, c)),
-    by(rule("024_not_member_filter.pl", clause(4))),
-    bindings([binding("X", c)]),
-    uses([
-      proof(
-        goal(candidate(c)),
-        by(fact("024_not_member_filter.pl", clause(3)))
-      ),
-      proof(
-        goal(not_member(c, [a, b])),
-        by(builtin(not_member, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/025_is_list_filter.out

@@ -1,20 +1 @@
 answer(list, [a, b]).
-why(
-  answer(list, [a, b]),
-  proof(
-    goal(answer(list, [a, b])),
-    by(rule("025_is_list_filter.pl", clause(3))),
-    bindings([binding("X", [a, b])]),
-    uses([
-      proof(
-        goal(thing([a, b])),
-        by(fact("025_is_list_filter.pl", clause(1)))
-      ),
-      proof(
-        goal(is_list([a, b])),
-        by(builtin(is_list, 1))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/026_nested_formula_terms.out

@@ -1,120 +1,6 @@
 answer(atom, name(a, "A")).
-why(
-  answer(atom, name(a, "A")),
-  proof(
-    goal(answer(atom, name(a, "A"))),
-    by(rule("026_nested_formula_terms.pl", clause(2))),
-    bindings([binding("A", name(a, "A")), binding("F", ((name(a, "A"), knows(a, b)), likes(b, c)))]),
-    uses([
-      proof(
-        goal(formula(((name(a, "A"), knows(a, b)), likes(b, c)))),
-        by(fact("026_nested_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_atom(((name(a, "A"), knows(a, b)), likes(b, c)), name(a, "A"))),
-        by(builtin(formula_atom, 2))
-      )
-    ])
-  )
-).
-
 answer(atom, knows(a, b)).
-why(
-  answer(atom, knows(a, b)),
-  proof(
-    goal(answer(atom, knows(a, b))),
-    by(rule("026_nested_formula_terms.pl", clause(2))),
-    bindings([binding("A", knows(a, b)), binding("F", ((name(a, "A"), knows(a, b)), likes(b, c)))]),
-    uses([
-      proof(
-        goal(formula(((name(a, "A"), knows(a, b)), likes(b, c)))),
-        by(fact("026_nested_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_atom(((name(a, "A"), knows(a, b)), likes(b, c)), knows(a, b))),
-        by(builtin(formula_atom, 2))
-      )
-    ])
-  )
-).
-
 answer(atom, likes(b, c)).
-why(
-  answer(atom, likes(b, c)),
-  proof(
-    goal(answer(atom, likes(b, c))),
-    by(rule("026_nested_formula_terms.pl", clause(2))),
-    bindings([binding("A", likes(b, c)), binding("F", ((name(a, "A"), knows(a, b)), likes(b, c)))]),
-    uses([
-      proof(
-        goal(formula(((name(a, "A"), knows(a, b)), likes(b, c)))),
-        by(fact("026_nested_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_atom(((name(a, "A"), knows(a, b)), likes(b, c)), likes(b, c))),
-        by(builtin(formula_atom, 2))
-      )
-    ])
-  )
-).
-
 answer(binary, exposed(a, name, "A")).
-why(
-  answer(binary, exposed(a, name, "A")),
-  proof(
-    goal(answer(binary, exposed(a, name, "A"))),
-    by(rule("026_nested_formula_terms.pl", clause(3))),
-    bindings([binding("S", a), binding("P", name), binding("O", "A"), binding("F", ((name(a, "A"), knows(a, b)), likes(b, c)))]),
-    uses([
-      proof(
-        goal(formula(((name(a, "A"), knows(a, b)), likes(b, c)))),
-        by(fact("026_nested_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_binary(((name(a, "A"), knows(a, b)), likes(b, c)), a, name, "A")),
-        by(builtin(formula_binary, 4))
-      )
-    ])
-  )
-).
-
 answer(binary, exposed(a, knows, b)).
-why(
-  answer(binary, exposed(a, knows, b)),
-  proof(
-    goal(answer(binary, exposed(a, knows, b))),
-    by(rule("026_nested_formula_terms.pl", clause(3))),
-    bindings([binding("S", a), binding("P", knows), binding("O", b), binding("F", ((name(a, "A"), knows(a, b)), likes(b, c)))]),
-    uses([
-      proof(
-        goal(formula(((name(a, "A"), knows(a, b)), likes(b, c)))),
-        by(fact("026_nested_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_binary(((name(a, "A"), knows(a, b)), likes(b, c)), a, knows, b)),
-        by(builtin(formula_binary, 4))
-      )
-    ])
-  )
-).
-
 answer(binary, exposed(b, likes, c)).
-why(
-  answer(binary, exposed(b, likes, c)),
-  proof(
-    goal(answer(binary, exposed(b, likes, c))),
-    by(rule("026_nested_formula_terms.pl", clause(3))),
-    bindings([binding("S", b), binding("P", likes), binding("O", c), binding("F", ((name(a, "A"), knows(a, b)), likes(b, c)))]),
-    uses([
-      proof(
-        goal(formula(((name(a, "A"), knows(a, b)), likes(b, c)))),
-        by(fact("026_nested_formula_terms.pl", clause(1)))
-      ),
-      proof(
-        goal(formula_binary(((name(a, "A"), knows(a, b)), likes(b, c)), b, likes, c)),
-        by(builtin(formula_binary, 4))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/027_materialize_excludes_source_fact.out

@@ -1,15 +1 @@
 answer(b, ok).
-why(
-  answer(b, ok),
-  proof(
-    goal(answer(b, ok)),
-    by(rule("027_materialize_excludes_source_fact.pl", clause(5))),
-    uses([
-      proof(
-        goal(seed(a)),
-        by(fact("027_materialize_excludes_source_fact.pl", clause(2)))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/028_numeric_and_lexical_comparison.out

@@ -1,45 +1,3 @@
 answer(numeric_gt, true).
-why(
-  answer(numeric_gt, true),
-  proof(
-    goal(answer(numeric_gt, true)),
-    by(rule("028_numeric_and_lexical_comparison.pl", clause(1))),
-    uses([
-      proof(
-        goal(gt(10, 2)),
-        by(builtin(gt, 2))
-      )
-    ])
-  )
-).
-
 answer(numeric_le, true).
-why(
-  answer(numeric_le, true),
-  proof(
-    goal(answer(numeric_le, true)),
-    by(rule("028_numeric_and_lexical_comparison.pl", clause(2))),
-    uses([
-      proof(
-        goal(le(2, 2.0)),
-        by(builtin(le, 2))
-      )
-    ])
-  )
-).
-
 answer(lexical_ge, true).
-why(
-  answer(lexical_ge, true),
-  proof(
-    goal(answer(lexical_ge, true)),
-    by(rule("028_numeric_and_lexical_comparison.pl", clause(3))),
-    uses([
-      proof(
-        goal(ge(beta, alpha)),
-        by(builtin(ge, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/029_string_matching_filters.out

@@ -1,40 +1,2 @@
 answer(has_ph, a).
-why(
-  answer(has_ph, a),
-  proof(
-    goal(answer(has_ph, a)),
-    by(rule("029_string_matching_filters.pl", clause(3))),
-    bindings([binding("K", a), binding("T", "alpha")]),
-    uses([
-      proof(
-        goal(text(a, "alpha")),
-        by(fact("029_string_matching_filters.pl", clause(1)))
-      ),
-      proof(
-        goal(matches("alpha", "ph")),
-        by(builtin(matches, 2))
-      )
-    ])
-  )
-).
-
 answer(no_ph, b).
-why(
-  answer(no_ph, b),
-  proof(
-    goal(answer(no_ph, b)),
-    by(rule("029_string_matching_filters.pl", clause(4))),
-    bindings([binding("K", b), binding("T", "beta")]),
-    uses([
-      proof(
-        goal(text(b, "beta")),
-        by(fact("029_string_matching_filters.pl", clause(2)))
-      ),
-      proof(
-        goal(not_matches("beta", "ph")),
-        by(builtin(not_matches, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/030_string_and_atom_concat.out

@@ -1,32 +1,2 @@
 answer(atom, eyelang).
-why(
-  answer(atom, eyelang),
-  proof(
-    goal(answer(atom, eyelang)),
-    by(rule("030_string_and_atom_concat.pl", clause(1))),
-    bindings([binding("X", eyelang)]),
-    uses([
-      proof(
-        goal(atom_concat(eye, lang, eyelang)),
-        by(builtin(atom_concat, 3))
-      )
-    ])
-  )
-).
-
 answer(string, "eyelang").
-why(
-  answer(string, "eyelang"),
-  proof(
-    goal(answer(string, "eyelang")),
-    by(rule("030_string_and_atom_concat.pl", clause(2))),
-    bindings([binding("X", "eyelang")]),
-    uses([
-      proof(
-        goal(str_concat("eye", "lang", "eyelang")),
-        by(builtin(str_concat, 3))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/031_countall_empty_and_nonempty.out

@@ -1,19 +1 @@
 (countall(item(X), 2), countall(missing(X), 0)).
-why(
-  (countall(item(X), 2), countall(missing(X), 0)),
-  proof(
-    goal((countall(item(X), 2), countall(missing(X), 0))),
-    by(conjunction),
-    uses([
-      proof(
-        goal(countall(item(X), 2)),
-        by(builtin(countall, 2))
-      ),
-      proof(
-        goal(countall(missing(X), 0)),
-        by(builtin(countall, 2))
-      )
-    ])
-  )
-).
-

package/conformance/expected/extension/032_sumall_numeric_template.out

@@ -1,9 +1 @@
 sumall(S, score(_Item, S), 7).
-why(
-  sumall(S, score(_Item, S), 7),
-  proof(
-    goal(sumall(S, score(_Item, S), 7)),
-    by(builtin(sumall, 3))
-  )
-).
-

package/conformance/expected/extension/033_aggregate_min_template.out

@@ -1,9 +1 @@
 aggregate_min(S, item(Name, S), score(Name, S), 3, item(beta, 3)).
-why(
-  aggregate_min(S, item(Name, S), score(Name, S), 3, item(beta, 3)),
-  proof(
-    goal(aggregate_min(S, item(Name, S), score(Name, S), 3, item(beta, 3))),
-    by(builtin(aggregate_min, 5))
-  )
-).
-

package/conformance/expected/extension/034_aggregate_max_compound_key.out

@@ -1,9 +1 @@
 aggregate_max([S, Name], Name, score(Name, S), [7, beta], beta).
-why(
-  aggregate_max([S, Name], Name, score(Name, S), [7, beta], beta),
-  proof(
-    goal(aggregate_max([S, Name], Name, score(Name, S), [7, beta], beta)),
-    by(builtin(aggregate_max, 5))
-  )
-).
-