eyeprolog 1.5.15 → 1.5.17

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.15",
+  "version": "1.5.17",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/test/run-regression.mjs

@@ -4799,7 +4799,30 @@ function documentationSyncCases() {
         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.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 uses one wrapping stacked layout without Markdown tables');
+        const orderedHeadings = [
+          '### How to read this chapter',
+          '### 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;
+        }
       },
     },
     {
@@ -7560,7 +7583,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')) {
@@ -7807,26 +7830,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 = [];
@@ -7860,18 +7888,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();
 }
@@ -8077,6 +8099,9 @@ function markdownAnchors(file) {
     counts.set(base, count + 1);
     anchors.add(count === 0 ? base : `${base}-${count}`);
   }
+  for (const match of text.matchAll(/<(?:a|[A-Za-z][A-Za-z0-9:-]*)\b[^>]*\b(?:id|name)=["']([^"']+)["'][^>]*>/g)) {
+    anchors.add(match[1]);
+  }
   return anchors;
 }