eyeprolog 1.5.89 → 1.5.91

package/conformance-report.md

@@ -24,7 +24,7 @@ bytes, avoiding a second live fetch and its race window.
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
 | explicit-tabling | 6 | 0 | 0 | 0 | 6 |
-| iso | 211 | 219 | 0 | 0 | 430 |
+| iso | 251 | 219 | 0 | 0 | 470 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -37,7 +37,7 @@ bytes, avoiding a second live fetch and its race window.
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 7 | 0 | 0 | 23 |
-| **Total** | **533** | **274** | **19** | **21** | **847** |
+| **Total** | **573** | **274** | **19** | **21** | **887** |
 
 ## DCG conformance clarification
 

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.89",
+  "version": "1.5.91",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/test/conformance/README.md

@@ -138,7 +138,7 @@ Selected cases are adapted from the ISO and standard-core suites of Logtalk,
 Scryer Prolog, Trealla Prolog, and SWI-Prolog. Their upstream identifiers and licenses
 are recorded in [THIRD_PARTY.md](THIRD_PARTY.md).
 
-The corpus has 430 cases in `iso/` and 847 file-based conformance cases in total. Of those, 11 cases in `stc/` are explicitly labelled working-draft review evidence rather than normative ISO claims. The strict-reader WG17 syntax matrix is discovered dynamically and executed live by the Neumerkel gate, the same as its other seven TU Wien sources; release/report checks separately verify the tracked `NEUMERKEL-LATEST.md`. The generated `conformance-report.md` records local corpus totals and links to that live evidence. Together with regression, documentation-sync, API, example, and book-example checks, `npm test` is the release gate.
+The corpus has 470 cases in `iso/` and 887 file-based conformance cases in total. Of those, 11 cases in `stc/` are explicitly labelled working-draft review evidence rather than normative ISO claims. The strict-reader WG17 syntax matrix is discovered dynamically and executed live by the Neumerkel gate, the same as its other seven TU Wien sources; release/report checks separately verify the tracked `NEUMERKEL-LATEST.md`. The generated `conformance-report.md` records local corpus totals and links to that live evidence. Together with regression, documentation-sync, API, example, and book-example checks, `npm test` is the release gate.
 
 ## Updating expected output
 

package/test/conformance/THIRD_PARTY.md

@@ -36,6 +36,11 @@ adapted from `tests-pl/iso-conformity-tests.pl` in
 identifies the corresponding upstream test numbers. The cases were rewritten
 for EyeProlog's file-based query and exact-output harness.
 
+Additional operator-directive and control-construct error-condition cases
+under `iso/` are adapted from Scryer's `tests-pl/invalid_decl*.pl` and
+`tests-pl/issue831-call0.pl` regression fixtures. Each adapted file identifies
+its upstream source file.
+
 BSD 3-Clause License
 
 Copyright (c) 2016, Mark Thom

package/test/conformance/cases/iso/scryer_call_zero_arity.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/issue831-call0.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: call_zero_arity(X0)
+
+call_zero_arity(E) :-
+    catch(call, error(E, _), true).

package/test/conformance/cases/iso/scryer_current_predicate_after_existence_error.pl

@@ -0,0 +1,7 @@
+% Adapted from Scryer Prolog tests-pl/issue3370_current_predicate_call.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: current_predicate_after_existence_error(X0)
+
+current_predicate_after_existence_error(R) :-
+    catch(call(foo_undefined, 1), _, true),
+    ( current_predicate(foo_undefined/1) -> R = defined ; R = not_defined ).

package/test/conformance/cases/iso/scryer_current_prolog_flag_shared_var.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/issue2914.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: current_prolog_flag_shared_var(X0)
+
+current_prolog_flag_shared_var(R) :-
+    ( current_prolog_flag(X, X) -> R = true ; R = false ).

package/test/conformance/cases/iso/scryer_op_bar_prefix_permission.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl15.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_bar_prefix_permission(X0)
+
+op_bar_prefix_permission(E) :-
+    catch(op(1150, fx, '|'), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_name_list_unbound_element.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl11.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_name_list_unbound_element(X0)
+
+op_name_list_unbound_element(E) :-
+    catch(op(10, xf, [example, _]), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_name_type_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl3.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_name_type_error(X0)
+
+op_name_type_error(E) :-
+    catch(op(5, xfx, example(a, b)), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_specifier_type_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl7.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_specifier_type_error(X0)
+
+op_specifier_type_error(E) :-
+    catch(op(10, 42, example), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_wrong_arity_existence_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl4.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_wrong_arity_existence_error(X0)
+
+op_wrong_arity_existence_error(E) :-
+    catch(op(5, xfx, example, extra), error(E, _), true).

package/test/conformance/cases/iso/trealla_bagof_setof_duplicate_handling.pl

@@ -0,0 +1,15 @@
+% Adapted from Trealla Prolog tests/tests/test0049.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: bagof_setof_duplicate_handling(X0, X1)
+
+foo_dup(a, b, c).
+foo_dup(a, b, d).
+foo_dup(a, b, a).
+foo_dup(a, b, a).
+foo_dup(b, c, f).
+foo_dup(b, c, e).
+foo_dup(c, c, g).
+
+bagof_setof_duplicate_handling(Bag, Set) :-
+    bagof(C, A^B^foo_dup(A, B, C), Bag),
+    setof(C, A^B^foo_dup(A, B, C), Set).

package/test/conformance/cases/iso/trealla_call_transparent_to_disjunction.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/tests/test0016.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: call_transparent_to_disjunction(ok)
+
+call_transparent_to_disjunction(ok) :-
+    call((true ; false)),
+    call((false ; true)).

package/test/conformance/cases/iso/trealla_clause_enumeration_backtracking.pl

@@ -0,0 +1,13 @@
+% Adapted from Trealla Prolog tests/tests/test0019.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: clause_enumeration_backtracking(X0)
+
+populate_x24c :-
+    assertz(x24c(0)),
+    assertz(x24c(1)),
+    assertz(x24c(2)),
+    assertz(x24c(3)).
+
+clause_enumeration_backtracking(L) :-
+    populate_x24c,
+    findall(X - B, clause(x24c(X), B), L).

package/test/conformance/cases/iso/trealla_compare_standard_order.pl

@@ -0,0 +1,8 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test15d).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: compare_standard_order(ok)
+
+compare_standard_order(ok) :-
+    compare(<, 1, 2),
+    compare(=, 2, 2),
+    compare(>, 3, 2).

package/test/conformance/cases/iso/trealla_copy_term_binding_direction.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test1136.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: copy_term_binding_direction(ok)
+
+copy_term_binding_direction(ok) :-
+    copy_term(X, 3), var(X),
+    copy_term(f(Y), f(3)), var(Y),
+    copy_term(3, Z), Z == 3,
+    \+ copy_term(f(_), 3).

package/test/conformance/cases/iso/trealla_copy_term_bound_list_tail.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/tests/test0070.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: copy_term_bound_list_tail(X0)
+
+copy_term_bound_list_tail(T2) :-
+    L = [aa, bb, cc], L = [_ | T], copy_term(T, T2).

package/test/conformance/cases/iso/trealla_curly_and_colon_syntax_equivalence.pl

@@ -0,0 +1,10 @@
+% Adapted from Trealla Prolog tests/tests/test0073.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: curly_and_colon_syntax_equivalence(X0, X1, X2, X3, X4)
+
+curly_and_colon_syntax_equivalence(X, Y, Z, A, B) :-
+    X = {a:b},
+    Y = {}(a:b),
+    Z = :(a, b),
+    A = a:b,
+    B = (a:b).

package/test/conformance/cases/iso/trealla_curly_braces_as_predicate.pl

@@ -0,0 +1,10 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test17).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: curly_braces_as_predicate(ok)
+
+curly_braces_as_predicate(ok) :-
+    assertz({abc, 123}), assertz({xyz, 456}),
+    clause({abc, X}, B), X = 123, B = true,
+    clause({xyz, Y}, C), Y = 456, C = true,
+    {abc, Z}, Z = 123,
+    retract({xyz, W}), W = 456.

package/test/conformance/cases/iso/trealla_dif_unification_shared_var.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/tests/test0090.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: dif_unification_shared_var(ok)
+
+dif_unification_shared_var(ok) :-
+    [A, 1] \= [A, 2].

package/test/conformance/cases/iso/trealla_disjunction_commit_and_fallthrough.pl

@@ -0,0 +1,11 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test5a, test5b).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: disjunction_commit_and_fallthrough(ok)
+
+name_d(john).
+name_d(mary).
+name_d(tom).
+
+disjunction_commit_and_fallthrough(ok) :-
+    ( name_d(john) ; write('ERROR') ), !,
+    ( name_d(fred) ; name_d(mary) ), !.

package/test/conformance/cases/iso/trealla_findall_bagof_grouping.pl

@@ -0,0 +1,13 @@
+% Adapted from Trealla Prolog tests/tests/test0028.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: findall_bagof_grouping(X0)
+
+foo_groups(a, b, c).
+foo_groups(a, b, d).
+foo_groups(b, c, e).
+foo_groups(b, c, f).
+foo_groups(c, c, g).
+foo_groups(d, e, g).
+
+findall_bagof_grouping(L) :-
+    findall(Cs, bagof(C, foo_groups(_, _, C), Cs), L).

package/test/conformance/cases/iso/trealla_float_literal_representation_error.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test1140.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: float_literal_representation_error(X0, X1, X2, X3)
+
+float_literal_representation_error(MaxFloat, MinFloat, Underflow, BadSyntax) :-
+    catch(number_chars(_, "9.9e999"), error(MaxFloat, _), true),
+    catch(number_chars(_, "-9.9e999"), error(MinFloat, _), true),
+    number_chars(Underflow, "9.9e-999"),
+    catch(number_chars(_, "9.9ee"), error(BadSyntax, _), true).

package/test/conformance/cases/iso/trealla_forall_arithmetic_facts.pl

@@ -0,0 +1,10 @@
+% Adapted from Trealla Prolog tests/tests/test0032.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: forall_arithmetic_facts(ok)
+
+eq32(3, 1 + 2).
+eq32(24, 6 * 4).
+eq32(1, 5 mod 2).
+
+forall_arithmetic_facts(ok) :-
+    forall(eq32(Left, Right), Left =:= Right).

package/test/conformance/cases/iso/trealla_functor_arg_partial_term.pl

@@ -0,0 +1,18 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test1, test3).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: functor_arg_partial_term(ok)
+
+functor_arg_partial_term(ok) :-
+    F = f(a, _, c),
+    functor(F, f, 3),
+    arg(2, F, b),
+    F = f(a, b, c).
+
+%% goal: copy_term_then_reunify_propagates(ok)
+
+copy_term_then_reunify_propagates(ok) :-
+    F = f(A, B, C),
+    copy_term(F, X),
+    F = X,
+    A = a, B = b, C = c,
+    arg(2, X, b).

package/test/conformance/cases/iso/trealla_ground_progressive_backtracking.pl

@@ -0,0 +1,21 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test18).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: ground_progressive_backtracking(ok)
+
+t18a2(X) :- X = f(a, b), fail.
+t18a2(X) :- X = f(b, c), fail.
+t18a2(X) :- X = f(_, world).
+t18a(X) :- t18a2(X).
+
+t18b2(X) :- X = f(e, f), fail.
+t18b2(X) :- X = f(f, g), fail.
+t18b2(X) :- X = f(hello, _).
+t18b(X) :- t18b2(X).
+
+ground_progressive_backtracking(ok) :-
+    X = f(_, _),
+    t18a(X),
+    \+ ground(X),
+    t18b(X),
+    ground(X),
+    X = f(hello, world).

package/test/conformance/cases/iso/trealla_if_then_noncallable_then.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/issues/test0898.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: if_then_noncallable_then(X0)
+
+if_then_noncallable_then(E) :-
+    catch(call((true -> false, 1)), error(E, _), true).

package/test/conformance/cases/iso/trealla_mod_sign_rules.pl

@@ -0,0 +1,14 @@
+% Adapted from Trealla Prolog tests/issues/test0078.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: mod_sign_rules(X0, X1, X2, X3, X4, X5, X6, X7, X8)
+
+mod_sign_rules(M1, M2, M3, M4, M5, M6, M7, Big, M8) :-
+    M1 is 1 mod 3,
+    M2 is -1 mod 3,
+    M3 is -1 mod -3,
+    M4 is 1 mod -3,
+    M5 is -2 mod 3,
+    M6 is -2 mod -3,
+    M7 is 2 mod -3,
+    Big is (1 << 150) mod (3 << 150),
+    M8 is -5 mod -3.

package/test/conformance/cases/iso/trealla_negation_eager_callability.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test1110.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: negation_eager_callability(X0, X1, X2, X3)
+
+negation_eager_callability(DisjSecond, DisjFirst, Conj, Ordinary) :-
+    catch((\+ (true ; 1), fail), error(DisjSecond, _), true),
+    catch((\+ (1 ; true), fail), error(DisjFirst, _), true),
+    catch((\+ (fail, 1), fail), error(Conj, _), true),
+    ( \+ fail, \+ \+ true, \+ member(z, [a, b, c]) -> Ordinary = ok ; Ordinary = bad ).

package/test/conformance/cases/iso/trealla_number_chars_skips_comments.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/issues/test0796.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: number_chars_skips_comments(X0, X1)
+
+number_chars_skips_comments(N1, N2) :-
+    number_chars(N1, "%$$$\n1"),
+    number_chars(N2, "/*$$$*/-2").

package/test/conformance/cases/iso/trealla_number_chars_syntax_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/issues/test0791.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: number_chars_syntax_error(X0)
+
+number_chars_syntax_error(E) :-
+    catch(number_chars(_, "1-2"), error(E, _), true).

package/test/conformance/cases/iso/trealla_occurs_check_rational_tree_subtleties.pl

@@ -0,0 +1,8 @@
+% Adapted from Trealla Prolog tests/tests/test0092.pl (main2, main3).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: occurs_check_rational_tree_subtleties(ok)
+
+occurs_check_rational_tree_subtleties(ok) :-
+    \+ (A4 = [A4 | A4], A4 = [_B4, A4]),
+    \+ (A5 = B5, A5 = [A5 | A5], A5 = [B5, A5]),
+    \+ unify_with_occurs_check(A, [[[A]] | A]).

package/test/conformance/cases/iso/trealla_occurs_check_reverse_order.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/issues/test0805.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: occurs_check_reverse_order(ok)
+
+occurs_check_reverse_order(ok) :-
+    \+ unify_with_occurs_check(L, [_ | L]),
+    \+ unify_with_occurs_check([_ | L], L).

package/test/conformance/cases/iso/trealla_once_inside_findall_template.pl

@@ -0,0 +1,12 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test16c).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: once_inside_findall_template(X0)
+
+age_once(peter, 7).
+age_once(anne, 5).
+age_once(pat, 8).
+age_once(tom, 5).
+
+once_inside_findall_template(L) :-
+    findall(X, once(age_once(X, _)), L),
+    ground(L), L = [peter].

package/test/conformance/cases/iso/trealla_quoted_atom_line_continuation.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/tests/test0039.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: quoted_atom_line_continuation(ok)
+
+quoted_atom_line_continuation(ok) :-
+    write('foo\
+bar'), nl.

package/test/conformance/cases/iso/trealla_retract_backtracking.pl

@@ -0,0 +1,15 @@
+% Adapted from Trealla Prolog tests/tests/test0021.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: retract_backtracking(ok)
+
+:- dynamic(x24/1).
+
+populate_x24 :-
+    assertz(x24(0)),
+    assertz(x24(1)),
+    assertz(x24(2)),
+    assertz(x24(3)).
+
+retract_backtracking(ok) :-
+    populate_x24,
+    ( retract(x24(X)), write(X), nl, fail ; true ).

package/test/conformance/cases/iso/trealla_shared_argument_aliasing.pl

@@ -0,0 +1,8 @@
+% Adapted from Trealla Prolog tests/tests/test0047.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: shared_argument_aliasing(ok)
+
+foo_shared(A, B) :- A = 1, write(B), nl.
+
+shared_argument_aliasing(ok) :-
+    foo_shared(X, X).

package/test/conformance/cases/iso/trealla_sort_duplicates_and_empty.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test0114.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: sort_duplicates_and_empty(X0, X1, X2)
+
+sort_duplicates_and_empty(Empty, Sorted, SortedCodes) :-
+    sort([], Empty),
+    sort("", Empty),
+    sort([c, b, a, ' ', a, b, c], Sorted),
+    sort("cba abc", SortedCodes).

package/test/conformance/cases/iso/trealla_unicode_length_agreement.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/tests/test0013.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: unicode_length_agreement(X0)
+
+unicode_length_agreement(L) :-
+    atom_length('一二三', L1),
+    length("一二三", L2),
+    L1 = L2, L1 = 3,
+    L = L1.

package/test/conformance/cases/iso/trealla_variable_aliasing_across_calls.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test14).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: variable_aliasing_across_calls(ok)
+
+bar_alias([A], B) :- A = B.
+foo_alias(A, B) :- bar_alias(A, B).
+
+variable_aliasing_across_calls(ok) :-
+    A = a, foo_alias([A], B), A = B.

package/test/conformance/cases/iso/trealla_write_associative_operators.pl

@@ -0,0 +1,11 @@
+% Adapted from Trealla Prolog tests/tests/test0035.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: write_associative_operators(ok)
+
+write_associative_operators(ok) :-
+    write((1 / 2 / 3)), nl,
+    write((a, b, c)), nl,
+    write({a, b, c}), nl,
+    write(((1 / 2) / 3)), nl,
+    write((a, (b, c))), nl,
+    write({a, (b, c)}), nl.

package/test/conformance/cases/iso/trealla_write_term_ignore_ops_quoted_independence.pl

@@ -0,0 +1,10 @@
+% Adapted from Trealla Prolog tests/issues/test1137.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: write_term_ignore_ops_quoted_independence(ok)
+
+write_term_ignore_ops_quoted_independence(ok) :-
+    write_term('a b', [ignore_ops(true)]), nl,
+    write_term('a b', [ignore_ops(true), quoted(true)]), nl,
+    write_term(1 + 2 * 3, [ignore_ops(true)]), nl,
+    write_term([a, b | c], [ignore_ops(true)]), nl,
+    write_term({a}, [ignore_ops(true)]), nl.

package/test/conformance/cases/iso/trealla_write_term_variable_names_malformed.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/issues/test1090.pl (first sub-case only;
+% see test/conformance/THIRD_PARTY.md).
+%% goal: write_term_variable_names_malformed(X0)
+
+write_term_variable_names_malformed(E1) :-
+    catch(write_term(_, [variable_names([a | non_list])]), error(E1, _), true).

package/test/conformance/expected/iso/scryer_call_zero_arity.pl

@@ -0,0 +1 @@
+call_zero_arity(existence_error(procedure, call / 0)).

package/test/conformance/expected/iso/scryer_current_predicate_after_existence_error.pl

@@ -0,0 +1 @@
+current_predicate_after_existence_error(not_defined).

package/test/conformance/expected/iso/scryer_current_prolog_flag_shared_var.pl

@@ -0,0 +1 @@
+current_prolog_flag_shared_var(false).

package/test/conformance/expected/iso/scryer_op_bar_prefix_permission.pl

@@ -0,0 +1 @@
+op_bar_prefix_permission(permission_error(create, operator, '|')).

package/test/conformance/expected/iso/scryer_op_name_list_unbound_element.pl

@@ -0,0 +1 @@
+op_name_list_unbound_element(instantiation_error).

package/test/conformance/expected/iso/scryer_op_name_type_error.pl

@@ -0,0 +1 @@
+op_name_type_error(type_error(list, example(a, b))).

package/test/conformance/expected/iso/scryer_op_specifier_type_error.pl

@@ -0,0 +1 @@
+op_specifier_type_error(type_error(atom, 42)).

package/test/conformance/expected/iso/scryer_op_wrong_arity_existence_error.pl

@@ -0,0 +1 @@
+op_wrong_arity_existence_error(existence_error(procedure, op / 4)).

package/test/conformance/expected/iso/trealla_bagof_setof_duplicate_handling.pl

@@ -0,0 +1 @@
+bagof_setof_duplicate_handling("cdaafeg", "acdefg").

package/test/conformance/expected/iso/trealla_call_transparent_to_disjunction.pl

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

package/test/conformance/expected/iso/trealla_clause_enumeration_backtracking.pl

@@ -0,0 +1 @@
+clause_enumeration_backtracking([0 - true, 1 - true, 2 - true, 3 - true]).

package/test/conformance/expected/iso/trealla_compare_standard_order.pl

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

package/test/conformance/expected/iso/trealla_copy_term_binding_direction.pl

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

package/test/conformance/expected/iso/trealla_copy_term_bound_list_tail.pl

@@ -0,0 +1 @@
+copy_term_bound_list_tail([bb, cc]).

package/test/conformance/expected/iso/trealla_curly_and_colon_syntax_equivalence.pl

@@ -0,0 +1 @@
+curly_and_colon_syntax_equivalence({a:b}, {a:b}, a:b, a:b, a:b).

package/test/conformance/expected/iso/trealla_curly_braces_as_predicate.pl

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

package/test/conformance/expected/iso/trealla_dif_unification_shared_var.pl

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

package/test/conformance/expected/iso/trealla_disjunction_commit_and_fallthrough.pl

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

package/test/conformance/expected/iso/trealla_findall_bagof_grouping.pl

@@ -0,0 +1 @@
+findall_bagof_grouping(["cd", "ef", "g", "g"]).

package/test/conformance/expected/iso/trealla_float_literal_representation_error.pl

@@ -0,0 +1 @@
+float_literal_representation_error(representation_error(max_float), representation_error(min_float), 0.0, syntax_error(number)).

package/test/conformance/expected/iso/trealla_forall_arithmetic_facts.pl

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

package/test/conformance/expected/iso/trealla_functor_arg_partial_term.pl

@@ -0,0 +1,2 @@
+functor_arg_partial_term(ok).
+copy_term_then_reunify_propagates(ok).

package/test/conformance/expected/iso/trealla_ground_progressive_backtracking.pl

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

package/test/conformance/expected/iso/trealla_if_then_noncallable_then.pl

@@ -0,0 +1 @@
+if_then_noncallable_then(type_error(callable, (true -> false, 1))).

package/test/conformance/expected/iso/trealla_mod_sign_rules.pl

@@ -0,0 +1 @@
+mod_sign_rules(1, 2, -1, -2, 1, -2, -1, 1427247692705959881058285969449495136382746624, -2).

package/test/conformance/expected/iso/trealla_negation_eager_callability.pl

@@ -0,0 +1 @@
+negation_eager_callability(type_error(callable, (true ; 1)), type_error(callable, (1 ; true)), type_error(callable, (fail, 1)), ok).

package/test/conformance/expected/iso/trealla_number_chars_skips_comments.pl

@@ -0,0 +1 @@
+number_chars_skips_comments(1, -2).

package/test/conformance/expected/iso/trealla_number_chars_syntax_error.pl

@@ -0,0 +1 @@
+number_chars_syntax_error(syntax_error(number)).

package/test/conformance/expected/iso/trealla_occurs_check_rational_tree_subtleties.pl

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

package/test/conformance/expected/iso/trealla_occurs_check_reverse_order.pl

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

package/test/conformance/expected/iso/trealla_once_inside_findall_template.pl

@@ -0,0 +1 @@
+once_inside_findall_template([peter]).

package/test/conformance/expected/iso/trealla_quoted_atom_line_continuation.pl

@@ -0,0 +1,2 @@
+foobar
+quoted_atom_line_continuation(ok).

package/test/conformance/expected/iso/trealla_retract_backtracking.pl

@@ -0,0 +1,5 @@
+0
+1
+2
+3
+retract_backtracking(ok).

package/test/conformance/expected/iso/trealla_shared_argument_aliasing.pl

@@ -0,0 +1,2 @@
+1
+shared_argument_aliasing(ok).

package/test/conformance/expected/iso/trealla_sort_duplicates_and_empty.pl

@@ -0,0 +1 @@
+sort_duplicates_and_empty([], " abc", " abc").

package/test/conformance/expected/iso/trealla_unicode_length_agreement.pl

@@ -0,0 +1 @@
+unicode_length_agreement(3).

package/test/conformance/expected/iso/trealla_variable_aliasing_across_calls.pl

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

package/test/conformance/expected/iso/trealla_write_associative_operators.pl

@@ -0,0 +1,7 @@
+1/2/3
+a,b,c
+{a,b,c}
+1/2/3
+a,b,c
+{a,b,c}
+write_associative_operators(ok).

package/test/conformance/expected/iso/trealla_write_term_ignore_ops_quoted_independence.pl

@@ -0,0 +1,6 @@
+a b
+'a b'
++(1,*(2,3))
+.(a,.(b,c))
+{}(a)
+write_term_ignore_ops_quoted_independence(ok).

package/test/conformance/expected/iso/trealla_write_term_variable_names_malformed.pl

@@ -0,0 +1 @@
+write_term_variable_names_malformed(domain_error(write_option, variable_names("a"||non_list))).

package/the-art-of-eyeprolog.md

@@ -10438,7 +10438,7 @@ must preserve the same observable outcome. Additional normal-mode syntax may
 accept texts outside the strict grammar, but it may not reinterpret an accepted
 standard case.
 
-The file-based conformance corpus contains 847 cases, including 430 focused ISO cases derived from the success, failure, mode, and error behavior in ISO/IEC 13211-1 clauses 7 and 8, Part 2 modules, and Part 3 grammar rules.
+The file-based conformance corpus contains 887 cases, including 470 focused ISO cases derived from the success, failure, mode, and error behavior in ISO/IEC 13211-1 clauses 7 and 8, Part 2 modules, and Part 3 grammar rules.
 Separate exact-output suites check 229 normal examples and 61 proof examples; all executable chapter programs are parsed and their declared goals are executed. The nine-case
 playground contract suite imports the production worker, sends real reasoning
 requests through its message protocol, and crawls the served module graph for