eyeprolog 1.1.1 → 1.1.2

package/conformance-report.md

@@ -11,7 +11,7 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | builtins | 11 | 0 | 0 | 0 | 11 |
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
-| iso | 135 | 178 | 0 | 0 | 313 |
+| iso | 164 | 209 | 0 | 0 | 373 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -23,4 +23,4 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 9 | 0 | 0 | 25 |
-| **Total** | **450** | **229** | **19** | **21** | **719** |
+| **Total** | **479** | **260** | **19** | **21** | **779** |

package/package.json

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

package/src/dcg.js

@@ -96,6 +96,10 @@ export function expandDcgBody(body, input, output, options = {}) {
     return goal;
   }
 
+  // Empty braces are the empty embedded-goal sequence. Like {true}, they
+  // consume no terminals and leave the grammar state unchanged.
+  if (body.type === ATOM && body.name === '{}') return equality(input, output);
+
   if (isTerminalSequence(body)) return terminalsGoal(body, input, output, env);
 
   if (body.type === COMPOUND && body.name === ',' && body.arity === 2) {

package/test/conformance/ISO-MATRIX.md

@@ -19,7 +19,7 @@ case totals.
 | 8.17 flags and hooks | required flags, mutation permissions, halt and character conversion | `exceptions_and_flags`, `remaining_builtins_and_directives`, flag error cases |
 | Clause 9 evaluable functors | integer, float, rounding, transcendental and bitwise operations | `arithmetic`, `corrigenda_arithmetic`, `corrigenda_atan2_zero`, `corrigenda_integer_negative_power` |
 | ISO/IEC 13211-2 modules | module declarations, exports, imports, qualification, meta-predicate context | `modules/qualified_call`, `modules/selective_library_import`, `dcg_module_nonterminal_indicator` |
-| ISO/IEC TS 13211-3 grammar rules | `-->`, terminal sequences, grammar control constructs, semicontexts, nonterminal indicators, `phrase/2-3` | `dcg_terminals_and_remainder`, `dcg_control_constructs`, `dcg_call_phrase_semicontext`, DCG error cases |
+| ISO/IEC TS 13211-3 grammar rules | `-->`, terminal and partial sequences, grammar control constructs, semicontexts, nonterminal indicators, modules, `phrase/2-3`, steadfastness and errors | `dcg_terminals_and_remainder`, `dcg_control_constructs`, `dcg_partial_sequences`, `dcg_phrase_steadfastness`, `dcg_dynamic_nonterminal_indicator`, `logtalk_dcg_phrase_identity`, `logtalk_dcg_semicontexts`, DCG error and precedence cases |
 
 Corrigendum-specific coverage includes double-quoted atom operator priority
 (Cor.1); the added predicates and evaluable functors, bar-operator rules,

package/test/conformance/README.md

@@ -90,11 +90,11 @@ ISO/IEC 13211-1 clauses 7 and 8. In particular, isolated negative cases keep
 instantiation, type, domain, permission, representation, and evaluation errors
 independently observable.
 
-Selected cases are adapted from the ISO and standard-core suites of Scryer
-Prolog, Trealla Prolog, and SWI-Prolog. Their upstream identifiers and licenses
+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 313 cases in `iso/` and 719 file-based conformance cases in
+The corpus has 373 cases in `iso/` and 779 file-based conformance cases in
 total. The generated `conformance-report.md` is the authoritative source for
 current category totals. Together with regression, documentation-sync, API,
 example, and book-example checks, `npm test` is the release gate.

package/test/conformance/THIRD_PARTY.md

@@ -9,6 +9,13 @@ identifies its upstream test names. The cases were rewritten for EyeProlog's
 file-based query and exact-output harness and are therefore modified from the
 upstream files.
 
+Part 3 grammar cases are additionally adapted from Logtalk's
+`tests/logtalk/methods/phrase_2_3/tests.lgt` and
+`tests/logtalk/dcgs/tests.lgt` suites. Object and unit-test scaffolding was
+removed, translator-only assertions were converted to executable grammar
+behavior where possible, and expected list errors follow the Part 3
+`terminal_sequence` terminology used by EyeProlog.
+
 Copyright 1998-2026 Paulo Moura <pmoura@logtalk.org>
 
 Licensed under the Apache License, Version 2.0 (the "License"); you may not use

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

@@ -0,0 +1,8 @@
+% Ambiguous grammars retain every distinct semantic result.
+%% goal: ambiguity(X0)
+
+reading(first) --> [token].
+reading(second) --> [token].
+
+ambiguity(Readings) :-
+    findall(Reading, phrase(reading(Reading), [token]), Readings).

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

@@ -0,0 +1,7 @@
+% Source organization directives accept Part 3 nonterminal indicators.
+:- multifile(shared//0).
+:- discontiguous(shared//0).
+
+shared --> [x].
+
+%% goal: phrase(shared, [x])

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

@@ -0,0 +1,7 @@
+% In atom mode, a double-quoted grammar body names a nonterminal.
+:- set_prolog_flag(double_quotes, atom).
+
+ab --> [recognized].
+uses_atom_body --> "ab".
+
+%% goal: phrase(uses_atom_body, Tokens)

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

@@ -0,0 +1,6 @@
+% Double-quoted terminal sequences honor the active Part 1 flag.
+:- set_prolog_flag(double_quotes, codes).
+
+codes --> "ab".
+
+%% goal: phrase(codes, Tokens)

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

@@ -0,0 +1,15 @@
+% phrase/2 expands dynamically constructed grammar bodies using static semantics.
+%% goal: dynamic_body(X0, X1)
+
+dynamic_body(sequence, Tokens) :-
+    Body = ([a], [b]),
+    phrase(Body, Tokens).
+dynamic_body(choice, Tokens) :-
+    Body = ([a]; [b]),
+    phrase(Body, Tokens).
+dynamic_body(embedded, Tokens) :-
+    Body = ({true}, [ok]),
+    phrase(Body, Tokens).
+dynamic_body(conditional, Tokens) :-
+    Body = ([x] -> [yes]; [no]),
+    phrase(Body, Tokens).

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

@@ -0,0 +1,7 @@
+% dynamic/1 accepts Part 3 nonterminal indicators and maps them to arity + 2.
+:- dynamic(token//1).
+
+%% goal: dynamic_nonterminal(X0)
+dynamic_nonterminal(asserted) :-
+    assertz(token(x, [x], [])),
+    phrase(token(x), [x]).

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

@@ -0,0 +1,6 @@
+% An explicitly qualified grammar-rule head defines the expanded predicate
+% in the named module even without a surrounding module declaration.
+
+dcg_explicit:word --> [x].
+
+%% goal: phrase(dcg_explicit:word, [x])

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

@@ -0,0 +1,6 @@
+% phrase//1 and call//1 compose nested grammar invocations.
+
+inner --> [i].
+outer --> phrase(inner), call(inner), [o].
+
+%% goal: phrase(outer, Tokens)

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

@@ -0,0 +1,5 @@
+% Part 3 installs the grammar-rule and alternative operators.
+%% goal: dcg_operator(X0, X1, X2)
+
+dcg_operator('-->', 1200, xfx) :- current_op(1200, xfx, '-->').
+dcg_operator('|', 1105, xfy) :- current_op(1105, xfy, '|').

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

@@ -0,0 +1,12 @@
+% Part 3 phrase/3 accepts partial terminal sequences and preserves their tail.
+%% goal: partial_sequence(X0)
+
+partial_sequence(one) :-
+    phrase([a], [a|Tail], Tail),
+    Tail = [rest].
+partial_sequence(two) :-
+    phrase([a, b], [a, b|Tail], Tail),
+    Tail = [rest].
+partial_sequence(empty) :-
+    phrase([], Tail, Tail),
+    Tail = [rest].

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

@@ -0,0 +1,14 @@
+% phrase/3 is steadfast in its third argument.
+%% goal: steadfast(X0)
+
+steadfast(bound_before) :-
+    Rest = [b],
+    phrase([a], [a, b], Rest).
+steadfast(bound_after) :-
+    phrase([a], [a, b], Rest),
+    Rest = [b].
+steadfast(selects_matching_alternative) :-
+    phrase(([a]; [a, b]), [a, b], [b]).
+steadfast(shared_sequence) :-
+    phrase([], Sequence, Sequence),
+    Sequence = [same].

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

@@ -0,0 +1,10 @@
+% Qualified nonterminals retain module context through nested phrase//1 calls.
+:- module(dcg_chain, [leaf//0, branch//0, wrapper//0, answer/1]).
+
+leaf --> [x].
+branch --> dcg_chain:leaf.
+wrapper --> phrase(dcg_chain:branch).
+answer(Tokens) :- phrase(wrapper, Tokens).
+
+%% goal: dcg_chain:answer(Tokens)
+%% goal: phrase(dcg_chain:wrapper, Tokens)

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

@@ -0,0 +1,8 @@
+% Recursive grammar rules support both recognition and generation.
+
+tokens([]) --> [].
+tokens([X|Xs]) --> [X], tokens(Xs).
+
+%% goal: phrase(tokens([a, b, c]), Generated)
+%% goal: phrase(tokens(Parsed), [x, y])
+%% goal: phrase(tokens([a, b]), [a, b, rest], Rest)

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

@@ -0,0 +1,9 @@
+% Generated state variables must not capture similarly named source variables.
+
+capture_states(S0, S, Input, Output) -->
+    [S0, S],
+    {Input = source_input, Output = source_output}.
+anonymous_pair --> [_, _].
+
+%% goal: phrase(capture_states(A, B, Input, Output), [left, right])
+%% goal: phrase(anonymous_pair, [one, two])

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

@@ -0,0 +1,14 @@
+% Adapted from Logtalk dcgs_conjunction_01-04 and dcgs_disjunction_01-03.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+a --> [a].
+b --> [b].
+sequence --> a, b.
+optional_b --> a, (b; []).
+bar_choice --> [x] | [y] | [z].
+nested_choice --> ([a], [b]; [a], [c]).
+
+%% goal: phrase(sequence, X)
+%% goal: phrase(optional_b, X)
+%% goal: phrase(bar_choice, X)
+%% goal: phrase(nested_choice, X)

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

@@ -0,0 +1,12 @@
+% Adapted from Logtalk dcgs_cut_01-06. Modified for EyeProlog's harness.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: cut_result(X0, X1)
+
+committed --> ([a], ! ; [b]).
+cut_then_fail --> ([a], !, {fail} ; [b]).
+cut_after_prefix --> [start], ([a], ! ; [b]).
+
+cut_result(committed, Tokens) :- phrase(committed, Tokens).
+cut_result(fallback_before_cut, [b]) :- phrase(cut_then_fail, [b]).
+cut_result(failure_after_cut, preserved) :- \+ phrase(cut_then_fail, [a]).
+cut_result(nested, Tokens) :- phrase(cut_after_prefix, Tokens).

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

@@ -0,0 +1,13 @@
+% Adapted from Logtalk dcgs_cut_01-04 and 06.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+%% goal: cut_position(X0, X1)
+
+cut_first --> !, [a].
+cut_middle --> [a], !, [b].
+cut_choice --> ([a], !, [b] ; [a], [c]).
+cut_embedded_failure --> [a], !, {fail}.
+
+cut_position(first, Tokens) :- phrase(cut_first, Tokens).
+cut_position(middle, Tokens) :- phrase(cut_middle, Tokens).
+cut_position(choice, Tokens) :- phrase(cut_choice, Tokens).
+cut_position(failure, preserved) :- \+ phrase(cut_embedded_failure, [a]).

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

@@ -0,0 +1,12 @@
+% Adapted from Logtalk dcgs_bypass_01 and 03-10.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+checked(X) --> [X], {atom(X)}.
+bind(X) --> {X = bound}.
+embedded_sequence(X) --> {X = a, atom(X)}, [X].
+embedded_if --> ({true} -> [yes] ; [no]).
+
+%% goal: phrase(checked(token), [token])
+%% goal: phrase(bind(X), [])
+%% goal: phrase(embedded_sequence(X), Tokens)
+%% goal: phrase(embedded_if, Tokens)

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

@@ -0,0 +1,10 @@
+% Adapted from Logtalk dcgs_bypass_03-05 and 10.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+three_checks(X) --> {X = a}, {atom(X)}, {X == a}, [X].
+grouped_checks(X) --> {X = b, atom(X)}, [X].
+embedded_choice --> ({fail}; {true}), [ok].
+
+%% goal: phrase(three_checks(X), Tokens)
+%% goal: phrase(grouped_checks(X), Tokens)
+%% goal: phrase(embedded_choice, Tokens)

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

@@ -0,0 +1,7 @@
+% Adapted from Logtalk dcgs_graphic_01. The (=)//0 translator-only case
+% collides with the ISO =/2 built-in when executed and is intentionally omitted.
+
+'[' --> [open].
+
+%% goal: graphic_nonterminal(X0)
+graphic_nonterminal(open) :- phrase('[', [open]).

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

@@ -0,0 +1,15 @@
+% Adapted from Logtalk dcgs_if_the_else_01-06 and dcgs_bypass_06-07.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+select --> ([x] -> [then] ; [else]).
+after_prefix --> [start], ([x] -> [yes] ; [no]).
+condition_sequence --> ([a], [b] -> [c] ; [d]).
+embedded_condition --> ({true} -> [yes] ; [no]).
+
+%% goal: phrase(select, [x, then])
+%% goal: phrase(select, [else])
+%% goal: phrase(after_prefix, [start, x, yes])
+%% goal: phrase(after_prefix, [start, no])
+%% goal: phrase(condition_sequence, [a, b, c])
+%% goal: phrase(condition_sequence, [d])
+%% goal: phrase(embedded_condition, X)

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

@@ -0,0 +1,11 @@
+% Adapted from Logtalk dcgs_negation_01-02.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+%% goal: negation_result(X0, X1)
+
+not_b --> \+ [b], [_].
+middle_not_x --> [a], \+ [x], [_].
+
+negation_result(prefix_success, a) :- phrase(not_b, [a]).
+negation_result(prefix_failure, preserved) :- \+ phrase(not_b, [b]).
+negation_result(middle_success, [a, b]) :- phrase(middle_not_x, [a, b]).
+negation_result(middle_failure, preserved) :- \+ phrase(middle_not_x, [a, x]).

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

@@ -0,0 +1,11 @@
+% Adapted from Logtalk dcgs_non_terminal_01-03 and dcgs_metacall_01-02.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+token(X) --> [X].
+pair(X, Y) --> token(X), token(Y).
+delegate(Body) --> Body.
+via_call(X) --> call(token(X)).
+
+%% goal: phrase(pair(a, b), X)
+%% goal: phrase(delegate([x, y]), X)
+%% goal: phrase(via_call(z), X)

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

@@ -0,0 +1,12 @@
+% Adapted from Logtalk phrase_3_15 through 21. Modified for EyeProlog's harness.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: phrase_identity(X0, X1)
+
+phrase_identity(empty_braces, Rest) :- phrase({}, [tail], Rest).
+phrase_identity(true_goal, Rest) :- phrase({true}, [tail], Rest).
+phrase_identity(cut, Rest) :- phrase(!, [tail], Rest).
+phrase_identity(terminals, Input) :- phrase([a, b], Input, []).
+phrase_identity(suffix, Input) :- phrase([a, b], Input, [b]).
+phrase_identity(committed_failures, preserved) :-
+    \+ phrase({!, fail}, [], []),
+    \+ phrase(({!, fail}; {true}), [], []).

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

@@ -0,0 +1,12 @@
+% Adapted from Logtalk dcgs_push_back_list_02-06.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+push_two, [a, b] --> [].
+consume_then_push, [tail] --> [head], [middle].
+echo(X), [X] --> [X].
+echo_pair(X, Y), [X, Y] --> [X, Y].
+
+%% goal: phrase(push_two, [rest], Rest)
+%% goal: phrase(consume_then_push, [head, middle, rest], Rest)
+%% goal: phrase(echo(x), [x, rest], Rest)
+%% goal: phrase(echo_pair(a, b), [a, b, rest], Rest)

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

@@ -0,0 +1,12 @@
+% Adapted from Logtalk dcgs_push_back_list_01-08.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+look_ahead(X), [X] --> [X].
+replace, [a, b] --> [foo].
+push_one(X), [X] --> [X].
+push_pair(X, Y), [X, Y] --> [X, Y].
+
+%% goal: phrase(look_ahead(a), [a], Rest)
+%% goal: phrase(replace, [foo, tail], Rest)
+%% goal: phrase(push_one(x), [x], Rest)
+%% goal: phrase(push_pair(a, b), [a, b], Rest)

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

@@ -0,0 +1,9 @@
+% Adapted from Logtalk dcgs_terminal_list_05-06.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+capture(X) --> [X].
+duplicate(X) --> [X, X].
+
+%% goal: phrase(capture(X), [term(a)])
+%% goal: phrase(capture(value), Tokens)
+%% goal: phrase(duplicate(same), Tokens)

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

@@ -0,0 +1,15 @@
+% Adapted from Logtalk dcgs_terminal_list_01-06 and
+% dcgs_terminal_string_01-03. Modified for EyeProlog's harness.
+% See test/conformance/THIRD_PARTY.md.
+
+empty --> [].
+one(X) --> [X].
+mixed --> [[], {}, 3, 3.2, a(b)].
+letters --> "abc".
+letters_or_q --> "abc" | "q".
+
+%% goal: phrase(empty, [])
+%% goal: phrase(one(value), [value])
+%% goal: phrase(mixed, [[], {}, 3, 3.2, a(b)])
+%% goal: phrase(letters, X)
+%% goal: phrase(letters_or_q, X)

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

@@ -0,0 +1,10 @@
+% Adapted from Logtalk dcgs_metacall_01-02.
+% Modified for EyeProlog's harness. See test/conformance/THIRD_PARTY.md.
+
+delegate(Body) --> Body.
+surrounded(Body) --> [left], Body, [right].
+body_or_fallback(Body) --> Body | [fallback].
+
+%% goal: phrase(delegate([a, b]), Tokens)
+%% goal: phrase(surrounded([center]), Tokens)
+%% goal: phrase(body_or_fallback([chosen]), Tokens)

package/test/conformance/errors/iso/dcg_call_noncallable.pl

@@ -0,0 +1,3 @@
+% call//1 rejects a non-callable closure.
+invoke --> call(1).
+%% goal: phrase(invoke, [])

package/test/conformance/errors/iso/dcg_call_variable.pl

@@ -0,0 +1,3 @@
+% call//1 requires an instantiated callable closure at execution time.
+invoke(Goal) --> call(Goal).
+%% goal: phrase(invoke(Goal), [])

package/test/conformance/errors/iso/dcg_nonatom_qualified_module.pl

@@ -0,0 +1,3 @@
+% A grammar-rule module qualifier must be an atom.
+1:p --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/dcg_partial_semicontext.pl

@@ -0,0 +1,3 @@
+% A semicontext with an uninstantiated tail cannot be translated.
+p, [a|Tail] --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/dcg_phrase_nonterminal_variable.pl

@@ -0,0 +1,3 @@
+% phrase//1 propagates its grammar-body instantiation requirement.
+invoke(Body) --> phrase(Body).
+%% goal: phrase(invoke(Body), [])

package/test/conformance/errors/iso/dcg_qualified_unknown_nonterminal.pl

@@ -0,0 +1,4 @@
+% Qualified unknown nonterminals report their expanded predicate indicator.
+:- module(dcg_missing, [invoke//0]).
+invoke --> dcg_missing:absent.
+%% goal: phrase(dcg_missing:invoke, [])

package/test/conformance/errors/iso/dcg_variable_qualified_module.pl

@@ -0,0 +1,3 @@
+% A grammar rule cannot use a variable module qualifier.
+Module:p --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/dcg_variable_rule_body.pl

@@ -0,0 +1,3 @@
+% A variable grammar body reports instantiation when invoked.
+p --> Body.
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/dcg_variable_rule_head.pl

@@ -0,0 +1,3 @@
+% A grammar rule cannot have a variable nonterminal head.
+Head --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_bad_input_precedence.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_2_05 and 07. Modified for EyeProlog's harness.
+%% goal: phrase(unknown_nonterminal, not_a_terminal_sequence)

package/test/conformance/errors/iso/logtalk_dcg_bad_output_precedence.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_11 and 14. Modified for EyeProlog's harness.
+%% goal: phrase(unknown_nonterminal, Input, not_a_terminal_sequence)

package/test/conformance/errors/iso/logtalk_dcg_curly_head.pl

@@ -0,0 +1,3 @@
+% Inspired by Logtalk's invalid grammar head translation cases.
+{goal} --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_cut_head.pl

@@ -0,0 +1,3 @@
+% Inspired by Logtalk's invalid grammar head translation cases.
+! --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_embedded_noncallable.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_06. Modified for EyeProlog's harness.
+%% goal: phrase({1}, [])

package/test/conformance/errors/iso/logtalk_dcg_improper_semicontext.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_push_back_list_09-12.
+p, [a|b] --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_improper_terminal_rule.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_terminal_list_04. Modified for EyeProlog's harness.
+p --> [a|b].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_invalid_semicontext.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_push_back_list_10. Modified for EyeProlog's harness.
+p, b --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_multiple_semicontexts.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_push_back_list_09.
+p, [t1], [t2] --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_nested_noncallable.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_07. Modified for EyeProlog's harness.
+%% goal: phrase(([_], {1}), [_])

package/test/conformance/errors/iso/logtalk_dcg_noncallable_after_failure.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_08-09. Modified for EyeProlog's harness.
+%% goal: phrase(([x]; {1}), [y], [])

package/test/conformance/errors/iso/logtalk_dcg_noncallable_after_success.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_07-09. Modified for EyeProlog's harness.
+%% goal: phrase(([_]; {1}), [_], [])

package/test/conformance/errors/iso/logtalk_dcg_noncallable_precedence.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_2_03 and 05. Modified for EyeProlog's harness.
+%% goal: phrase(1, not_a_terminal_sequence)

package/test/conformance/errors/iso/logtalk_dcg_numeric_head.pl

@@ -0,0 +1,3 @@
+% Inspired by Logtalk's invalid nonterminal translation cases.
+3 --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_numeric_nonterminal.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_non_terminal_02. Modified for EyeProlog's harness.
+p --> 3.
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_partial_terminal_rule.pl

@@ -0,0 +1,4 @@
+% Inspired by Logtalk dcgs_terminal_list_04 and phrase_3_03.
+% Modified for EyeProlog's harness.
+p --> [a|Tail].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_phrase_curly_variable.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_04. Modified for EyeProlog's harness.
+%% goal: phrase({Goal}, [])

package/test/conformance/errors/iso/logtalk_dcg_phrase_improper_input.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_2_06 and phrase_3_12. Modified for EyeProlog.
+%% goal: phrase(foo, [a|b])

package/test/conformance/errors/iso/logtalk_dcg_phrase_improper_output.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_3_13. Modified for EyeProlog's harness.
+%% goal: phrase(foo, Input, [a|b])

package/test/conformance/errors/iso/logtalk_dcg_reversed_semicontext.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_push_back_list_11.
+[t], p --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_terminal_head.pl

@@ -0,0 +1,3 @@
+% Adapted from Logtalk dcgs_push_back_list_11. Modified for EyeProlog's harness.
+[t] --> [].
+%% goal: phrase(p, [])

package/test/conformance/errors/iso/logtalk_dcg_unknown_nonterminal.pl

@@ -0,0 +1,2 @@
+% Adapted from Logtalk phrase_2_07 and phrase_3_14. Modified for EyeProlog.
+%% goal: phrase(foo, [])

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

@@ -0,0 +1 @@
+ambiguity([first, second]).

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

@@ -0,0 +1 @@
+phrase(shared, "x").

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

@@ -0,0 +1 @@
+phrase(uses_atom_body, [recognized]).

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

@@ -0,0 +1 @@
+phrase(codes, "ab").

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

@@ -0,0 +1,5 @@
+dynamic_body(sequence, "ab").
+dynamic_body(choice, "a").
+dynamic_body(choice, "b").
+dynamic_body(embedded, [ok]).
+dynamic_body(conditional, [x, yes]).

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

@@ -0,0 +1 @@
+dynamic_nonterminal(asserted).

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

@@ -0,0 +1 @@
+phrase(dcg_explicit:word, "x").

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

@@ -0,0 +1 @@
+phrase(outer, "iio").

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

@@ -0,0 +1,2 @@
+dcg_operator(-->, 1200, xfx).
+dcg_operator('|', 1105, xfy).

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

@@ -0,0 +1,3 @@
+partial_sequence(one).
+partial_sequence(two).
+partial_sequence(empty).

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

@@ -0,0 +1,4 @@
+steadfast(bound_before).
+steadfast(bound_after).
+steadfast(selects_matching_alternative).
+steadfast(shared_sequence).

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

@@ -0,0 +1,2 @@
+dcg_chain:answer("x").
+phrase(dcg_chain:wrapper, "x").

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

@@ -0,0 +1,3 @@
+phrase(tokens("abc"), "abc").
+phrase(tokens("xy"), "xy").
+phrase(tokens("ab"), [a, b, rest], [rest]).

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

@@ -0,0 +1,2 @@
+phrase(capture_states(left, right, source_input, source_output), [left, right]).
+phrase(anonymous_pair, [one, two]).

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

@@ -0,0 +1,8 @@
+phrase(sequence, "ab").
+phrase(optional_b, "ab").
+phrase(optional_b, "a").
+phrase(bar_choice, "x").
+phrase(bar_choice, "y").
+phrase(bar_choice, "z").
+phrase(nested_choice, "ab").
+phrase(nested_choice, "ac").

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

@@ -0,0 +1,4 @@
+cut_result(committed, "a").
+cut_result(fallback_before_cut, "b").
+cut_result(failure_after_cut, preserved).
+cut_result(nested, [start, a]).

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

@@ -0,0 +1,4 @@
+cut_position(first, "a").
+cut_position(middle, "ab").
+cut_position(choice, "ab").
+cut_position(failure, preserved).

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

@@ -0,0 +1,4 @@
+phrase(checked(token), [token]).
+phrase(bind(bound), []).
+phrase(embedded_sequence(a), "a").
+phrase(embedded_if, [yes]).

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

@@ -0,0 +1,3 @@
+phrase(three_checks(a), "a").
+phrase(grouped_checks(b), "b").
+phrase(embedded_choice, [ok]).

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

@@ -0,0 +1 @@
+graphic_nonterminal(open).

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

@@ -0,0 +1,7 @@
+phrase(select, [x, then]).
+phrase(select, [else]).
+phrase(after_prefix, [start, x, yes]).
+phrase(after_prefix, [start, no]).
+phrase(condition_sequence, "abc").
+phrase(condition_sequence, "d").
+phrase(embedded_condition, [yes]).

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

@@ -0,0 +1,4 @@
+negation_result(prefix_success, a).
+negation_result(prefix_failure, preserved).
+negation_result(middle_success, "ab").
+negation_result(middle_failure, preserved).

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

@@ -0,0 +1,3 @@
+phrase(pair(a, b), "ab").
+phrase(delegate("xy"), "xy").
+phrase(via_call(z), "z").

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

@@ -0,0 +1,6 @@
+phrase_identity(empty_braces, [tail]).
+phrase_identity(true_goal, [tail]).
+phrase_identity(cut, [tail]).
+phrase_identity(terminals, "ab").
+phrase_identity(suffix, "abb").
+phrase_identity(committed_failures, preserved).

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

@@ -0,0 +1,4 @@
+phrase(push_two, [rest], [a, b, rest]).
+phrase(consume_then_push, [head, middle, rest], [tail, rest]).
+phrase(echo(x), [x, rest], [x, rest]).
+phrase(echo_pair(a, b), [a, b, rest], [a, b, rest]).

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

@@ -0,0 +1,4 @@
+phrase(look_ahead(a), "a", "a").
+phrase(replace, [foo, tail], [a, b, tail]).
+phrase(push_one(x), "x", "x").
+phrase(push_pair(a, b), "ab", "ab").

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

@@ -0,0 +1,3 @@
+phrase(capture(term(a)), [term(a)]).
+phrase(capture(value), [value]).
+phrase(duplicate(same), [same, same]).

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

@@ -0,0 +1,6 @@
+phrase(empty, []).
+phrase(one(value), [value]).
+phrase(mixed, [[], {}, 3, 3.2, a(b)]).
+phrase(letters, "abc").
+phrase(letters_or_q, "abc").
+phrase(letters_or_q, "q").

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

@@ -0,0 +1,4 @@
+phrase(delegate("ab"), "ab").
+phrase(surrounded([center]), [left, center, right]).
+phrase(body_or_fallback([chosen]), [chosen]).
+phrase(body_or_fallback([chosen]), [fallback]).

package/test/conformance/expected-errors/iso/dcg_call_noncallable.txt

@@ -0,0 +1 @@
+error(type_error(callable), 1)

package/test/conformance/expected-errors/iso/dcg_call_variable.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/dcg_nonatom_qualified_module.txt

@@ -0,0 +1 @@
+error(type_error(atom), 1)

package/test/conformance/expected-errors/iso/dcg_partial_semicontext.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/dcg_phrase_nonterminal_variable.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/dcg_qualified_unknown_nonterminal.txt

@@ -0,0 +1 @@
+error(existence_error(procedure), /(absent, 2))

package/test/conformance/expected-errors/iso/dcg_variable_qualified_module.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/dcg_variable_rule_body.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/dcg_variable_rule_head.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/logtalk_dcg_bad_input_precedence.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), not_a_terminal_sequence)

package/test/conformance/expected-errors/iso/logtalk_dcg_bad_output_precedence.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), not_a_terminal_sequence)

package/test/conformance/expected-errors/iso/logtalk_dcg_curly_head.txt

@@ -0,0 +1 @@
+error(permission_error(define, grammar_rule), {goal})

package/test/conformance/expected-errors/iso/logtalk_dcg_cut_head.txt

@@ -0,0 +1 @@
+error(permission_error(define, grammar_rule), !)

package/test/conformance/expected-errors/iso/logtalk_dcg_embedded_noncallable.txt

@@ -0,0 +1 @@
+error(type_error(callable), 1)

package/test/conformance/expected-errors/iso/logtalk_dcg_improper_semicontext.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), [a | b])

package/test/conformance/expected-errors/iso/logtalk_dcg_improper_terminal_rule.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), [a | b])

package/test/conformance/expected-errors/iso/logtalk_dcg_invalid_semicontext.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), b)

package/test/conformance/expected-errors/iso/logtalk_dcg_multiple_semicontexts.txt

@@ -0,0 +1 @@
+parse line 2: expected ., got ,

package/test/conformance/expected-errors/iso/logtalk_dcg_nested_noncallable.txt

@@ -0,0 +1 @@
+error(type_error(callable), 1)

package/test/conformance/expected-errors/iso/logtalk_dcg_noncallable_after_failure.txt

@@ -0,0 +1 @@
+error(type_error(callable), 1)

package/test/conformance/expected-errors/iso/logtalk_dcg_noncallable_after_success.txt

@@ -0,0 +1 @@
+error(type_error(callable), 1)

package/test/conformance/expected-errors/iso/logtalk_dcg_noncallable_precedence.txt

@@ -0,0 +1 @@
+error(type_error(callable), 1)

package/test/conformance/expected-errors/iso/logtalk_dcg_numeric_head.txt

@@ -0,0 +1 @@
+error(type_error(callable), 3)

package/test/conformance/expected-errors/iso/logtalk_dcg_numeric_nonterminal.txt

@@ -0,0 +1 @@
+error(type_error(callable), 3)

package/test/conformance/expected-errors/iso/logtalk_dcg_partial_terminal_rule.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/logtalk_dcg_phrase_curly_variable.txt

@@ -0,0 +1 @@
+error(instantiation_error)

package/test/conformance/expected-errors/iso/logtalk_dcg_phrase_improper_input.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), [a | b])

package/test/conformance/expected-errors/iso/logtalk_dcg_phrase_improper_output.txt

@@ -0,0 +1 @@
+error(type_error(terminal_sequence), [a | b])

package/test/conformance/expected-errors/iso/logtalk_dcg_reversed_semicontext.txt

@@ -0,0 +1 @@
+error(permission_error(define, grammar_rule), "t")

package/test/conformance/expected-errors/iso/logtalk_dcg_terminal_head.txt

@@ -0,0 +1 @@
+error(permission_error(define, grammar_rule), "t")

package/test/conformance/expected-errors/iso/logtalk_dcg_unknown_nonterminal.txt

@@ -0,0 +1 @@
+error(existence_error(procedure), /(foo, 2))

package/the-art-of-eyeprolog.md

@@ -6606,7 +6606,7 @@ node test/run-conformance-report.mjs
 ```
 
 The complete suite must pass before release. The file-based conformance corpus
-contains 719 cases, including 313 focused ISO
+contains 779 cases, including 373 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 189 normal