eyeprolog 1.5.45 → 1.5.47

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 targets the following standards.
+Licensed standards documents 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:2025, *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,23 @@ 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** |
+
+## DCG conformance clarification
+
+EyeProlog checks the input and remainder of `phrase/2-3` and reports
+`type_error(list, S)` when an argument is neither a list nor a partial list.
+These implementation-defined checks follow ISO/IEC TS 13211-3:2025,
+8.18.1.3 g and h; this behavior is not a known deviation.
+
+The Part 3 implementation target is
+[ISO/IEC TS 13211-3:2025](https://www.iso.org/standard/83635.html).
+The public [error subclause](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/draft-8.18.1.3)
+also specifies `list` for these checks.
+
+The [phrase comparison](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase)
+links the machine-readable `phrase_quad.pl` corpus. `npm test` fetches and
+runs that corpus live through the Neumerkel gate; the offline regression
+suite runs all 58 vendored quads. Neither expectations nor error matching
+are relaxed for quads 41-44.
+

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.45",
+  "version": "1.5.47",
   "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

@@ -3022,6 +3022,10 @@ 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:2025, 8.18.1.3 g and h permit these checks
+  // and specify type_error(list, S) for invalid terminal-sequence arguments.
+  // Keep both diagnostics and the unmodified upstream phrase quad gate.
+  // See conformance-report.md and issue #94.
   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,34 @@
+% ISO/IEC TS 13211-3:2025 grammar-body semantics regressions.
+digit(D) --> [D], { member(D, [a,b]) }.
+
+% phrase([], S0, S) is true iff S0 = S.
+answer(empty_sequence, S) :- phrase([], [a,b], S).
+
+% phrase((A,B), S0, S) iff phrase(A, S0, S1), phrase(B, S1, S).
+answer(concatenation, S) :- phrase(([a], [b]), [a,b,c], S).
+
+% phrase((A;B), S0, S) iff ( phrase(A,S0,S) ; phrase(B,S0,S) ).
+answer(alternative, S) :- phrase(([a] ; [b]), [b,c], S).
+
+% if-then-else regression examples.
+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"), [_]).
+
+% phrase({G}, S0, S) is true iff ( G, S0 = S ).
+answer(grammar_body_goal, S) :- phrase({true}, [a], S).
+
+% phrase(phrase(NT), S0, S) iff phrase(NT, S0, S).
+answer(phrase_nonterminal, S) :- phrase(phrase([a]), [a,b], S).
+
+% phrase(!, S0, S) is true iff S0 = S.
+answer(cut_identity, S) :- phrase(!, [a,b], S).
+
+% 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], _).
+
+% ('.')//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,41 @@
+% ISO/IEC TS 13211-3:2025 phrase/2 and phrase/3 regression examples.
+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(...dcgConformanceSection());
+
   if (report.corpusIssues.length > 0) {
     lines.push('', '## Corpus issues', '');
     for (const issue of report.corpusIssues) lines.push(`- ${issue}`);
@@ -131,6 +133,31 @@ export function formatConformanceReport(report = buildConformanceReport()) {
   return `${lines.join('\n')}\n`;
 }
 
+// Keep the standards clarification in the generated report.
+function dcgConformanceSection() {
+  return [
+    '',
+    '## DCG conformance clarification',
+    '',
+    'EyeProlog checks the input and remainder of `phrase/2-3` and reports',
+    '`type_error(list, S)` when an argument is neither a list nor a partial list.',
+    'These implementation-defined checks follow ISO/IEC TS 13211-3:2025,',
+    '8.18.1.3 g and h; this behavior is not a known deviation.',
+    '',
+    'The Part 3 implementation target is',
+    '[ISO/IEC TS 13211-3:2025](https://www.iso.org/standard/83635.html).',
+    'The public [error subclause](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/draft-8.18.1.3)',
+    'also specifies `list` for these checks.',
+    '',
+    'The [phrase comparison](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase)',
+    'links the machine-readable `phrase_quad.pl` corpus. `npm test` fetches and',
+    'runs that corpus live through the Neumerkel gate; the offline regression',
+    'suite runs all 58 vendored quads. Neither expectations nor error matching',
+    'are relaxed for quads 41-44.',
+    '',
+  ];
+}
+
 function executeGate(name, runSuite) {
   const failures = [];
   const reporter = {

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: () => {

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