npm - eyeling - Versions diffs - 1.32.0 → 1.33.0 - Mend

eyeling 1.32.0 → 1.33.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (630) hide show

package/test/builtins.test.js CHANGED Viewed

@@ -159,6 +159,8 @@ const cases = [
 @prefix : <http://example.org/datatype-tests#> .
 @prefix dt: <https://eyereasoner.github.io/eyeling/datatype#> .
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 { "01"^^xsd:integer dt:datatype ?d . } => { :integer :datatype ?d } .
@@ -166,20 +168,39 @@ const cases = [
 { "hello"@en dt:language ?lang . } => { :language :tag ?lang } .
 { "plain" dt:datatype ?d . } => { :plain :datatype ?d } .
 { "hello"@EN dt:datatype ?d . } => { :langString :datatype ?d } .
+{ "hello@en"^^rdf:PlainLiteral dt:datatype ?d . } => { :plainLiteral :datatype ?d } .
 { "1"^^xsd:integer dt:validForDatatype xsd:integer . } => { :valid :integer true } .
+{ "hello@en"^^rdf:PlainLiteral dt:validForDatatype rdf:PlainLiteral . } => { :valid :plainLiteral true } .
+{ "abc@"^^rdf:PlainLiteral dt:validForDatatype rdf:PlainLiteral . } => { :valid :plainLiteralEmptyTag true } .
+{ "<a/>"^^rdf:XMLLiteral dt:validForDatatype rdf:XMLLiteral . } => { :valid :xmlLiteral true } .
+{ "anything" dt:validForDatatype rdfs:Literal . } => { :valid :rdfsLiteral true } .
 { "2147483648"^^xsd:int dt:invalidForDatatype xsd:int . } => { :invalid :int true } .
 { "2"^^xsd:boolean dt:invalidForDatatype xsd:boolean . } => { :invalid :boolean true } .
 { "2026-02-31T00:00:00Z"^^xsd:dateTime dt:invalidForDatatype xsd:dateTime . } => { :invalid :dateTime true } .
 { " 1.0 "^^xsd:decimal dt:invalidForDatatype xsd:decimal . } => { :invalid :decimalWhitespace true } .
 { "02026-06-10T12:00:00Z"^^xsd:dateTime dt:invalidForDatatype xsd:dateTime . } => { :invalid :dateTimeYear true } .
+{ "http://example.org/a b"^^xsd:anyURI dt:invalidForDatatype xsd:anyURI . } => { :invalid :anyURI true } .
+{ ":abc"^^xsd:anyURI dt:invalidForDatatype xsd:anyURI . } => { :invalid :anyURIRelativeColon true } .
+{ "3.5E38"^^xsd:float dt:invalidForDatatype xsd:float . } => { :invalid :floatHigh true } .
+{ "1.0E-46"^^xsd:float dt:invalidForDatatype xsd:float . } => { :invalid :floatLow true } .
+{ "a  b"^^xsd:token dt:invalidForDatatype xsd:token . } => { :invalid :token true } .
+{ "hello"^^rdf:PlainLiteral dt:invalidForDatatype rdf:PlainLiteral . } => { :invalid :plainLiteralNoTag true } .
+{ "hello@bad_tag"^^rdf:PlainLiteral dt:invalidForDatatype rdf:PlainLiteral . } => { :invalid :plainLiteralBadTag true } .
+{ "<a>"^^rdf:XMLLiteral dt:invalidForDatatype rdf:XMLLiteral . } => { :invalid :xmlLiteral true } .
 { "01"^^xsd:integer dt:sameValueAs "1.0"^^xsd:decimal . } => { :same :numeric true } .
+{ "hello@EN"^^rdf:PlainLiteral dt:sameValueAs "hello@en"^^rdf:PlainLiteral . } => { :same :plainLiteral true } .
 { "true"^^xsd:boolean dt:sameValueAs "1"^^xsd:boolean . } => { :same :boolean true } .
 { "2026-06-10T12:00:00Z"^^xsd:dateTime dt:sameValueAs "2026-06-10T14:00:00+02:00"^^xsd:dateTime . } => { :same :dateTime true } .
 { "2026-12-31T24:00:00Z"^^xsd:dateTime dt:sameValueAs "2027-01-01T00:00:00Z"^^xsd:dateTime . } => { :same :midnightRollover true } .
 { "AQID"^^xsd:base64Binary dt:sameValueAs "010203"^^xsd:hexBinary . } => { :same :binary true } .
+{ "<a/>"^^rdf:XMLLiteral dt:sameValueAs "<a/>"^^rdf:XMLLiteral . } => { :same :xmlLiteral true } .
 { "11"^^xsd:integer dt:differentValueFrom "12"^^xsd:integer . } => { :different :numeric true } .
+{ "hello@en"^^rdf:PlainLiteral dt:differentValueFrom "bye@en"^^rdf:PlainLiteral . } => { :different :plainLiteral true } .
+{ "a" dt:differentValueFrom "b" . } => { :different :string true } .
+{ "a" dt:datatype ?sd . ?sd <http://www.w3.org/2000/10/swap/log#notEqualTo> xsd:string . } => { :string :comparisonDatatype ?sd } .
+{ "<a/>"^^rdf:XMLLiteral dt:differentValueFrom "<b/>"^^rdf:XMLLiteral . } => { :different :xmlLiteral true } .
 { ("1"^^xsd:integer xsd:integer) dt:validForDatatype true . } => { :tuple :valid true } .
 { ("abc"^^xsd:integer xsd:integer) dt:validForDatatype false . } => { :tuple :invalidBoolean true } .
@@ -187,9 +208,14 @@ const cases = [
 { "01"^^xsd:integer dt:canonicalLiteral ?ci . } => { :canonical :integer ?ci } .
 { "1"^^xsd:boolean dt:canonicalLiteral ?cb . } => { :canonical :boolean ?cb } .
-{ " a\t b "^^xsd:token dt:canonicalLiteral ?ct . } => { :canonical :token ?ct } .
+{ "a b"^^xsd:token dt:canonicalLiteral ?ct . } => { :canonical :token ?ct } .
+{ "hello@EN"^^rdf:PlainLiteral dt:canonicalLiteral ?cp . } => { :canonical :plainLiteral ?cp } .
+{ "<a/>"^^rdf:XMLLiteral dt:canonicalLiteral ?cx . } => { :canonical :xmlLiteral ?cx } .
 { "2026-06-10T14:00:00+02:00"^^xsd:dateTime dt:canonicalLiteral ?cd . } => { :canonical :dateTime ?cd } .
 { "2026-12-31T24:00:00Z"^^xsd:dateTime dt:canonicalLiteral ?cm . } => { :canonical :midnightRollover ?cm } .
+:x owl:differentFrom :x .
+{ :x owl:sameAs :x . } => { :sameAs :reflexive true } .
 `);
       assert.match(out, /:integer :datatype xsd:integer \./);
@@ -197,26 +223,48 @@ const cases = [
       assert.match(out, /:language :tag "en" \./);
       assert.match(out, /:plain :datatype xsd:string \./);
       assert.match(out, /:langString :datatype rdf:langString \./);
+      assert.match(out, /:plainLiteral :datatype rdf:PlainLiteral \./);
       assert.match(out, /:valid :integer true \./);
+      assert.match(out, /:valid :plainLiteral true \./);
+      assert.match(out, /:valid :plainLiteralEmptyTag true \./);
+      assert.match(out, /:valid :xmlLiteral true \./);
+      assert.match(out, /:valid :rdfsLiteral true \./);
       assert.match(out, /:invalid :int true \./);
       assert.match(out, /:invalid :boolean true \./);
       assert.match(out, /:invalid :dateTime true \./);
       assert.match(out, /:invalid :decimalWhitespace true \./);
       assert.match(out, /:invalid :dateTimeYear true \./);
+      assert.match(out, /:invalid :anyURI true \./);
+      assert.match(out, /:invalid :anyURIRelativeColon true \./);
+      assert.match(out, /:invalid :floatHigh true \./);
+      assert.match(out, /:invalid :floatLow true \./);
+      assert.match(out, /:invalid :token true \./);
+      assert.match(out, /:invalid :plainLiteralNoTag true \./);
+      assert.match(out, /:invalid :plainLiteralBadTag true \./);
+      assert.match(out, /:invalid :xmlLiteral true \./);
       assert.match(out, /:same :numeric true \./);
+      assert.match(out, /:same :plainLiteral true \./);
       assert.match(out, /:same :boolean true \./);
       assert.match(out, /:same :dateTime true \./);
       assert.match(out, /:same :midnightRollover true \./);
       assert.match(out, /:same :binary true \./);
+      assert.match(out, /:same :xmlLiteral true \./);
       assert.match(out, /:different :numeric true \./);
+      assert.match(out, /:different :plainLiteral true \./);
+      assert.match(out, /:different :string true \./);
+      assert.match(out, /:string :comparisonDatatype rdfs:Literal \./);
+      assert.match(out, /:different :xmlLiteral true \./);
       assert.match(out, /:tuple :valid true \./);
       assert.match(out, /:tuple :invalidBoolean true \./);
       assert.match(out, /:tuple :invalidResult true \./);
       assert.match(out, /:canonical :integer "1"\^\^xsd:integer \./);
       assert.match(out, /:canonical :boolean true \./);
       assert.match(out, /:canonical :token "a b"\^\^xsd:token \./);
+      assert.match(out, /:canonical :plainLiteral "hello@en"\^\^rdf:PlainLiteral \./);
+      assert.match(out, /:canonical :xmlLiteral "<a\/>"\^\^rdf:XMLLiteral \./);
       assert.match(out, /:canonical :dateTime "2026-06-10T12:00:00Z"\^\^xsd:dateTime \./);
       assert.match(out, /:canonical :midnightRollover "2027-01-01T00:00:00Z"\^\^xsd:dateTime \./);
+      assert.match(out, /:sameAs :reflexive true \./);
     },
   },
   {

package/test/eyelang/conformance/README.md ADDED Viewed

@@ -0,0 +1,45 @@
+# eyelang conformance suite
+This directory contains the executable conformance cases for the eyelang language and reference engine. The normative language description is in [`../SPEC.md`](../SPEC.md).
+The suite is intentionally file-based so another implementation can run the same programs and compare exact standard output. A case consists of:
+- `conformance/cases/<profile>/<name>.pl` — input program;
+- `conformance/expected/<profile>/<name>.out` — exact expected standard output.
+The current runner compares standard output from normal execution. Proof explanations are opt-in in the CLI and are not part of these conformance goldens. Standard error, performance, and resource limits are outside this suite.
+## Running the suite
+Run all tests, including conformance, regression, examples, and style checks:
+```sh
+npm test
+```
+Run only the conformance suite:
+```sh
+npm run test:conformance
+```
+Run a single conformance profile directly:
+```sh
+node test/run-conformance.js core
+node test/run-conformance.js extension
+```
+The runner executes materialized programs in-process through the public JavaScript API so small conformance cases avoid measuring Node startup overhead.
+## Profiles
+`core` covers the portable core language profile from `../SPEC.md`: lexical syntax, facts, definite clauses, first-order terms, lists, conjunction, structured unification through user predicates, left-to-right goal-directed proof search, materialized output, and read-back printing.
+`extension` covers the standard built-in and host behavior exercised by the current reference implementation: arithmetic, comparison, strings, list relations, aggregation, formula-term helpers, number-theory helpers, finite-search helpers, matrix helpers, `memoize/2`, `materialize/2`, and default derived output.
+The profile name `extension` is a test-suite grouping name. It does not mean that these cases are outside the eyelang specification; most of them correspond to the standard built-in profile and standard host profile in `../SPEC.md`.
+## 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/<profile>/` deliberately.

package/test/eyelang/conformance/cases/core/001_fact_output.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 6, 7, 11: facts can be exposed through a materialized derived predicate.
+materialize(parent, 2).
+base_parent(pat, jan).
+parent(X, Y) :- base_parent(X, Y).

package/test/eyelang/conformance/cases/core/001_fact_query.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ parent(pat, X)

package/test/eyelang/conformance/cases/core/002_rule_recursion.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 6, 7: definite clauses, conjunction, and recursive proof search.
+materialize(ancestor, 2).
+parent(pat, jan).
+parent(jan, emma).
+ancestor_any(X, Y) :- parent(X, Y).
+ancestor_any(X, Z) :- parent(X, Y), ancestor_any(Y, Z).
+ancestor(pat, Y) :- ancestor_any(pat, Y).

package/test/eyelang/conformance/cases/core/002_rule_recursion.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ ancestor(pat, X)

package/test/eyelang/conformance/cases/core/003_terms_and_readback.pl ADDED Viewed

@@ -0,0 +1,16 @@
+% SPEC 3, 5, 11: scalars, compounds, lists, and read-back printing.
+materialize(value, 2).
+raw_value(atom, pat).
+raw_value(quoted_atom, 'atom with spaces').
+raw_value(quoted_quote, 'needs''quote').
+raw_value(empty_atom, '').
+raw_value(string, "line\nquote: \"ok\"").
+raw_value(integer, -42).
+raw_value(decimal, 0.25).
+raw_value(scientific, 1.25e-3).
+raw_value(compound, pair(3, nested(atom, [x, y]))).
+raw_value(zero_arity, nil()).
+raw_value(empty_list, []).
+raw_value(proper_list, [a, b, c]).
+raw_value(improper_list, [a, b | tail]).
+value(K, V) :- raw_value(K, V).

package/test/eyelang/conformance/cases/core/003_terms_and_readback.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ value(K, V)

package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 5.5, 7: parenthesized comma terms are conjunctions in goal position.
+p(a).
+q(a).
+ok(X, yes) :- (p(X), q(X)).
+materialize(ok, 2).

package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ ok(X, Y)

package/test/eyelang/conformance/cases/core/005_list_deconstruction.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 5.4, 12.1: list syntax and unification in rule heads.
+first([X | _Rest], X).
+tail([_Head | Tail], Tail).
+answer(first, X) :- first([a, b, c], X).
+answer(tail, Tail) :- tail([a, b, c], Tail).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/005_list_deconstruction.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/006_comma_formula_data.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 5.5: comma terms remain data outside goal position.
+record((name(alice, "Alice"), knows(alice, bob))).
+answer(formula, F) :- record(F).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/006_comma_formula_data.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/007_anonymous_variables.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 3.4, 5.1, 7.1: each anonymous variable occurrence is fresh.
+pair(a, one).
+pair(b, two).
+answer(fresh, yes) :- pair(a, _), pair(b, _).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/007_anonymous_variables.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/008_graphic_atoms.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 3.5, 5.2, 11: graphic atom constants are scalar terms.
+materialize(value, 2).
+raw_value(hash, #).
+raw_value(arrow, =>).
+raw_value(comparison, =<).
+value(K, V) :- raw_value(K, V).

package/test/eyelang/conformance/cases/core/008_graphic_atoms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ value(K, V)

package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 3.2, 3.6: comments are ignored outside quoted text and atoms.
+  item(quoted_percent, "% not a comment").    % trailing comment
+item(quoted_atom, 'has % sign').
+answer(K, V) :- item(K, V).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.pl ADDED Viewed

@@ -0,0 +1,8 @@
+% SPEC 5.1, 7.1: variable occurrences are scoped per clause and reused within a clause.
+edge(a, b).
+edge(b, c).
+edge(c, d).
+two_step(X, Z) :- edge(X, Y), edge(Y, Z).
+answer(from_a, Z) :- two_step(a, Z).
+answer(from_b, Z) :- two_step(b, Z).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/011_predicate_arity.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 6: predicate name and arity both identify a predicate group.
+p(a).
+p(a, b).
+answer(unary, X) :- p(X).
+answer(binary, pair(X, Y)) :- p(X, Y).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/011_predicate_arity.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/012_nested_compound_unification.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 5.3, 7.1: unification follows nested compound term structure.
+fact(pair(a, nested(b, [c, d]))).
+answer(middle, X) :- fact(pair(a, nested(X, [c, d]))).
+answer(list_tail, T) :- fact(pair(a, nested(b, [c | T]))).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/012_nested_compound_unification.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 6, 7: multiple clauses for one predicate are explored as alternatives.
+color(red).
+color(blue).
+paint(X) :- color(X).
+answer(color, X) :- paint(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/014_failure_filters_answers.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 7.2: a failing subgoal removes that candidate answer.
+candidate(a).
+candidate(b).
+allowed(a).
+answer(X, ok) :- candidate(X), allowed(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/014_failure_filters_answers.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(X, V)

package/test/eyelang/conformance/cases/core/015_improper_list_unification.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 5.4: improper list surface syntax unifies with head-tail structure.
+cell([head | tail], head, tail).
+answer(list, L) :- cell(L, head, tail).
+answer(head, H) :- cell([H | tail], H, tail).
+answer(tail, T) :- cell([head | T], head, T).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/015_improper_list_unification.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/016_zero_arity_compound.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 4, 5.3: zero-arity compounds are written and matched with parentheses.
+status(nil(), ok).
+answer(value, X) :- status(X, ok).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/016_zero_arity_compound.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/017_three_step_recursion.pl ADDED Viewed

@@ -0,0 +1,8 @@
+% SPEC 7: recursive definite clauses can derive paths beyond one step.
+link(a, b).
+link(b, c).
+link(c, d).
+path(X, Y) :- link(X, Y).
+path(X, Z) :- link(X, Y), path(Y, Z).
+answer(reachable, X) :- path(a, X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/017_three_step_recursion.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 3.5, 11: quoted atoms preserve spaces, quotes, and the empty atom.
+symbol('two words').
+symbol('needs''quote').
+symbol('').
+answer(symbol, X) :- symbol(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 5.5, 7: parenthesized comma terms with more than two members are conjunctions as goals.
+p(a).
+q(a).
+r(a).
+ok(X) :- (p(X), q(X), r(X)).
+answer(ok, X) :- ok(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/020_nested_list_terms.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 5.3, 5.4: lists may contain structured terms that unify positionally.
+node([pair(a, b), pair(c, d)]).
+answer(first_key, X) :- node([pair(X, _), pair(c, d)]).
+answer(second_key, X) :- node([pair(a, b), pair(X, d)]).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/020_nested_list_terms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/021_repeated_variable_head.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 5.1, 7.1: repeated variables in a rule body require the same term.
+pair(a, a).
+pair(a, b).
+pair(c, c).
+diagonal(X) :- pair(X, X).
+answer(diagonal, X) :- diagonal(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/022_rule_head_structure.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 5.3, 6, 7.1: structured rule heads destructure matching goals.
+unpack(pair(X, Y), X, Y).
+answer(first, A) :- unpack(pair(alpha, beta), A, _).
+answer(second, B) :- unpack(pair(alpha, beta), _, B).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/023_quoted_escapes_readback.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 3.5, 11: quoted strings and atoms preserve escape sequences at read-back.
+raw(string, "line\nnext\t\\slash").
+raw(atom, 'line\nnext\t\\slash').
+answer(K, V) :- raw(K, V).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/024_numeric_literal_readback.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 3.3, 11: signed, decimal, and exponent numeric literals retain lexical form.
+raw(negative_decimal, -3.5).
+raw(positive_exp, 6.02e23).
+raw(negative_exp, -1.0e-3).
+answer(K, V) :- raw(K, V).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/025_body_parentheses_with_formula_data.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 5.5, 7: formula data can be passed through parenthesized conjunctions.
+record((left(a), right(b))).
+accept((left(a), right(b))).
+answer(ok, F) :- (record(F), accept(F)).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/026_underscore_named_variable_reuse.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 3.4, 5.1: variables beginning with underscore are named variables unless exactly _.
+pair(a, a).
+pair(a, b).
+answer(shared, _Value) :- pair(_Value, _Value).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/001_default_derived_output.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 11: default output prints new ground binary derivations, not source facts.
+parent(pat, jan).
+parent(jan, emma).
+ancestor(X, Y) :- parent(X, Y).
+ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z).

package/test/eyelang/conformance/cases/extension/002_materialize_focus.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 10.2, 11: materialize/2 restricts selected default predicate groups.
+materialize(answer, 2).
+seed(a).
+helper(X, y) :- seed(X).
+answer(X, ok) :- helper(X, y).

package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.pl ADDED Viewed

@@ -0,0 +1,12 @@
+% SPEC 9.2, 9.3: arithmetic and comparison built-ins.
+answer(sum, X) :- add(2, 3, X).
+answer(diff, X) :- sub(7, 4, X).
+answer(product, X) :- mul(6, 7, X).
+answer(integer_division, X) :- div(7, 2, X).
+answer(remainder, X) :- mod(7, 2, X).
+answer(power, X) :- pow(2, 8, X).
+answer(minimum, X) :- min(3, 9, X).
+answer(maximum, X) :- max(3, 9, X).
+answer(less_than, true) :- lt(3, 9).
+answer(greater_equal, true) :- ge(9, 9).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 9.6: atom and string built-ins.
+answer(atom_concat, X) :- atom_concat(eye, lang, X).
+answer(str_concat, X) :- str_concat("eye", "lang", X).
+answer(contains, true) :- contains("eyelang", "lang").
+answer(not_contains, true) :- not_contains("eyelang", "cat").
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.pl ADDED Viewed

@@ -0,0 +1,10 @@
+% SPEC 9.7, 9.8: list, aggregation, and ordering built-ins.
+answer(member, X) :- member(X, [a, b]).
+answer(append, X) :- append([a], [b, c], X).
+answer(nth0, X) :- nth0(1, [a, b, c], X).
+answer(set_nth0, X) :- set_nth0(1, [a, b, c], x, X).
+answer(reverse, X) :- reverse([a, b, c], X).
+answer(length, N) :- length([a, b, c], N).
+answer(findall, X) :- findall(N, between(1, 3, N), X).
+answer(sort, X) :- sort([b, a, b], X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/006_formula_terms.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 9.9: formula_atom/2 and formula_binary/4 over comma formula data.
+formula((name(alice, "Alice"), knows(alice, bob))).
+answer(atom, A) :- formula(F), formula_atom(F, A).
+answer(binary, exposed(S, P, O)) :- formula(F), formula_binary(F, S, P, O).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/006_formula_terms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/007_negation_once_generators.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 9.5, 9.10: generators, negation as failure, and once/1.
+candidate(a).
+candidate(b).
+closed(b).
+answer(open, X) :- candidate(X), not(closed(X)).
+answer(first_between, X) :- once(between(2, 4, X)).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/007_negation_once_generators.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 9.1: eq/2 unifies terms and neq/2 succeeds on non-unifiable terms.
+answer(eq_variable, X) :- eq(X, pair(a, [b, c])).
+answer(eq_nested, true) :- eq(pair(X, X), pair(same, same)).
+answer(neq_atoms, true) :- neq(alice, bob).
+answer(neq_structures, true) :- neq(pair(a), pair(a, b)).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/009_list_relations.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 9.7: rest/2, select/3, not_member/2, and is_list/1.
+answer(rest, X) :- rest([a, b, c], X).
+answer(select, selected(X, R)) :- select(X, [a, b], R).
+answer(not_member, true) :- not_member(c, [a, b]).
+answer(is_list, true) :- is_list([a, b]).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/009_list_relations.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/010_append_splits.pl ADDED Viewed

@@ -0,0 +1,3 @@
+% SPEC 9.7: append/3 can enumerate proper prefix/suffix splits.
+answer(split, split(A, B)) :- append(A, B, [a, b]).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/010_append_splits.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 9.3, 9.6: lexical comparison and simple text matching.
+answer(matches, true) :- matches("eyelang", "eye").
+answer(not_matches, true) :- not_matches("eyelang", "cat").
+answer(lex_lt, true) :- lt(alpha, beta).
+answer(lex_gt, true) :- gt(beta, alpha).
+answer(numeric_le, true) :- le(2, 2).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/012_memoize_declaration.pl ADDED Viewed

@@ -0,0 +1,8 @@
+% SPEC 10.1: memoize/2 is a declaration and does not change answers.
+materialize(reach, 2).
+memoize(reach_any, 2).
+edge(a, b).
+edge(b, c).
+reach_any(X, Y) :- edge(X, Y).
+reach_any(X, Z) :- edge(X, Y), reach_any(Y, Z).
+reach(a, Y) :- reach_any(a, Y).

package/test/eyelang/conformance/cases/extension/012_memoize_declaration.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ reach(a, X)

package/test/eyelang/conformance/cases/extension/013_numeric_functions.pl ADDED Viewed

@@ -0,0 +1,9 @@
+% SPEC 9.2: scalar arithmetic functions return numeric values.
+answer(neg, X) :- neg(5, X).
+answer(abs, X) :- abs(-5, X).
+answer(rounded, X) :- rounded(2.6, X).
+answer(sin_zero, X) :- sin(0, X).
+answer(cos_zero, X) :- cos(0, X).
+answer(log_one, X) :- log(1, X).
+answer(float_division, X) :- div(7.0, 2.0, X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/013_numeric_functions.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/014_between_enumeration.pl ADDED Viewed

@@ -0,0 +1,3 @@
+% SPEC 9.5: between/3 enumerates every integer in an inclusive range.
+answer(n, X) :- between(3, 5, X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/014_between_enumeration.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/015_smallest_divisor.pl ADDED Viewed

@@ -0,0 +1,3 @@
+% SPEC 9.5: smallest_divisor_from/3 finds the first divisor at or above the start.
+answer(divisor, D) :- smallest_divisor_from(21, 2, D).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/015_smallest_divisor.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/016_negation_filter.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 9.10: not/1 succeeds when the subgoal has no proof.
+candidate(a).
+candidate(b).
+candidate(c).
+blocked(b).
+answer(open, X) :- candidate(X), not(blocked(X)).
+materialize(answer, 2).