eyelang 1.7.4 → 1.7.6

package/README.md

@@ -63,6 +63,7 @@ python3 -m http.server
 npm test
 npm run test:conformance
 npm run conformance:report
+# release preparation writes conformance-report.md via the preversion script
 npm run test:examples
 npm run test:regression
 ```

package/conformance-report.md

@@ -0,0 +1,26 @@
+# Conformance Eyelang report
+
+This report summarizes the file-based conformance corpus under `test/conformance/`.
+
+| Category | Positive | Errors | Warnings | Proofs | Total |
+|---|---:|---:|---:|---:|---:|
+| aggregation | 5 | 0 | 0 | 0 | 5 |
+| arithmetic | 12 | 0 | 0 | 0 | 12 |
+| atoms | 14 | 5 | 0 | 0 | 19 |
+| builtins | 2 | 0 | 0 | 0 | 2 |
+| context | 3 | 0 | 0 | 0 | 3 |
+| control | 5 | 0 | 0 | 0 | 5 |
+| declarations | 5 | 0 | 0 | 0 | 5 |
+| legacy-numbered | 104 | 0 | 0 | 0 | 104 |
+| lists | 18 | 1 | 0 | 0 | 19 |
+| materialize | 2 | 0 | 0 | 0 | 2 |
+| negation | 3 | 0 | 13 | 0 | 16 |
+| proofs | 0 | 0 | 0 | 8 | 8 |
+| rules | 2 | 1 | 0 | 0 | 3 |
+| strings | 15 | 0 | 0 | 0 | 15 |
+| syntax | 4 | 19 | 0 | 0 | 23 |
+| table | 2 | 0 | 0 | 0 | 2 |
+| terms | 10 | 1 | 0 | 0 | 11 |
+| unification | 4 | 0 | 0 | 0 | 4 |
+| variables | 8 | 8 | 0 | 0 | 16 |
+| **Total** | **218** | **35** | **13** | **8** | **274** |

package/docs/guide.md

@@ -503,7 +503,9 @@ Summarize the conformance corpus by category:
 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 `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.
+Release preparation runs the same report and writes [`conformance-report.md`](../conformance-report.md), so each published package carries a current conformance summary.
+
+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/`; proof cases pair `proofs/<name>.eye` with exact `--proof` output under `expected-proofs/`. 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, standard warnings, and the machine-readable `why/2` proof-output contract. 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
 
@@ -531,7 +533,8 @@ For a release:
 2. update `README.md` and the language reference;
 3. regenerate golden outputs if behavior changed;
 4. run `npm run test:eyelang`;
-5. publish the repository with the browser playground assets if publishing the playground. The playground includes controls equivalent to CLI `--stats` and `--proof`.
+5. run `npm run conformance:report -- conformance-report.md`;
+6. publish the repository with the browser playground assets if publishing the playground. The playground includes controls equivalent to CLI `--stats` and `--proof`.
 
 ## Relationship to Eyeling
 

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.4",
+  "version": "1.7.6",
   "description": "A small Prolog-like logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -30,6 +30,7 @@
     "playground.html",
     "bin",
     "src",
+    "conformance-report.md",
     "docs",
     "examples",
     "test"
@@ -43,7 +44,7 @@
     "test:conformance": "node test/run-conformance.mjs",
     "test:examples": "node test/run-examples.mjs",
     "test:regression": "node test/run-regression.mjs",
-    "preversion": "npm test",
+    "preversion": "npm test && npm run conformance:report -- conformance-report.md",
     "postversion": "git push origin HEAD --follow-tags",
     "conformance:report": "node test/run-conformance-report.mjs"
   }

package/test/conformance/README.md

@@ -2,7 +2,7 @@
 
 This directory contains the executable conformance cases for the Eyelang language and reference engine. The normative language description is in the [Eyelang language reference](../../../docs/language-reference.md).
 
-The suite is intentionally file-based so another implementation can run the same programs and compare exact standard output, expected errors, and expected warnings. The conformance corpus is part of the public language contract, not just an implementation smoke test.
+The suite is intentionally file-based so another implementation can run the same programs and compare exact standard output, expected errors, expected warnings, and expected proof output. The conformance corpus is part of the public language contract, not just an implementation smoke test.
 
 A normal positive case consists of:
 
@@ -20,7 +20,12 @@ 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.
+Expected-proof cases consist of:
+
+- `conformance/proofs/<name>.eye` — input program run through the CLI with `--proof`;
+- `conformance/expected-proofs/<name>.eye` — exact expected standard output, including both answer facts and `why/2` proof facts.
+
+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
 
@@ -40,6 +45,7 @@ Summarize conformance coverage by category:
 
 ```sh
 npm run conformance:report
+npm run conformance:report -- conformance-report.md
 ```
 
 Run matching conformance cases by passing a filename or directory fragment:
@@ -51,14 +57,14 @@ node test/run-conformance.mjs variables/
 node test/run-conformance.mjs error/variables
 ```
 
-The runner executes normal materialized programs in-process through the public JavaScript API so small conformance cases avoid measuring Node startup overhead. Warning cases intentionally use the CLI because warning output is a host-interface contract.
+The runner executes normal materialized programs in-process through the public JavaScript API so small conformance cases avoid measuring Node startup overhead. Warning and proof cases intentionally use the CLI because warning output and `why/2` proof output are host-interface contracts.
 
 ## Scope
 
-The conformance corpus is a single eyelang suite. It covers the standard language described by the language reference: lexical syntax, facts, definite clauses, first-order terms, lists, conjunction, structured unification, left-to-right goal-directed proof search, materialized output, read-back printing, standard built-ins, declarations, warnings, errors, and standard host behavior.
+The conformance corpus is a single eyelang suite. It covers the standard language described by the language reference: lexical syntax, facts, definite clauses, first-order terms, lists, conjunction, structured unification, left-to-right goal-directed proof search, materialized output, read-back printing, standard built-ins, declarations, warnings, errors, proof output, and standard host behavior.
 
 The suite deliberately does not separate `core` and `extension` profiles. Reusable built-ins such as arithmetic, strings, lists, aggregation, context terms, term inspection, and search control are part of the standard eyelang conformance surface. Implementation-specific built-ins may still exist in downstream hosts, but they should have their own tests outside this corpus unless they are standardized.
 
 ## Updating expected output
 
-There is no committed auto-accept mode. To update an expected file, run the matching case with the conformance runner, inspect the result, and replace the corresponding file under `conformance/expected/`, `conformance/expected-errors/`, or `conformance/expected-warnings/` deliberately.
+There is no committed auto-accept mode. To update an expected file, run the matching case with the conformance runner, inspect the result, and replace the corresponding file under `conformance/expected/`, `conformance/expected-errors/`, `conformance/expected-warnings/`, or `conformance/expected-proofs/` deliberately.

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/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/quoted_relative_iri_not_angle.eye

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

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/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/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/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/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,3 @@
+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/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_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_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_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/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_variable_digits_and_underscore.eye

@@ -1,4 +1,2 @@
-% Variable names may continue with digits and underscores after the leading name character.
-materialize(answer, 2).
-pair(a, b).
-answer(?x_1, ?y2) :- pair(?x_1, ?y2).
+materialize(answer, 1).
+answer(?x_1) :- eq(?x_1, ok).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?X) :- eq(?X, ok).

package/test/conformance/errors/atoms/hash_comment_not_atom_at_line_start.eye

@@ -0,0 +1 @@
+#bad(ok).

package/test/conformance/errors/lists/missing_list_tail.eye

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

package/test/conformance/errors/rules/rule_head_cannot_be_empty_parentheses.eye

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+answer(<relative>).

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

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

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

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

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

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

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

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

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

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