eyelang 1.7.3 → 1.7.5

package/README.md

@@ -62,6 +62,7 @@ python3 -m http.server
 ```bash
 npm test
 npm run test:conformance
+npm run conformance:report
 npm run test:examples
 npm run test:regression
 ```

package/docs/guide.md

@@ -497,7 +497,13 @@ node test/run-regression.mjs
 node test/run-examples.mjs
 ```
 
-The conformance suite lives in [`test/conformance/`](../test/conformance/) as a file-based eyelang corpus. Positive cases pair `cases/<name>.eye` with exact expected stdout under `expected/<name>.eye`; negative cases pair `errors/<name>.eye` with exact expected error text under `expected-errors/<name>.txt`; warning cases pair `warnings/<name>.eye` with exact `--warnings` stdout and stderr files under `expected-warnings/`. Cases may be grouped in category directories such as `atoms/`, `variables/`, `negation/`, and `syntax/`, so another implementation can reuse the same corpus as an executable language contract. The suite covers the standard language surface from the language reference, including reusable built-ins, standard errors, and standard warnings. The regression suite lives in [`test/run-regression.mjs`](../test/run-regression.mjs) and covers CLI regressions, the public JavaScript API, and white-box invariants for parser, unification, and indexing behavior.
+Summarize the conformance corpus by category:
+
+```sh
+npm run conformance:report
+```
+
+The conformance suite lives in [`test/conformance/`](../test/conformance/) as a file-based eyelang corpus. Positive cases pair `cases/<name>.eye` with exact expected stdout under `expected/<name>.eye`; negative cases pair `errors/<name>.eye` with exact expected error text under `expected-errors/<name>.txt`; warning cases pair `warnings/<name>.eye` with exact `--warnings` stdout and stderr files under `expected-warnings/`. Cases may be grouped in category directories such as `arithmetic/`, `strings/`, `lists/`, `terms/`, `atoms/`, `variables/`, `negation/`, and `syntax/`, so another implementation can reuse the same corpus as an executable language contract. The suite covers the standard language surface from the language reference, including reusable built-ins, standard errors, and standard warnings. The regression suite lives in [`test/run-regression.mjs`](../test/run-regression.mjs) and covers CLI regressions, the public JavaScript API, and white-box invariants for parser, unification, and indexing behavior.
 
 ## Development and release
 
@@ -506,6 +512,7 @@ Common commands:
 ```sh
 npm run test:eyelang        # alias for npm test
 npm test                    # full conformance, regression/API/white-box, examples, and proof examples
+npm run conformance:report  # conformance coverage summary by category
 node test/run-conformance.mjs
 node test/run-regression.mjs
 node test/run-examples.mjs

package/docs/language-reference.md

@@ -702,7 +702,7 @@ A conforming eyelang implementation supports the standard language described abo
 
 Browser execution, package layout, CLI URL loading, and any implementation-specific built-ins described in host documentation are outside this conformance surface unless separately standardized.
 
-Conformance cases live in the repository under `test/conformance/`. They are run by `npm test` before the example suite, and can be run alone with `node test/run-conformance.mjs`. Positive cases have input programs under `conformance/cases/` and exact expected standard-output files under `conformance/expected/`; both use `.eye` so expected output remains eyelang-readable. Expected-error cases live under `conformance/errors/` with exact messages under `conformance/expected-errors/`. Expected-warning cases live under `conformance/warnings/` with exact `--warnings` stdout and stderr files under `conformance/expected-warnings/`.
+Conformance cases live in the repository under `test/conformance/`. They are run by `npm test` before the example suite, and can be run alone with `node test/run-conformance.mjs`. Positive cases have input programs under `conformance/cases/` and exact expected standard-output files under `conformance/expected/`; both use `.eye` so expected output remains eyelang-readable. Expected-error cases live under `conformance/errors/` with exact messages under `conformance/expected-errors/`. Expected-warning cases live under `conformance/warnings/` with exact `--warnings` stdout and stderr files under `conformance/expected-warnings/`. The corpus is grouped by language area, including arithmetic, strings, lists, terms, atoms, variables, negation, declarations, materialization, rules, syntax, and errors.
 
 ## 15. Relationship to ISO Prolog
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyelang",
-  "version": "1.7.3",
+  "version": "1.7.5",
   "description": "A small Prolog-like logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -44,6 +44,7 @@
     "test:examples": "node test/run-examples.mjs",
     "test:regression": "node test/run-regression.mjs",
     "preversion": "npm test",
-    "postversion": "git push origin HEAD --follow-tags"
+    "postversion": "git push origin HEAD --follow-tags",
+    "conformance:report": "node test/run-conformance-report.mjs"
   }
 }

package/test/conformance/README.md

@@ -20,7 +20,7 @@ Expected-warning cases consist of:
 - `conformance/expected-warnings/<name>.eye` — exact expected standard output;
 - `conformance/expected-warnings/<name>.txt` — exact expected standard error.
 
-Case names may be nested in category directories such as `atoms/`, `variables/`, `negation/`, or `syntax/`. Expected files mirror the same relative path.
+Case names may be nested in category directories such as `arithmetic/`, `strings/`, `lists/`, `terms/`, `atoms/`, `variables/`, `negation/`, or `syntax/`. Expected files mirror the same relative path.
 
 ## Running the suite
 
@@ -36,6 +36,12 @@ Run only the conformance suite:
 node test/run-conformance.mjs
 ```
 
+Summarize conformance coverage by category:
+
+```sh
+npm run conformance:report
+```
+
 Run matching conformance cases by passing a filename or directory fragment:
 
 ```sh

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(aggregate_max(?key, ?value, missing(?value), ?bestKey, ?bestValue)).

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

@@ -0,0 +1,5 @@
+materialize(answer, 2).
+candidate(a, 3).
+candidate(b, 1).
+candidate(c, 2).
+answer(?key, ?value) :- aggregate_min(score(?score), ?name, candidate(?name, ?score), ?key, ?value).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?n) :- countall(missing(?x), ?n).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?bag) :- findall(?x, missing(?x), ?bag).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?n) :- sumall(?x, missing(?x), ?n).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- between(1, 5, 3).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- between(4, 4, ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- lt("P1Y", "P2Y"), gt("P1Y2M", "P1Y1M").

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

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(add, ?x) :- add(1.5, 2.25, ?x).
+answer(div, ?x) :- div(7, 2, ?x).

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

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(min, ?x) :- min(3, 2.5, ?x).
+answer(max, ?x) :- max(3, 2.5, ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- mod(-7, 3, ?x).

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

@@ -0,0 +1,4 @@
+% Integer-preserving unary arithmetic.
+materialize(answer, 2).
+answer(neg, ?x) :- neg(7, ?x).
+answer(abs, ?x) :- abs(-7, ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(pow(2, -1, ?x)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- pow(9, 0, ?x).

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

@@ -0,0 +1,5 @@
+materialize(answer, 2).
+answer(floor, ?x) :- floor(-1.2, ?x).
+answer(ceiling, ?x) :- ceiling(-1.2, ?x).
+answer(trunc, ?x) :- trunc(-1.8, ?x).
+answer(rounded, ?x) :- rounded(-1.5, ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- smallest_divisor_from(17, 2, ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(sqrt(-1, ?x)).

package/test/conformance/cases/atoms/angle_iri_percent_encoded.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(<https://example.org/a%20b?x=1#frag>).

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

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+'<=>'(ok).
+answer(ok) :- '<=>'(ok).

package/test/conformance/cases/atoms/graphic_less_than_atom.eye

@@ -0,0 +1,4 @@
+% A lone graphic < remains a graphic atom, not an IRI opener.
+materialize(answer, 1).
+seed(<).
+answer(?x) :- seed(?x).

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

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+'<urn:example:predicate>'(ok).
+answer(ok) :- '<urn:example:predicate>'(ok).

package/test/conformance/cases/atoms/iri_mailto_readback.eye

@@ -0,0 +1,4 @@
+% Non-http absolute IRI atoms are ordinary atoms.
+materialize(answer, 1).
+seed(<mailto:alice@example.org>).
+answer(?x) :- seed(?x).

package/test/conformance/cases/atoms/iri_query_fragment_readback.eye

@@ -0,0 +1,4 @@
+% Query strings and fragments are part of the IRI atom text.
+materialize(answer, 1).
+seed(<https://example.org/path?x=1#frag>).
+answer(?x) :- seed(?x).

package/test/conformance/cases/atoms/iri_urn_readback.eye

@@ -0,0 +1,4 @@
+% URN IRI atoms read back in angle-bracket form.
+materialize(answer, 1).
+seed(<urn:example:alpha>).
+answer(?x) :- seed(?x).

package/test/conformance/cases/atoms/quoted_relative_iri_not_angle.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer('example:relative').

package/test/conformance/cases/atoms/quoted_urn_iri_readback.eye

@@ -0,0 +1,4 @@
+% Quoted absolute IRI atoms use canonical angle-bracket read-back.
+materialize(answer, 1).
+seed('urn:example:quoted').
+answer(?x) :- seed(?x).

package/test/conformance/cases/builtins/atom_string_iri_atom.eye

@@ -0,0 +1,3 @@
+% atom_string/2 converts an IRI atom to its lexical string.
+materialize(answer, 1).
+answer(?text) :- atom_string(<urn:example:a>, ?text).

package/test/conformance/cases/builtins/eq_unifies_iri_atoms.eye

@@ -0,0 +1,3 @@
+% eq/2 unifies angle and quoted spellings of the same absolute IRI atom.
+materialize(answer, 1).
+answer(ok) :- eq(<urn:example:a>, 'urn:example:a').

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- holds((likes(alice, tea), likes(bob, coffee)), likes(alice, tea)).

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(?name, ?left, ?right) :- holds((edge(a, b), label(a, "A")), ?name, [?left, ?right]).

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

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

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

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+item(a).
+item(b).
+good(a).
+answer(ok) :- not(forall(item(?x), good(?x))).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- forall(missing(?x), fail(?x)).

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

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+item(a).
+item(b).
+blocked(b).
+answer(?x) :- item(?x), not(blocked(?x)).

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

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+choice(a).
+choice(b).
+answer(?x) :- once(choice(?x)).

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

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+det(answer, 1).
+semidet(aux, 1).
+aux(ok).
+answer(ok) :- aux(ok).

package/test/conformance/cases/declarations/mode_ignored_when_arity_mismatch.eye

@@ -0,0 +1,5 @@
+% Invalid advisory mode length is ignored as metadata but remains a fact.
+materialize(answer, 1).
+mode(edge, 2, [in]).
+edge(a, b).
+answer(ok) :- mode(edge, 2, [in]), edge(a, b).

package/test/conformance/cases/declarations/table_is_also_fact.eye

@@ -0,0 +1,4 @@
+% Declarations remain ordinary facts unless materialized output excludes them.
+materialize(answer, 2).
+table(path, 2).
+answer(?name, ?arity) :- table(?name, ?arity).

package/test/conformance/cases/lists/empty_list_term.eye

@@ -0,0 +1,4 @@
+% The empty list is a first-class term.
+materialize(answer, 1).
+seed([]).
+answer(?x) :- seed(?x).

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

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+answer(head, ?x) :- head([a, b, c], ?x).
+answer(rest, ?x) :- rest([a, b, c], ?x).
+answer(last, ?x) :- last([a, b, c], ?x).

package/test/conformance/cases/lists/improper_list_readback.eye

@@ -0,0 +1,4 @@
+% Improper lists preserve their tail in read-back.
+materialize(answer, 1).
+seed([a, b | tail]).
+answer(?x) :- seed(?x).

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

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(empty, ?x) :- length([], ?x).
+answer(nested, ?x) :- length([[a], [b, c]], ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- list_to_set([pair(a, 1), pair(a, 1), pair(a, 2)], ?x).

package/test/conformance/cases/lists/list_with_iri_atoms.eye

@@ -0,0 +1,4 @@
+% Lists can contain IRI atoms directly.
+materialize(answer, 1).
+seed([<urn:example:a>, <urn:example:b>]).
+answer(?x) :- seed(?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(min_list([], ?x)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- nth0(2, [a, b, c], c).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(nth0(5, [a], ?x)).

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(?item, ?rest) :- select(?item, [a, b, a], ?rest).

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

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

package/test/conformance/cases/lists/slice_middle.eye

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(slice([a], 1, 2, ?x)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- sort([b(2), a(3), a(1)], ?x).

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

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

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

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+answer(sum, ?x) :- sum_list([5, -2, 7], ?x).
+answer(min, ?x) :- min_list([5, -2, 7], ?x).
+answer(max, ?x) :- max_list([5, -2, 7], ?x).

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

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(take, ?x) :- take(0, [a, b], ?x).
+answer(drop, ?x) :- drop(2, [a, b], ?x).

package/test/conformance/cases/materialize/arity_specific_outputs.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+answer(one).
+answer(two, ignored).
+answer(three, ignored, ignored).

package/test/conformance/cases/materialize/source_facts_suppressed.eye

@@ -0,0 +1,5 @@
+% materialize/2 prints derived answers, not source facts for the same predicate.
+materialize(answer, 1).
+seed(a).
+answer(source).
+answer(?x) :- seed(?x).

package/test/conformance/cases/negation/not_known_goal_fails.eye

@@ -0,0 +1,4 @@
+% Negation fails when its inner goal succeeds.
+materialize(answer, 1).
+seen(a).
+answer(ok) :- not(seen(a)).

package/test/conformance/cases/negation/not_unknown_goal_succeeds.eye

@@ -0,0 +1,3 @@
+% Negation succeeds when its inner goal has no solution.
+materialize(answer, 1).
+answer(ok) :- not(missing(fact)).

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

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+parent(alice, bob).
+parent(bob, clara).
+answer(?x, ?z) :- parent(?x, ?y), parent(?y, ?z).

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?atom) :- atom_string(?atom, "hello_world").

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

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(lower, ?x) :- lowercase("HelloWorld", ?x).
+answer(upper, ?x) :- uppercase(helloWorld, ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- contains("abc", "").

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?text) :- join([a, "b", 3], "-", ?text).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- matches("beta", "alpha|beta").

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(?first, ?last) :- matches("Ada Lovelace", "^(?<first>[A-Za-z]+) (?<last>[A-Za-z]+)$", ?ctx), holds(?ctx, first, ?first), holds(?ctx, last, ?last).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not_matches("abc", "x|y").

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?n) :- number_string(?n, "42").

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(number_string(?n, "four")).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?text) :- replace("abc", "", "X", ?text).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?parts) :- split("abc", ",", ?parts).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(substring("abc", 2, 5, ?text)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?text) :- substring("abcdef", 2, 0, ?text).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?text) :- term_string(pair(<urn:example:a>, [1, two]), ?text).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x) :- trim("  hello  ", ?x).

package/test/conformance/cases/syntax/comments_inside_program.eye

@@ -0,0 +1,4 @@
+% Leading comment.
+materialize(answer, 1). % trailing comment
+
+answer(ok). % another trailing comment

package/test/conformance/cases/syntax/parenthesized_query_style_body.eye

@@ -0,0 +1,5 @@
+% Parentheses may group a body conjunction without changing meaning.
+materialize(answer, 1).
+a(ok).
+b(ok).
+answer(?x) :- (a(?x), b(?x)).

package/test/conformance/cases/syntax/quoted_atom_with_newline_escape.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+answer('line
+break').

package/test/conformance/cases/syntax/string_with_tab_escape.eye

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

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

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

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

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(first, ?x) :- arg(1, pair(a, b), ?x).
+answer(second, ?x) :- arg(2, pair(a, b), ?x).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(arg(0, pair(a, b), ?x)).

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

@@ -0,0 +1,3 @@
+% compound_name_arguments/3 observes atoms as name plus empty argument list.
+materialize(answer, 2).
+answer(?name, ?args) :- compound_name_arguments(nil, ?name, ?args).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(compound_name_arguments(?x, pair, [a | b])).

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

@@ -0,0 +1,3 @@
+% Building a term with an empty argument list yields an atom, not nil().
+materialize(answer, 1).
+answer(?term) :- compound_name_arguments(?term, nil, []).

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(?name, ?args) :- compound_name_arguments(<urn:example:a>, ?name, ?args).

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

@@ -0,0 +1,3 @@
+% Atoms are zero-arity terms for functor/3.
+materialize(answer, 2).
+answer(?name, ?arity) :- functor(nil, ?name, ?arity).

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

@@ -0,0 +1,3 @@
+materialize(answer, 3).
+answer(number, ?name, ?arity) :- functor(42, ?name, ?arity).
+answer(string, ?name, ?arity) :- functor("hi", ?name, ?arity).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?text) :- term_string([<urn:example:a>, <urn:example:b>], ?text).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(eq(pair(a), pair(a, b))).

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

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

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

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

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

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+answer(atom_number) :- eq(a, "a").
+answer(number_string) :- eq(7, "7").

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

@@ -0,0 +1,4 @@
+% Each ?_ occurrence is fresh, so these two goals do not have to agree.
+materialize(answer, 1).
+pair(a, b).
+answer(ok) :- pair(?_, ?_).

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

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+helper(a).
+helper(b).
+answer(?x) :- helper(?x).
+answer(?x) :- helper(?x), eq(?x, c).

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

@@ -0,0 +1,4 @@
+% The question mark, not letter case, marks variables.
+materialize(answer, 1).
+item(ok).
+answer(?X) :- item(?X).