eyeprolog 1.5.16 → 1.5.18

package/examples/book/README.md

@@ -236,15 +236,15 @@ npm run generate
 - [01-city.pl](chapter-38/01-city.pl)
 - [02-look_ahead.pl](chapter-38/02-look_ahead.pl) — Part 3-oriented definite clause grammars
 
-## Chapter 39: Built-in predicates by programming role
-
-- [01-program.pl](chapter-39/01-program.pl) — The EyeProlog library
-- [02-answer.pl](chapter-39/02-answer.pl)
-- [03-answer-2.pl](chapter-39/03-answer-2.pl)
-- [04-answer-3.pl](chapter-39/04-answer-3.pl)
-- [05-cost.pl](chapter-39/05-cost.pl)
-- [06-message.pl](chapter-39/06-message.pl)
-- [07-task.pl](chapter-39/07-task.pl)
+## Chapter 39: Predicate reference
+
+- [01-answer.pl](chapter-39/01-answer.pl) — Library relations by programming role
+- [02-answer-2.pl](chapter-39/02-answer-2.pl)
+- [03-answer-3.pl](chapter-39/03-answer-3.pl)
+- [04-cost.pl](chapter-39/04-cost.pl)
+- [05-message.pl](chapter-39/05-message.pl)
+- [06-task.pl](chapter-39/06-task.pl)
+- [07-program.pl](chapter-39/07-program.pl) — Specialized library implementation notes
 
 ## Chapter 40: Running EyeProlog: command line and corpus
 

package/examples/book/chapter-39/{02-answer.pl → 01-answer.pl}

@@ -1,4 +1,4 @@
-% From The Art of EyeProlog, Chapter 39.
+% From The Art of EyeProlog, Chapter 39 — Library relations by programming role.
 :- use_module(library(dates)).
 :- use_module(library(between), [between/3]).
 :- use_module(library(random)).

package/examples/book/chapter-39/{01-program.pl → 07-program.pl}

@@ -1,4 +1,4 @@
-% From The Art of EyeProlog, Chapter 39 — The EyeProlog library.
+% From The Art of EyeProlog, Chapter 39 — Specialized library implementation notes.
 ?- dif(f(X,A),f(Y,B)), ( true ; A = B ).
    dif(f(X, A), f(Y, B))
 ;  A = B, dif(X, Y).

package/package.json

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

package/test/run-regression.mjs

@@ -4797,13 +4797,71 @@ function documentationSyncCases() {
 
         const book = fs.readFileSync(path.join(packageRoot, 'the-art-of-eyeprolog.md'), 'utf8');
         const section = between(book, '<!-- eyeprolog-predicate-reference:start -->', '<!-- eyeprolog-predicate-reference:end -->');
-        assertEqual(section.split('\n').some((line) => line.trimStart().startsWith('|')), false, 'predicate reference avoids Markdown tables and horizontal overflow');
-        assertEqual((section.match(/^- \*\*`/gm) ?? []).length, 518, 'one stacked reference entry per predicate');
-        assertEqual((section.match(/<a id="predicate-reference-\d{4}"><\/a>/g) ?? []).length, 518, 'one explicit stable anchor per predicate');
+        assertEqual(section.split('\n').some((line) => line.trimStart().startsWith('|')), false, 'predicate reference avoids wide table markup');
+        assertEqual((section.match(/^- \*\*`/gm) ?? []).length, 518, 'one reference entry per predicate');
+        assertEqual((section.match(/<a id="predicate-reference-\d{4}"><\/a>/g) ?? []).length, 518, 'one explicit anchor per predicate');
         assertEqual((section.match(/\]\(#predicate-reference-\d{4}\)/g) ?? []).length, 518, 'one direct index link per predicate');
         assertNotIncludes(section, '[Symbols](#predicate-reference-symbols)', 'predicate index does not rely on renderer-generated group anchors');
-        assertIncludes(section, 'stable numeric IDs instead of relying on Markdown heading-slug rules', 'renderer-independent predicate anchors');
-        assertIncludes(section, 'wrap naturally on narrow screens without horizontal scrolling', 'responsive predicate reference layout');
+
+        const chapter = between(book, '## 39. Predicate reference', '## 40. Running EyeProlog: command line and corpus');
+        assertEqual(chapter.split('\n').some((line) => line.trimStart().startsWith('|')), false, 'Chapter 39 avoids wide table markup');
+        for (const backstage of [
+          'stacked layout',
+          'Markdown tables',
+          'horizontal scrollbars',
+          'horizontal scrolling',
+          'documentation test',
+          'documentation regression',
+          'stable numeric IDs',
+          'generated reference',
+          'Read the chapter in that order',
+          'final generated section',
+        ]) assertNotIncludes(chapter, backstage, `Chapter 39 avoids editorial/process prose: ${backstage}`);
+        const orderedHeadings = [
+          '### Notation and conventions',
+          '### Core registry',
+          '### Normal-mode extensions',
+          '### Bundled libraries',
+          '### Library relations by programming role',
+          '### Interoperability, autoloading, and portability',
+          '### Specialized library implementation notes',
+          '### Complete predicate indicator reference',
+        ];
+        let previous = -1;
+        for (const heading of orderedHeadings) {
+          const position = chapter.indexOf(heading);
+          assertEqual(position > previous, true, `Chapter 39 section order: ${heading}`);
+          previous = position;
+        }
+      },
+    },
+    {
+      name: 'book keeps editorial and build mechanics out of reader-facing prose',
+      run: () => {
+        const book = fs.readFileSync(path.join(packageRoot, 'the-art-of-eyeprolog.md'), 'utf8');
+        for (const backstage of [
+          'stacked layout',
+          'Markdown tables',
+          'horizontal scrollbars',
+          'horizontal scrolling',
+          'documentation test',
+          'documentation regression',
+          'stable numeric IDs',
+          'generated reference',
+          'final generated section',
+          'Read the chapter in that order',
+          'after editing the book',
+          'should be rebuilt with `npm run generate`',
+          'Keeping these details here',
+          '# Part XII — Development note',
+          '## 46. AI-assisted editing',
+          'release gate',
+          'release-facing',
+          '# Refresh the vendored TU Wien WG17 inventory',
+          'the tables in this chapter',
+          'The generated [`examples/book/`',
+        ]) assertNotIncludes(book, backstage, `book avoids backstage prose: ${backstage}`);
+        assertIncludes(book, 'Chapters are numbered continuously across eleven parts, from Chapter 1 to Chapter 45.', 'reader-facing chapter count');
       },
     },
     {
@@ -4825,7 +4883,7 @@ ${profile}`;
         assertIncludes(book, 'including recursive calls, use depth-first resolution unless the source', 'ordinary recursion is depth-first');
         assertIncludes(book, 'explicitly declares `:- table p/n.`', 'tabling is explicit');
         assertIncludes(book, 'The autoload index covers every', 'generic bundled-library autoload');
-        assertIncludes(book, 'interactive top-level query therefore autoloads its canonical', 'REPL autoload');
+        assertIncludes(book, 'interactive top-level query autoloads its canonical bundled provider', 'REPL autoload');
         assertIncludes(book, 'Autoloading therefore supplies', 'autoload syntax boundary');
         assertIncludes(book, 'Residual constraints are part of the displayed answer even when', 'top-level hidden residuals');
         assertIncludes(book, 'EyeProlog normal mode also accepts `:+`', 'Eyelet forward-rule extension');
@@ -7564,7 +7622,7 @@ function bookReferenceDocumentationIssues() {
   if (book.includes('EyeProlog does not perform it.')) {
     issues.push('book contradicts implementation occurs-check behavior');
   }
-  for (const heading of ['## 38. Language and ISO profile', '## 39. Built-in predicates by programming role', '## 40. Running EyeProlog: command line and corpus']) {
+  for (const heading of ['## 38. Language and ISO profile', '## 39. Predicate reference', '## 40. Running EyeProlog: command line and corpus']) {
     if (!book.includes(heading)) issues.push(`book is missing ${heading}`);
   }
   if (!guide.includes('[*The Art of EyeProlog*](../../the-art-of-eyeprolog.md) is the reference')) {
@@ -7811,26 +7869,31 @@ function registeredBuiltinSummary() {
 
 function bookBuiltinNames() {
   const book = fs.readFileSync(path.join(packageRoot, 'the-art-of-eyeprolog.md'), 'utf8');
-  return documentedBuiltinNames(between(book, '## 39. Built-in predicates by programming role', '### The EyeProlog library'), 2);
+  return documentedBuiltinNames(
+    between(book, '<!-- eyeprolog-core-catalog:start -->', '<!-- eyeprolog-core-catalog:end -->'),
+  );
 }
 
 function bookEyePrologLibraryNames() {
   const book = fs.readFileSync(path.join(packageRoot, 'the-art-of-eyeprolog.md'), 'utf8');
   const iso = new Set(registeredBuiltinNames());
-  return documentedBuiltinNames(
-    between(book, '<!-- eyeprolog-library-catalog:start -->', '<!-- eyeprolog-library-catalog:end -->'),
-    2,
-  ).filter((indicator) => !iso.has(indicator));
+  const section = between(book, '<!-- eyeprolog-library-catalog:start -->', '<!-- eyeprolog-library-catalog:end -->');
+  const exports = section.split('\n')
+    .filter((line) => line.trimStart().startsWith('**Exports:**'))
+    .join('\n');
+  return documentedBuiltinNames(exports).filter((indicator) => !iso.has(indicator));
 }
 
 function bookLibraryModuleIssues() {
   const book = fs.readFileSync(path.join(packageRoot, 'the-art-of-eyeprolog.md'), 'utf8');
   const section = between(book, '<!-- eyeprolog-library-catalog:start -->', '<!-- eyeprolog-library-catalog:end -->');
   const documented = new Map();
-  for (const line of section.split('\n')) {
-    const match = line.match(/^\|\s*`library\(([^)`]+)\)`\s*\|/);
+  const lines = section.split('\n');
+  for (let i = 0; i < lines.length; i++) {
+    const match = lines[i].match(/^- \*\*`library\(([^)`]+)\)`\*\*/);
     if (match == null) continue;
-    documented.set(match[1], documentedBuiltinNames(line, 2));
+    const exports = lines[i + 1] ?? '';
+    documented.set(match[1], documentedBuiltinNames(exports));
   }
 
   const issues = [];
@@ -7864,18 +7927,12 @@ function bookBuiltinSummary() {
   return { entries: Number(match[1]), names: Number(match[2]) };
 }
 
-function documentedBuiltinNames(section, catalogColumn) {
+function documentedBuiltinNames(section) {
   const names = [];
-  for (const line of section.split('\n')) {
-    if (!line.trim().startsWith('|') || !line.includes('`')) continue;
-    const catalogCell = line.split('|')[catalogColumn] ?? '';
-    for (const match of catalogCell.matchAll(/`([A-Za-z_][A-Za-z0-9_]*)\(([^`)]*)\)`/g)) {
-      const arity = match[2].trim() === '' ? 0 : match[2].split(',').length;
-      names.push(`${match[1]}/${arity}`);
-    }
-    for (const match of catalogCell.matchAll(/`([^`\s]+)\/(\d+)`/g)) {
-      names.push(`${match[1]}/${match[2]}`);
-    }
+  for (const match of section.matchAll(/`([^`]+)`/g)) {
+    const indicator = match[1].match(/^(.+)\/(\d+)$/);
+    if (indicator == null) continue;
+    names.push(`${indicator[1]}/${indicator[2]}`);
   }
   return [...new Set(names)].sort();
 }