eyelang 1.3.7 → 1.3.8

package/README.md

@@ -1,6 +1,6 @@
 # eyelang
 
-[![npm version](https://img.shields.io/npm/v/eyelangreasoner.svg)](https://www.npmjs.com/package/eyelangreasoner)
+[![npm version](https://img.shields.io/npm/v/eyelang.svg)](https://www.npmjs.com/package/eyelang)
 [![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.1242549108-blue.svg)](https://doi.org/10.5281/zenodo.20342331)
 
 eyelang is a small rule engine for Prolog-style Horn clauses over ordinary terms, lists, arithmetic, strings, and finite search. The command-line executable is `eyelang`.
@@ -458,6 +458,8 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`service-impact.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/service-impact.pl) | Analyzes service impact over cyclic dependencies. | [`output/service-impact.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/service-impact.pl) |
 | [`sieve.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/sieve.pl) | Enumerates primes with a sieve-style program. | [`output/sieve.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/sieve.pl) |
 | [`skolem-functions.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/skolem-functions.pl) | Generates deterministic functional terms. | [`output/skolem-functions.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/skolem-functions.pl) |
+| [`socket-age.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/socket-age.pl) | Shows socket-declared age reasoning inputs and plugs. | [`output/socket-age.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/socket-age.pl) |
+| [`socket-family.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/socket-family.pl) | Shows socket-declared family-source inputs and ancestry rules. | [`output/socket-family.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/socket-family.pl) |
 | [`socrates.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/socrates.pl) | Derives that Socrates is mortal. | [`output/socrates.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/socrates.pl) |
 | [`statistics-summary.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/statistics-summary.pl) | Computes population statistics for a sample. | [`output/statistics-summary.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/statistics-summary.pl) |
 | [`sudoku.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/sudoku.pl) | Solves generic 9x9 Sudoku strings through the sudoku/2 builtin. | [`output/sudoku.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/sudoku.pl) |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyelang",
-  "version": "1.3.7",
+  "version": "1.3.8",
   "type": "module",
   "description": "A small rule engine for Prolog-style Horn clauses",
   "keywords": [

package/playground.html

@@ -438,10 +438,12 @@
   "ackermann",
   "age",
   "aliases-and-namespaces",
+  "alignment-demo",
   "allen-interval-calculus",
   "ancestor",
   "animal",
   "annotation",
+  "backward",
   "basic-monadic",
   "bayes-diagnosis",
   "bayes-therapy",
@@ -452,12 +454,14 @@
   "buck-converter-design",
   "cache-performance",
   "canary-release",
+  "cat-koko",
   "clinical-trial-screening",
   "collatz-1000",
   "combinatorics-findall-sort",
   "competitive-enzyme-kinetics",
   "complex",
   "complex-matrix-stability",
+  "composition-of-injective-functions-is-injective",
   "context-association",
   "control-system",
   "cryptarithmetic-send-more-money",
@@ -479,13 +483,16 @@
   "dijkstra-findall-sort",
   "dijkstra-risk-path",
   "dining-philosophers",
+  "dog",
   "drone-corridor-planner",
   "easter-computus",
   "electrical-rc-filter",
   "epidemic-policy",
+  "equivalence-classes-overlap-implies-same-class",
   "eulerian-path",
   "ev-range-worlds",
   "exact-cover-sudoku",
+  "existential-rule",
   "exoplanet-validation-worlds",
   "expression-eval",
   "family-cousins",
@@ -500,9 +507,12 @@
   "gd-step-certified",
   "gdpr-compliance",
   "goldbach-1000",
+  "good-cobbler",
   "gps",
   "graph-reachability",
   "gray-code-counter",
+  "greatest-lower-bound-uniqueness",
+  "group-inverse-uniqueness",
   "hamiltonian-cycle",
   "hamiltonian-path",
   "hamming-code",
@@ -542,6 +552,8 @@
   "service-impact",
   "sieve",
   "skolem-functions",
+  "socket-age",
+  "socket-family",
   "socrates",
   "statistics-summary",
   "sudoku",

package/test/run-regression.js

@@ -185,6 +185,16 @@ why(
         assertEqual(result.stderr, '', 'stderr');
       },
     },
+    {
+      name: 'README and playground cover every bundled example',
+      run: () => {
+        const examples = listExampleNames();
+        const readmeExamples = readmeCatalogExampleNames();
+        const playgroundExamples = playgroundExampleNames();
+        assertEqual(readmeExamples.join('\n'), examples.join('\n'), 'README example catalog');
+        assertEqual(playgroundExamples.join('\n'), examples.join('\n'), 'playground examples');
+      },
+    },
     {
       name: 'stdin input is accepted',
       run: () => {
@@ -460,6 +470,40 @@ function runWhyLoose({ program, query }) {
   return result;
 }
 
+function listExampleNames() {
+  return fs.readdirSync(path.join(root, 'examples'))
+    .filter((name) => name.endsWith('.pl'))
+    .map((name) => name.slice(0, -3))
+    .sort();
+}
+
+function readmeCatalogExampleNames() {
+  const readme = fs.readFileSync(path.join(root, 'README.md'), 'utf8');
+  const section = between(readme, '## Example catalog', '## Golden outputs, tests, and conformance');
+  return [...section.matchAll(/examples\/([A-Za-z0-9_-]+)\.pl/g)]
+    .map((match) => match[1])
+    .filter((name, index, names) => names.indexOf(name) === index)
+    .sort();
+}
+
+function playgroundExampleNames() {
+  const html = fs.readFileSync(path.join(root, 'playground.html'), 'utf8');
+  const match = html.match(/const EXAMPLES = \[(.*?)\];/s);
+  if (match == null) throw new Error('playground EXAMPLES array not found');
+  return [...match[1].matchAll(/"([^"]+)"/g)]
+    .map((match) => match[1])
+    .sort();
+}
+
+function between(text, startMarker, endMarker) {
+  const start = text.indexOf(startMarker);
+  if (start === -1) throw new Error(`${startMarker} not found`);
+  const contentStart = start + startMarker.length;
+  const end = text.indexOf(endMarker, contentStart);
+  if (end === -1) throw new Error(`${endMarker} not found`);
+  return text.slice(contentStart, end);
+}
+
 function runCli(args, options = {}) {
   return spawnSync(process.execPath, [bin, ...args], {
     cwd: root,