eyelang 1.7.4 → 1.7.5

package/docs/guide.md

@@ -503,7 +503,7 @@ 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.
+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
 

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.5",
   "description": "A small Prolog-like logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",

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
 

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,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/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).

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

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

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

@@ -0,0 +1 @@
+answer(ex.example).

package/test/conformance/errors/variables/bare_underscore_in_list_rejected.eye

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

package/test/conformance/errors/variables/bare_underscore_name_in_compound_rejected.eye

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

package/test/conformance/errors/variables/uppercase_in_body_rejected.eye

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

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

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

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

@@ -0,0 +1 @@
+answer(score(1), b).

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,2 @@
+answer(add, 3.75).
+answer(div, 3).

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

@@ -0,0 +1,2 @@
+answer(min, 2.5).
+answer(max, 3.0).

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

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

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

@@ -0,0 +1,2 @@
+answer(neg, -7).
+answer(abs, 7).

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

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

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

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

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

@@ -0,0 +1,4 @@
+answer(floor, -2).
+answer(ceiling, -1).
+answer(trunc, -1).
+answer(rounded, -1).

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

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

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

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

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

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

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

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

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

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