eyeprolog 1.1.15 → 1.1.16

package/examples/iso-extension-pipeline-audit.pl

@@ -0,0 +1,64 @@
+:- use_module(library(iso_ext)).
+
+% A bounded pipeline audit that composes every relation exported by
+% library(iso_ext). The report counts a generated state space, summarizes each
+% stage, builds a trace with an explicit difference-list tail, checks every
+% transition, and compares variable-sharing schemas modulo variable names.
+
+%% goal: pipeline_audit(X0)
+
+stage(0, receive).
+stage(1, parse).
+stage(2, validate).
+stage(3, reason).
+stage(4, publish).
+
+transition(Index, From, To) :-
+  cfor(0, 3, Index),
+  succ(Index, Next),
+  stage(Index, From),
+  stage(Next, To).
+
+transition_is_well_formed(Index, From, To) :-
+  succ(Index, Next),
+  stage(Index, From),
+  stage(Next, To),
+  Index < Next.
+
+linked_pipeline_schema(
+  pipeline(step(_Input, Shared), step(Shared, _Output))).
+
+pipeline_audit(
+  report(
+    stages(StageCount),
+    transitions(TransitionCount),
+    summaries(StageSummaries),
+    trace(Trace),
+    invariant(true),
+    schema_variant(true)
+  )) :-
+  countall(stage(_, _), StageCount),
+  countall(transition(_, _, _), TransitionCount),
+  findall(
+    stage(Index, Name, outgoing(Outgoing)),
+    ( cfor(0, 4, Index),
+      stage(Index, Name),
+      countall(transition(Index, _, _), Outgoing)
+    ),
+    StageSummaries
+  ),
+  findall(
+    step(Index, From, To),
+    transition(Index, From, To),
+    Trace,
+    [complete]
+  ),
+  forall(
+    transition(Index, From, To),
+    transition_is_well_formed(Index, From, To)
+  ),
+  linked_pipeline_schema(Schema),
+  variant(
+    Schema,
+    pipeline(step(_Source, Middle), step(Middle, _Result))
+  ).

package/examples/output/iso-extension-pipeline-audit.pl

@@ -0,0 +1 @@
+pipeline_audit(report(stages(5), transitions(4), summaries([stage(0, receive, outgoing(1)), stage(1, parse, outgoing(1)), stage(2, validate, outgoing(1)), stage(3, reason, outgoing(1)), stage(4, publish, outgoing(0))]), trace([step(0, receive, parse), step(1, parse, validate), step(2, validate, reason), step(3, reason, publish), complete]), invariant(true), schema_variant(true))).

package/package.json

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

package/playground.html

@@ -543,6 +543,7 @@
           "iso-atomic-conversion",
           "iso-control-and-errors",
           "iso-dynamic-database",
+          "iso-extension-pipeline-audit",
           "iso-extensions",
           "iso-grouped-solutions",
           "iso-integer-arithmetic",

package/the-art-of-eyeprolog.md

@@ -6352,7 +6352,7 @@ Review questions:
 </figure>
 
 The [examples directory](https://github.com/eyereasoner/eyeprolog/tree/main/examples/) is the book's executable companion. The
-top-level directory contains **205 self-contained runnable programs**. Every
+top-level directory contains **206 self-contained runnable programs**. Every
 source program has an exact answer file under
 [examples/output](https://github.com/eyereasoner/eyeprolog/tree/main/examples/output/), and **61 selected programs** have a checked
 explanation under [examples/proof](https://github.com/eyereasoner/eyeprolog/tree/main/examples/proof/). The thematic tables below link every top-level program and open the program
@@ -6408,6 +6408,7 @@ mode at a time.
 | [Dynamic database](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-dynamic-database.pl) | Initialization and ordered updates to a declared dynamic procedure. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-dynamic-database.pl) · [proof](https://github.com/eyereasoner/eyeprolog/blob/main/examples/proof/iso-dynamic-database.pl) |
 | [Grouped solutions](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-grouped-solutions.pl) | `findall/3`, `bagof/3`, `setof/3`, existential qualification, and `clause/2`. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-grouped-solutions.pl) |
 | [Integer arithmetic](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-integer-arithmetic.pl) | Integer quotient/remainder choices plus bit operations. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-integer-arithmetic.pl) |
+| [ISO extension pipeline audit](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-extension-pipeline-audit.pl) | A bounded pipeline audit composing every `library(iso_ext)` relation: nested counting, universal validation, successor generation, difference-list collection, and schema comparison modulo variable names. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-extension-pipeline-audit.pl) |
 | [ISO extensions](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-extensions.pl) | Common control, collection, integer, and term-variant extensions from `library(iso_ext)`. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-extensions.pl) |
 | [Operators](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-operators.pl) | Custom syntax, standard term order, and operator-table inspection. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-operators.pl) · [proof](https://github.com/eyereasoner/eyeprolog/blob/main/examples/proof/iso-operators.pl) |
 | [Reflective terms](https://github.com/eyereasoner/eyeprolog/blob/main/examples/iso-reflective-terms.pl) | Term shape, construction, copying, variables, identity, and standard order. | [answers](https://github.com/eyereasoner/eyeprolog/blob/main/examples/output/iso-reflective-terms.pl) |