eyeprolog 1.5.44 → 1.5.46

package/ACKNOWLEDGEMENTS.md

@@ -0,0 +1,36 @@
+# Acknowledgements
+
+This work was carried out at [IDLab](https://idlab.ugent.be/), Ghent University
+– imec, within the [KNoWS](https://knows.idlab.ugent.be/) (Knowledge on Web
+Scale) research team, as part of the **Koreografeye** project.
+
+## Standards
+
+Conformance work on this repository is checked against the following documents,
+which are consulted under a single-user licence and are not redistributed here:
+
+- ISO/IEC 13211-1:1995, *Information technology — Programming languages —
+  Prolog — Part 1: General core*
+- ISO/IEC 13211-1:1995/Cor.1:2007
+- ISO/IEC 13211-1:1995/Cor.2:2012
+- ISO/IEC 13211-1:1995/Cor.3:2017
+- ISO/IEC 13211-2:2000, *Part 2: Modules*, and its 2013 amendment
+- ISO/IEC TS 13211-3:2023, *Part 3: Definite clause grammar rules*
+
+## External conformance corpora
+
+The test suite executes third-party material that is vendored unmodified and
+credited in place:
+
+- Ulrich Neumerkel's ISO Prolog conformity corpora (TU Wien), including the
+  `phrase_quad.pl` and `variable_names_quad.pl` snapshots under
+  `test/fixtures/`.
+- The WG17 syntax conformity-testing matrix.
+- Test cases adapted from the Logtalk ISO conformance suite, marked as such in
+  the corpus files that use them.
+
+## Citation
+
+When referring to this work in a publication, please acknowledge the project as
+described above. A suggested sentence is available in the paper template used by
+the KNoWS team.

package/README.md

@@ -72,7 +72,8 @@ printf 'human(socrates).\nmortal(X) :- human(X).\n' |
 - [rdf-prolog-roundtrip](https://github.com/eyereasoner/rdf-prolog-roundtrip) — standalone RDF 1.2 ↔ ISO Prolog bridge used by the RDF examples
 - [ISO conformance audit](test/conformance/ISO-COMPLIANCE.md) — supported Part 1 profile
 - [Latest Neumerkel conformity](test/conformance/NEUMERKEL-LATEST.md) — tracked result from the current live upstream inventory
-- [Conformance report](conformance-report.md) — generated executable conformance status and local corpus summary
+- [Conformance report](conformance-report.md) — generated executable conformance status, local corpus summary, and known deviations
+- [Acknowledgements](ACKNOWLEDGEMENTS.md) — funding, standards consulted, and credits for vendored conformance corpora
 - [OpenRuleBench](openrulebench/README.md) — portable benchmark profile
 ## RDF, Prolog, and symbiotic knowledge graphs
 

package/conformance-report.md

@@ -25,14 +25,14 @@ spelling therefore changes this report even when no corpus file is added or remo
 
 | Category | Positive | Errors | Warnings | Proofs | Total |
 |---|---:|---:|---:|---:|---:|
-| aggregation | 17 | 0 | 0 | 0 | 17 |
+| aggregation | 18 | 0 | 0 | 0 | 18 |
 | arithmetic | 38 | 0 | 0 | 0 | 38 |
 | atoms | 23 | 8 | 0 | 0 | 31 |
 | builtins | 11 | 0 | 0 | 0 | 11 |
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
 | explicit-tabling | 6 | 0 | 0 | 0 | 6 |
-| iso | 169 | 217 | 0 | 0 | 386 |
+| iso | 171 | 217 | 0 | 0 | 388 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -45,4 +45,29 @@ spelling therefore changes this report even when no corpus file is added or remo
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 7 | 0 | 0 | 23 |
-| **Total** | **490** | **272** | **19** | **21** | **802** |
+| **Total** | **493** | **272** | **19** | **21** | **805** |
+
+## Known deviations
+
+These are conscious departures from a standards clause, not open defects.
+
+### phrase/2-3 terminal-sequence type errors
+
+ISO/IEC TS 13211-3:2023, 8.18.1.4 c and d specify that a processor which
+checks the terminal-sequence arguments of `phrase/2-3` shall report
+`type_error(terminal_sequence, S)`. Error clause c is required for
+`phrase/2` and implementation defined for `phrase/3`.
+
+EyeProlog checks both arguments but reports `type_error(list, S)`.
+Ulrich Neumerkel's `phrase_quad.pl` corpus, which the release gate fetches
+live from TU Wien, accepts only `false` or `type_error(list, S)` for quads
+41 and 42, so the published TS and that corpus cannot both be satisfied.
+The corpus predates the TS. Changing the error term is a one-line edit in
+`phraseSolutions` (`src/iso.js`); it additionally requires relaxing quads
+41-42 of the Neumerkel gate.
+
+Note that TS 13211-3, 7.14.7.2 gives `phrase({true}, nonlist, S)` as an
+example which succeeds with `S = nonlist`, which is consistent with the TS
+permitting `phrase/3` to omit the check entirely. EyeProlog prefers the
+stricter diagnostic that the TS also explicitly allows.
+

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.44",
+  "version": "1.5.46",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -28,6 +28,7 @@
   "files": [
     "LICENSE.md",
     "README.md",
+    "ACKNOWLEDGEMENTS.md",
     "index.js",
     "index.d.ts",
     "playground.html",

package/src/cli.js

@@ -9,6 +9,15 @@ import { memoryStatistics } from './platform.js';
 let engineModule = null;
 let explanationModule = null;
 
+// The usage text documents the input file as optional, and `--goal` is
+// meaningful on its own.  Only fall back to stdin when it is actually
+// redirected: on an interactive terminal there is nothing to read, and
+// blocking on it makes `eyeprolog --goal G` look like it does nothing.
+// An explicit `-` argument still selects stdin in either case.
+export function defaultsToStdin(fileCount, stdinIsTty) {
+  return fileCount === 0 && !stdinIsTty;
+}
+
 export async function main(argv) {
   if (argv.length === 0) {
     const engine = await loadEngine();
@@ -132,7 +141,7 @@ export async function main(argv) {
     return;
   }
 
-  if (options.files.length === 0) {
+  if (defaultsToStdin(options.files.length, process.stdin.isTTY)) {
     options.files.push('-');
   }
 
@@ -157,6 +166,12 @@ export async function main(argv) {
     }
   }
 
+  if (sourceParts.length === 0) {
+    // No file and no redirected stdin: run the requested goals against an
+    // empty database rather than against nothing at all.
+    sourceParts.push({ text: '', filename: '<empty>' });
+  }
+
   if (options.goals.length === 0 && !options.quads && options.verifyProof == null) {
     for (const source of sourceParts) options.goals.push(...goalsFromSource(source.text));
   }

package/src/iso.js

@@ -2688,7 +2688,7 @@ function validateControlCallable(term, culprit, env) {
       // eagerly and reports the whole control term as the culprit.
       if (argument.type === VAR) continue;
       if (argument.type !== ATOM && argument.type !== COMPOUND) {
-        throw new PrologError('type_error(callable)', culprit);
+        throw new PrologError('type_error(callable)', copyResolved(culprit, env));
       }
       pending.push(argument);
     }
@@ -3022,6 +3022,12 @@ function* phraseSolutions({ solver, goal, env }, state) {
   const input = goal.args[1];
   const requestedOutput = goal.arity === 2 ? emptyTerminalSequence() : goal.args[2];
   validateDcgEmbeddedGoals(grammarBody, input, requestedOutput);
+  // ISO/IEC TS 13211-3:2023, 8.18.1.4 c and d require
+  // type_error(terminal_sequence, S) here.  EyeProlog still reports
+  // type_error(list, S): Ulrich Neumerkel's phrase_quad corpus, which the
+  // release gate fetches live, accepts only `false` or type_error(list, S)
+  // for quads 41-42, so the two cannot currently both be satisfied.  See
+  // conformance-report.md, "Known deviations".
   if (!isListOrPartialList(input, env)) {
     throw new PrologError('type_error(list)', deref(input, env));
   }

package/src/program-analysis.js

@@ -445,6 +445,15 @@ export function directGoalDependencyKey(goal) {
   return `${goal.name}/${goal.arity}`;
 }
 
+// ISO 13211-1, 7.1.6.3: `V1^V2^...^Goal` has the iterated goal Goal.
+export function iteratedGoal(goal) {
+  let current = goal;
+  while (current?.type === COMPOUND && current.name === '^' && current.arity === 2) {
+    current = current.args[1];
+  }
+  return current;
+}
+
 export function collectGoalDependencies(goal, negated, traverseConditionals = false, wfs = false) {
   if (goal.type === ATOM) return [{ key: `${goal.name}/0`, name: goal.name, arity: 0, module: goal.module, negative: negated, wfs }];
   if (goal.type !== COMPOUND) return [];
@@ -478,6 +487,11 @@ export function collectGoalDependencies(goal, negated, traverseConditionals = fa
   if ((goal.name === 'findall' || goal.name === 'sumall') && goal.arity === 3) {
     return collectGoalDependencies(goal.args[1], negated, traverseConditionals, wfs);
   }
+  if ((goal.name === 'bagof' || goal.name === 'setof') && goal.arity === 3) {
+    // The goal argument is an iterated-goal term (ISO 13211-1, 7.1.6.3), so
+    // strip its `^` qualifiers before recording the call it really performs.
+    return collectGoalDependencies(iteratedGoal(goal.args[1]), negated, traverseConditionals, wfs);
+  }
   if (goal.name === 'countall' && goal.arity === 2) {
     return collectGoalDependencies(goal.args[0], negated, traverseConditionals, wfs);
   }

package/src/program.js

@@ -1136,6 +1136,18 @@ function collectForwardRulePremiseDependencies(term, collect, out) {
 // intentionally looks through those wrappers; the autoloader must see both the
 // wrapper and any statically visible nested calls so a bundled library can be
 // loaded before execution reaches it.
+// ISO 13211-1, 7.1.6.3: the iterated goal of `V1^V2^...^Goal` is Goal.  The
+// qualifiers only mark witness variables as existentially quantified, so every
+// static analysis of a bagof/3 or setof/3 goal argument has to look through
+// them before it reaches the callable term.
+function iteratedGoalTerm(goal) {
+  let current = goal;
+  while (current?.type === COMPOUND && current.name === '^' && current.arity === 2) {
+    current = current.args[1];
+  }
+  return current;
+}
+
 function collectAutoloadGoalDependencies(goal, out = []) {
   if (goal?.type === ATOM) {
     out.push({ key: `${goal.name}/0`, name: goal.name, arity: 0, module: goal.module });
@@ -1167,7 +1179,12 @@ function collectAutoloadGoalDependencies(goal, out = []) {
     collectAutoloadGoalDependencies(goal.args[0], out);
     collectAutoloadGoalDependencies(goal.args[1], out);
   } else if ((goal.name === 'findall' || goal.name === 'bagof' || goal.name === 'setof' || goal.name === 'sumall') && goal.arity === 3) {
-    collectAutoloadGoalDependencies(goal.args[1], out);
+    // bagof/3 and setof/3 take an iterated-goal term (ISO 13211-1, 7.1.6.3):
+    // any number of `Witness^Goal` qualifiers wrap the goal that is actually
+    // executed.  Autoloading has to see through them, otherwise
+    // setof(X, Y^member(X,L), S) raises existence_error(member/2) while the
+    // unqualified setof(X, member(X,L), S) resolves normally.
+    collectAutoloadGoalDependencies(iteratedGoalTerm(goal.args[1]), out);
   } else if (goal.name === 'countall' && goal.arity === 2) {
     collectAutoloadGoalDependencies(goal.args[0], out);
   } else if ((goal.name === 'aggregate_min' || goal.name === 'aggregate_max') && goal.arity === 5) {

package/test/conformance/README.md

@@ -140,7 +140,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 386 cases in `iso/` and 802 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 separate vendored strict-reader WG17 matrix is a deterministic regression snapshot; the live Neumerkel gate discovers the current upstream inventory at run time; 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 388 cases in `iso/` and 805 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 separate vendored strict-reader WG17 matrix is a deterministic regression snapshot; the live Neumerkel gate discovers the current upstream inventory at run time; 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/cases/aggregation/existential_qualifier_autoload.pl

@@ -0,0 +1,12 @@
+% ISO/IEC 13211-1:1995, 7.1.6.3 (iterated-goal term) with 8.10.2/8.10.3.
+% The goal argument of bagof/3 and setof/3 is `V1^...^Goal`, so every static
+% analysis has to look through the `^` qualifiers to reach the callable term.
+% Regression: the library autoloader used to stop at `^/2`, which made
+% setof(X, Y^member(X,L), S) raise existence_error(member/2) while the
+% unqualified setof(X, member(X,L), S) resolved normally.
+answer(plain, S) :- setof(X, member(X, [b,a,b]), S).
+answer(qualified, S) :- setof(X, Y^member(X, [b,a,b]), S).
+answer(qualified_bag, S) :- bagof(X, Y^member(X, [b,a,b]), S).
+answer(nested, S) :- setof(X, Y^Z^member(X-Y-Z, [1-a-p, 2-b-q]), S).
+answer(witness_kept, S) :- setof(X-Y, Y^member(X-Y, [2-b, 1-a]), S).
+%% goal: answer(X0, X1)

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

@@ -0,0 +1,35 @@
+% ISO/IEC TS 13211-3:2023, 7.14 - the semantics of each grammar body element,
+% expressed as the phrase/3 identities the TS states for them.
+digit(D) --> [D], { member(D, [a,b]) }.
+
+% 7.14.1  phrase([], S0, S) is true iff S0 = S.
+answer(empty_sequence, S) :- phrase([], [a,b], S).
+
+% 7.14.3  phrase((A,B), S0, S) iff phrase(A, S0, S1), phrase(B, S1, S).
+answer(concatenation, S) :- phrase(([a], [b]), [a,b,c], S).
+
+% 7.14.4  phrase((A;B), S0, S) iff ( phrase(A,S0,S) ; phrase(B,S0,S) ).
+answer(alternative, S) :- phrase(([a] ; [b]), [b,c], S).
+
+% 7.14.5.3  the if-then-else examples given verbatim in the TS.
+answer(ite_13, yes) :- phrase((("1" | "2") -> "3" ; "4"), "13").
+answer(ite_23, yes) :- phrase((("1" | "2") -> "3" ; "4"), "23").
+answer(ite_4, yes) :- phrase((("1" | "2") -> "3" ; "4"), "4").
+answer(ite_single, no) :- \+ phrase((("1" | "2") -> "3" ; "4"), [_]).
+
+% 7.14.7  phrase({G}, S0, S) is true iff ( G, S0 = S ).
+answer(grammar_body_goal, S) :- phrase({true}, [a], S).
+
+% 7.14.9  phrase(phrase(NT), S0, S) iff phrase(NT, S0, S).
+answer(phrase_nonterminal, S) :- phrase(phrase([a]), [a,b], S).
+
+% 7.14.10  phrase(!, S0, S) is true iff S0 = S.
+answer(cut_identity, S) :- phrase(!, [a,b], S).
+
+% 7.14.11  phrase(\+ GRBody, S0, S) iff ( \+ phrase(GRBody, S0, _), S0 = S ).
+answer(negation_identity, S) :- phrase(\+ [a], [b,c], S).
+answer(negation_blocks, no) :- \+ phrase(\+ [a], [a], _).
+
+% 7.14.2  ('.')//2 separates a terminal from the rest of the sequence.
+answer(terminal_split, D) :- phrase(digit(D), [b]).
+%% goal: answer(X0, X1)

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

@@ -0,0 +1,42 @@
+% ISO/IEC TS 13211-3:2023, 8.18.1.5 - the worked phrase/2 and phrase/3
+% examples, using the grammar given verbatim in that subclause.
+determiner --> [the].
+determiner --> [a].
+
+noun --> [boy].
+noun --> [girl].
+
+verb --> [likes].
+verb --> [scares].
+
+noun_phrase --> determiner, noun.
+noun_phrase --> noun.
+
+verb_phrase --> verb.
+verb_phrase --> verb, noun_phrase.
+
+sentence --> noun_phrase, verb_phrase.
+
+% ?- phrase([the], [the]).  true.
+answer(terminal_only, yes) :- phrase([the], [the]).
+
+% ?- phrase(sentence, [the, girl, likes, the, boy]).  true ; false.
+answer(full_sentence, yes) :- phrase(sentence, [the, girl, likes, the, boy]).
+
+% ?- phrase(sentence, [the, girl, likes, the, boy, today]).  false.
+answer(trailing_word, no) :- \+ phrase(sentence, [the, girl, likes, the, boy, today]).
+
+% ?- phrase(sentence, [the, girl, likes]).  true ; false.
+answer(intransitive, yes) :- phrase(sentence, [the, girl, likes]).
+
+% ?- phrase(noun_phrase, [the, girl, scares, the, boy], Rest).
+%    Rest = [scares, the, boy] ; false.
+answer(remainder, Rest) :- phrase(noun_phrase, [the, girl, scares, the, boy], Rest).
+
+% ?- phrase(sentence, Sentence).  Sentence = [the, boy, likes] ; ... .
+answer(first_generated, Sentence) :-
+    findall(S, phrase(sentence, S), All),
+    first_four(All, Sentence).
+
+first_four([A,B,C,D|_], [A,B,C,D]).
+%% goal: answer(X0, X1)

package/test/conformance/expected/aggregation/existential_qualifier_autoload.pl

@@ -0,0 +1,5 @@
+answer(plain, "ab").
+answer(qualified, "ab").
+answer(qualified_bag, "bab").
+answer(nested, [1, 2]).
+answer(witness_kept, [1 - a, 2 - b]).

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

@@ -0,0 +1,13 @@
+answer(empty_sequence, "ab").
+answer(concatenation, "c").
+answer(alternative, "c").
+answer(ite_13, yes).
+answer(ite_23, yes).
+answer(ite_4, yes).
+answer(ite_single, no).
+answer(grammar_body_goal, "a").
+answer(phrase_nonterminal, "b").
+answer(cut_identity, "ab").
+answer(negation_identity, "bc").
+answer(negation_blocks, no).
+answer(terminal_split, b).

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

@@ -0,0 +1,6 @@
+answer(terminal_only, yes).
+answer(full_sentence, yes).
+answer(trailing_word, no).
+answer(intransitive, yes).
+answer(remainder, [scares, the, boy]).
+answer(first_generated, [[the, boy, likes], [the, boy, scares], [the, boy, likes, the, boy], [the, boy, likes, the, girl]]).

package/test/run-conformance-report.mjs

@@ -119,6 +119,8 @@ export function formatConformanceReport(report = buildConformanceReport()) {
   }
   lines.push(`| **Total** | **${report.total.positive}** | **${report.total.errors}** | **${report.total.warnings}** | **${report.total.proofs}** | **${report.total.total}** |`);
 
+  lines.push(...knownDeviationSection());
+
   if (report.corpusIssues.length > 0) {
     lines.push('', '## Corpus issues', '');
     for (const issue of report.corpusIssues) lines.push(`- ${issue}`);
@@ -131,6 +133,39 @@ export function formatConformanceReport(report = buildConformanceReport()) {
   return `${lines.join('\n')}\n`;
 }
 
+// Deviations that are known, deliberate, and traceable to a specific clause.
+// Keeping them in the generated report means they survive regeneration instead
+// of living only in a commit message.
+function knownDeviationSection() {
+  return [
+    '',
+    '## Known deviations',
+    '',
+    'These are conscious departures from a standards clause, not open defects.',
+    '',
+    '### phrase/2-3 terminal-sequence type errors',
+    '',
+    'ISO/IEC TS 13211-3:2023, 8.18.1.4 c and d specify that a processor which',
+    'checks the terminal-sequence arguments of `phrase/2-3` shall report',
+    '`type_error(terminal_sequence, S)`. Error clause c is required for',
+    '`phrase/2` and implementation defined for `phrase/3`.',
+    '',
+    'EyeProlog checks both arguments but reports `type_error(list, S)`.',
+    'Ulrich Neumerkel\'s `phrase_quad.pl` corpus, which the release gate fetches',
+    'live from TU Wien, accepts only `false` or `type_error(list, S)` for quads',
+    '41 and 42, so the published TS and that corpus cannot both be satisfied.',
+    'The corpus predates the TS. Changing the error term is a one-line edit in',
+    '`phraseSolutions` (`src/iso.js`); it additionally requires relaxing quads',
+    '41-42 of the Neumerkel gate.',
+    '',
+    'Note that TS 13211-3, 7.14.7.2 gives `phrase({true}, nonlist, S)` as an',
+    'example which succeeds with `S = nonlist`, which is consistent with the TS',
+    'permitting `phrase/3` to omit the check entirely. EyeProlog prefers the',
+    'stricter diagnostic that the TS also explicitly allows.',
+    '',
+  ];
+}
+
 function executeGate(name, runSuite) {
   const failures = [];
   const reporter = {

package/test/run-iso-strict.mjs

@@ -72,6 +72,29 @@ export function runIsoStrict(reporter = new TestReporter()) {
       'type_error(float)', 'negative integer exponent correction');
   });
 
+  reporter.test('round-trips ISO floats through number_chars/2 and quoted write_term/2', () => {
+  for (const literal of ['1.0000000000000001', '0.10000000000000002']) {
+    const converted = run('', {
+      isoStrict: true,
+      goal: `N=${literal}, number_chars(N,Chars), number_chars(M,Chars), M == N`,
+    });
+    equal(converted.stats.completed_goal_lists, 1, `number_chars/2 float round-trip ${literal}`);
+
+    let written = '';
+    run('', {
+      isoStrict: true,
+      goal: `write_term(${literal},[quoted(true)])`,
+      ioOptions: { write: (text) => { written += text; } },
+    });
+    const reread = run('', {
+      isoStrict: true,
+      goal: `read_term(X,[]), X == ${literal}`,
+      ioOptions: { input: `${written}.` },
+    });
+    equal(reread.stats.completed_goal_lists, 1, `quoted write_term/2 float round-trip ${literal}`);
+  }
+});
+
   reporter.test('keeps Corrigendum 2 core predicates and excludes Part 3 phrase', () => {
     const registry = createStrictIsoRegistry();
     equal(Boolean(registry.get('subsumes_term', 2)), true, 'subsumes_term/2');
@@ -1250,6 +1273,16 @@ export function runIsoStrict(reporter = new TestReporter()) {
       'if-then-else commits after a successful condition');
     equal(capture(() => run('', { isoStrict: true, goal: 'call((write(a),3))' })).formal,
       'type_error(callable)', 'nested non-callable control term is rejected');
+    let issue93Output = '';
+    const issue93Error = capture(() => run('', {
+      isoStrict: true,
+      goal: 'X=3,Y=(write(X),X),call(Y)',
+      ioOptions: { write: (chunk) => { issue93Output += chunk; } },
+    }));
+    equal(issue93Error.formal, 'type_error(callable)', 'issue #93 raises the ISO callability error');
+    equal(issue93Error.message, 'error(type_error(callable), (write(3), 3))',
+      'issue #93 reports the fully instantiated control-term culprit');
+    equal(issue93Output, '', 'issue #93 validates the complete body before executing write/1');
     equal(run('', {
       isoStrict: true,
       goal: 'catch(X,error(instantiation_error,_),true)',

package/test/run-regression.mjs

@@ -54,6 +54,7 @@ import {
 import { ISO_OPERATOR_DEFINITIONS, parseGoalText, parseNumberTokenText, tryParseClausesFastInto } from '../src/parser.js';
 import { PrologError, formalErrorTerm } from '../src/iso.js';
 import { compareTerms } from '../src/term.js';
+import { defaultsToStdin } from '../src/cli.js';
 import { formatTermForWrite } from '../src/write.js';
 import { selectClauseCandidates } from '../src/program.js';
 import {
@@ -1596,6 +1597,25 @@ c4 ?- call((!;1)).
         assertEqual(result.stdout, '250000', 'number_chars/read cross-check count');
       },
     },
+    {
+      name: '--goal without an input file does not block on an interactive stdin',
+      run: () => {
+        // Usage documents the input file as optional.  The CLI used to append
+        // '-' unconditionally, so `eyeprolog --goal G` on a terminal waited for
+        // an EOF that never came and appeared to do nothing.  stdin is only a
+        // default source when it is actually redirected.
+        assertEqual(defaultsToStdin(0, true), false, 'tty stdin, no file');
+        assertEqual(defaultsToStdin(0, false), true, 'redirected stdin, no file');
+        assertEqual(defaultsToStdin(0, undefined), true, 'non-tty stdin reported as undefined');
+        assertEqual(defaultsToStdin(1, true), false, 'tty stdin, one file');
+        assertEqual(defaultsToStdin(1, false), false, 'redirected stdin, one file');
+
+        // An empty database is still a usable program for --goal.
+        const result = runCli(['--goal', 'X = 1, write(X), nl'], { input: '' });
+        assertEqual(result.status, 0, 'exit status');
+        assertIncludes(result.stdout, '1\n', 'goal output without an input file');
+      },
+    },
     {
       name: 'float literals canonicalize to their represented value and mix with generated floats (issue #92)',
       run: () => {
@@ -1618,6 +1638,20 @@ c4 ?- call((!;1)).
         assertEqual(result.stderr, '', 'stderr');
       },
     },
+    {
+      name: 'call/1 reports the instantiated complete control-term culprit (issue #93)',
+      run: () => {
+        const result = runCli([], {
+          input: 'X = 3, Y = (write(X), X), call(Y).\nhalt.\n',
+        });
+        assertEqual(result.status, 0, 'exit status');
+        assertEqual(result.stdout,
+          '?-    error(type_error(callable, (write(3), 3)), eyeprolog).\n' +
+          '?- ',
+          'fully instantiated call/1 culprit');
+        assertEqual(result.stderr, '', 'stderr');
+      },
+    },
     {
       name: 'number_chars and number_codes keep exponent floats syntactically readable (issue #50)',
       run: () => {

package/the-art-of-eyeprolog.md

@@ -10353,7 +10353,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 802 cases, including 386 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 805 cases, including 388 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 210 normal examples and 61 proof examples; all executable chapter programs are parsed and their declared goals are executed. The eight-case
 playground contract suite imports the production worker, sends real reasoning
 requests through its message protocol, and crawls the served module graph for