eyeprolog 0.5.3

package/LICENSE.md

@@ -0,0 +1,9 @@
+# MIT License
+
+### Copyright 2021-2026 Jos De Roo, KNoWS office of IDLab, Ghent University - imec
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

package/README.md

@@ -0,0 +1,53 @@
+# EyeProlog
+
+<p align="center">
+  <img src="eyeprolog-logo.png" alt="EyeProlog logo" width="520">
+</p>
+
+[![npm version](https://img.shields.io/npm/v/eyeprolog.svg)](https://www.npmjs.com/package/eyeprolog)
+[![DOI](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.21446308-blue.svg)](https://doi.org/10.5281/zenodo.21446308)
+
+EyeProlog combines ISO Prolog and W3C RDF 1.2 to produce answers with
+inspectable proofs.
+
+**[Book — *The Art of EyeProlog*](https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog)** ·
+**[Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog)** ·
+**[Playground](https://eyereasoner.github.io/eyeprolog/playground)**
+
+The book is the reference for the language, command line, JavaScript API,
+RDF 1.2 support, examples, proofs, conformance, and implementation.
+
+## Quick start
+
+EyeProlog requires Node.js 18 or newer.
+
+```sh
+npm install --global eyeprolog
+eyeprolog examples/socrates.pl
+eyeprolog --proof examples/socrates.pl
+eyeprolog --goal 'type(socrates, mortal)' examples/socrates.pl
+```
+
+Programs may declare their default queries with `%% goal:` comments.
+
+## RDF 1.2
+
+```sh
+node tools/rdf-to-pl.mjs --rules rules.pl data.ttl -o program.pl
+eyeprolog program.pl > derived.pl
+node tools/pl-to-rdf.mjs derived.pl -o derived.nq
+```
+
+See the book for RDF mappings, graphs, triple terms, reifiers, annotations,
+formats, and policy examples.
+
+## Development
+
+```sh
+git clone https://github.com/eyereasoner/eyeprolog.git
+cd eyeprolog
+npm install
+npm test
+```
+
+EyeProlog is released under the [MIT License](LICENSE.md).

package/bin/eyeprolog.js

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+import { main } from '../src/cli.js';
+
+await main(process.argv.slice(2)).catch((error) => {
+  console.error(`eyeprolog: ${error && error.message ? error.message : String(error)}`);
+  process.exitCode = 1;
+});

package/book-assets/aggregation-market.svg

@@ -0,0 +1,18 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="380" viewBox="0 0 900 380" role="img" aria-labelledby="title desc">
+  <title id="title">Aggregation at a produce market</title>
+  <desc id="desc">Baskets with measured weights pass over a market counter into count, sum, minimum, and maximum result cards.</desc>
+  <style>
+    .wall{fill:#eee5d3}.counter{fill:#a97852}.basket{fill:#c89062;stroke:#76553c;stroke-width:3}.fruit{stroke:#2f6f55;stroke-width:2}
+    .card{fill:#fffdf7;stroke:#243447;stroke-width:2}.text{fill:#243447;font:15px ui-monospace,monospace}
+    .flow{fill:none;stroke:#8b3a3a;stroke-width:3}.result{fill:#dcefe8;stroke:#2f6f55;stroke-width:3}
+  </style>
+  <rect width="900" height="380" class="wall"/><rect y="235" width="900" height="145" class="counter"/>
+  <g transform="translate(65 120)"><path class="basket" d="M0 40 H140 L120 130 H20Z"/><path d="M30 40 Q70-35 110 40" fill="none" stroke="#76553c" stroke-width="5"/><circle class="fruit" cx="48" cy="55" r="25" fill="#a55246"/><circle class="fruit" cx="91" cy="57" r="27" fill="#d9b85f"/><rect class="card" x="38" y="93" width="65" height="30"/><text class="text" x="70" y="114" text-anchor="middle">2 kg</text></g>
+  <g transform="translate(245 130) scale(.85)"><path class="basket" d="M0 40 H140 L120 130 H20Z"/><path d="M30 40 Q70-35 110 40" fill="none" stroke="#76553c" stroke-width="5"/><circle class="fruit" cx="48" cy="55" r="25" fill="#a55246"/><circle class="fruit" cx="91" cy="57" r="27" fill="#d9b85f"/><rect class="card" x="38" y="93" width="65" height="30"/><text class="text" x="70" y="114" text-anchor="middle">5 kg</text></g>
+  <g transform="translate(395 135) scale(.78)"><path class="basket" d="M0 40 H140 L120 130 H20Z"/><path d="M30 40 Q70-35 110 40" fill="none" stroke="#76553c" stroke-width="5"/><circle class="fruit" cx="48" cy="55" r="25" fill="#a55246"/><circle class="fruit" cx="91" cy="57" r="27" fill="#d9b85f"/><rect class="card" x="38" y="93" width="65" height="30"/><text class="text" x="70" y="114" text-anchor="middle">3 kg</text></g>
+  <path class="flow" d="M520 190 C575 190 575 95 630 95 M520 190 C575 190 575 165 630 165 M520 190 C575 190 575 235 630 235 M520 190 C575 190 575 305 630 305"/>
+  <rect class="result" x="630" y="67" width="210" height="55" rx="8"/><text class="text" x="735" y="100" text-anchor="middle">count = 3</text>
+  <rect class="result" x="630" y="137" width="210" height="55" rx="8"/><text class="text" x="735" y="170" text-anchor="middle">sum = 10 kg</text>
+  <rect class="result" x="630" y="207" width="210" height="55" rx="8"/><text class="text" x="735" y="240" text-anchor="middle">min = 2 kg</text>
+  <rect class="result" x="630" y="277" width="210" height="55" rx="8"/><text class="text" x="735" y="310" text-anchor="middle">max = 5 kg</text>
+</svg>

package/book-assets/and-or-binding-trace.svg

@@ -0,0 +1,59 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="510" viewBox="0 0 900 510" role="img" aria-labelledby="title desc">
+  <title id="title">An and-or search tree with an accumulating binding ledger</title>
+  <desc id="desc">An ancestor query chooses between clauses, completes every goal in a recursive clause, carries bindings from left to right, and rewinds to the latest choice after failure.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.goal{fill:#e7f3ee;stroke:#2f6f55;stroke-width:2}
+      .choice{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.fail{fill:#f8e3e3;stroke:#8b3a3a;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}
+      .prose{fill:#435166;font:16px Georgia,serif}.code{fill:#172334;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .line{fill:none;stroke:#526273;stroke-width:2}.dash{fill:none;stroke:#8b3a3a;stroke-width:2;stroke-dasharray:6 5}
+    </style>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker>
+    <marker id="redarrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#8b3a3a"/></marker>
+  </defs>
+  <rect width="900" height="510" fill="#f4efe3"/>
+  <text class="title" x="450" y="34" text-anchor="middle">READING ONE COMPUTATION</text>
+  <rect class="paper" x="25" y="55" width="540" height="420" rx="10"/>
+  <text class="label" x="295" y="84" text-anchor="middle">AND-OR SEARCH</text>
+  <rect class="goal" x="180" y="105" width="230" height="45" rx="8"/>
+  <text class="code" x="295" y="133" text-anchor="middle">ancestor(ada, Who)</text>
+  <path class="line" d="M295 150L150 205M295 150L425 205"/>
+  <text class="prose" x="295" y="179" text-anchor="middle">OR: either clause may establish the goal</text>
+  <rect class="choice" x="65" y="205" width="170" height="55" rx="8"/>
+  <text class="code" x="150" y="228" text-anchor="middle">direct clause</text>
+  <text class="prose" x="150" y="250" text-anchor="middle">one supporting goal</text>
+  <rect class="choice" x="335" y="205" width="180" height="55" rx="8"/>
+  <text class="code" x="425" y="228" text-anchor="middle">recursive clause</text>
+  <text class="prose" x="425" y="250" text-anchor="middle">two supporting goals</text>
+  <path class="line" d="M150 260V310M425 260L350 310M425 260L490 310"/>
+  <text class="prose" x="420" y="290" text-anchor="middle">AND: both goals must succeed</text>
+  <rect class="goal" x="67" y="310" width="166" height="48" rx="8"/>
+  <text class="code" x="150" y="339" text-anchor="middle">parent(ada,Who)</text>
+  <rect class="goal" x="270" y="310" width="160" height="48" rx="8"/>
+  <text class="code" x="350" y="339" text-anchor="middle">parent(ada,Y)</text>
+  <rect class="goal" x="440" y="310" width="100" height="48" rx="8"/>
+  <text class="code" x="490" y="330" text-anchor="middle">ancestor</text>
+  <text class="code" x="490" y="349" text-anchor="middle">(Y,Who)</text>
+  <rect class="fail" x="330" y="395" width="190" height="48" rx="8"/>
+  <text class="code" x="425" y="424" text-anchor="middle">later goal fails</text>
+  <path class="line" marker-end="url(#arrow)" d="M350 358L395 390"/>
+  <path class="dash" marker-end="url(#redarrow)" d="M425 395C570 385 570 235 520 235"/>
+  <text class="prose" x="294" y="462" text-anchor="middle">failure rewinds choices; it does not retract facts</text>
+
+  <rect class="paper" x="590" y="55" width="285" height="420" rx="10"/>
+  <text class="label" x="732" y="84" text-anchor="middle">BINDING LEDGER</text>
+  <text class="prose" x="615" y="116">selected goal</text>
+  <text class="code" x="615" y="142">parent(ada, Y)</text>
+  <path class="line" marker-end="url(#arrow)" d="M615 160H845"/>
+  <text class="prose" x="615" y="191">unifier produced</text>
+  <rect class="goal" x="615" y="207" width="230" height="43" rx="7"/>
+  <text class="code" x="730" y="234" text-anchor="middle">{ Y = byron }</text>
+  <path class="line" marker-end="url(#arrow)" d="M730 250V284"/>
+  <text class="prose" x="615" y="308">remaining goal resolves to</text>
+  <rect class="choice" x="615" y="325" width="230" height="43" rx="7"/>
+  <text class="code" x="730" y="352" text-anchor="middle">ancestor(byron, Who)</text>
+  <text class="prose" x="730" y="404" text-anchor="middle">Bindings travel forward</text>
+  <text class="prose" x="730" y="426" text-anchor="middle">through every later goal.</text>
+  <text class="code" x="730" y="454" text-anchor="middle">choose → bind → continue</text>
+</svg>

package/book-assets/arithmetic-binding-flow.svg

@@ -0,0 +1,15 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
+  <title id="title">Binding values before arithmetic</title>
+  <desc id="desc">A finite generator binds N, arithmetic computes its square, and a comparison filters the result; reversing the first two steps leaves arithmetic without an input.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.box{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}.code{fill:#172334;font:15px ui-monospace,monospace}.prose{fill:#435166;font:15px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="420"/><text class="title" x="450" y="38" text-anchor="middle">ARITHMETIC RUNS ON BOUND VALUES</text>
+  <rect class="green" x="45" y="95" width="220" height="150" rx="12"/><text class="label" x="155" y="128" text-anchor="middle">1 · GENERATE</text><text class="code" x="155" y="166" text-anchor="middle">between(1,10,N)</text><text class="prose" x="155" y="202" text-anchor="middle">binds N to one finite</text><text class="prose" x="155" y="225" text-anchor="middle">candidate at a time</text>
+  <rect class="gold" x="340" y="95" width="220" height="150" rx="12"/><text class="label" x="450" y="128" text-anchor="middle">2 · COMPUTE</text><text class="code" x="450" y="166" text-anchor="middle">S is N * N</text><text class="prose" x="450" y="202" text-anchor="middle">reads bound N</text><text class="prose" x="450" y="225" text-anchor="middle">and binds S</text>
+  <rect class="box" x="635" y="95" width="220" height="150" rx="12"/><text class="label" x="745" y="128" text-anchor="middle">3 · FILTER</text><text class="code" x="745" y="166" text-anchor="middle">S =&lt; 64</text><text class="prose" x="745" y="202" text-anchor="middle">keeps or rejects</text><text class="prose" x="745" y="225" text-anchor="middle">a ground candidate</text>
+  <path class="line" marker-end="url(#a)" d="M265 170H332"/><text class="code" x="299" y="155" text-anchor="middle">N</text><path class="line" marker-end="url(#a)" d="M560 170H627"/><text class="code" x="594" y="155" text-anchor="middle">N,S</text>
+  <rect class="rose" x="210" y="300" width="480" height="72" rx="10"/><text class="label" x="450" y="327" text-anchor="middle">ORDER IS A READINESS CONTRACT</text><text class="code" x="450" y="354" text-anchor="middle">S is N*N  before  between(...)  →  N is not ready</text>
+  <text class="prose" x="450" y="402" text-anchor="middle">The logical relation may be simple; the operational mode says which values must already exist.</text>
+</svg>

package/book-assets/auditable-decision-service.svg

@@ -0,0 +1,17 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="460" viewBox="0 0 900 460" role="img" aria-labelledby="title desc">
+  <title id="title">An auditable decision service keeps evidence, policy, decision, and proof connected</title>
+  <desc id="desc">Versioned evidence and policy flow through integrity checks and reasoning to a permit decision. A proof bundle points back to every source and theory version, while an explicit integrity query exposes invalid inputs.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}.dark{fill:#536b78;stroke:#243447;stroke-width:3}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 16px Georgia,serif}.code{fill:#172334;font:13px ui-monospace,monospace}.light{fill:#fffdf7;font:14px ui-monospace,monospace}.prose{fill:#435166;font:14px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">THE AUDIT TRAIL IS PART OF THE DECISION</text>
+  <rect class="paper" x="30" y="90" width="195" height="105" rx="10"/><text class="label" x="127" y="120" text-anchor="middle">SOURCE FACTS</text><text class="code" x="127" y="151" text-anchor="middle">person · badge</text><text class="code" x="127" y="176" text-anchor="middle">source_version(v7)</text>
+  <rect class="blue" x="30" y="245" width="195" height="105" rx="10"/><text class="label" x="127" y="275" text-anchor="middle">POLICY</text><text class="code" x="127" y="306" text-anchor="middle">standing · limits</text><text class="code" x="127" y="331" text-anchor="middle">theory_version(t3)</text>
+  <rect class="rose" x="285" y="90" width="205" height="105" rx="10"/><text class="label" x="387" y="120" text-anchor="middle">INTEGRITY QUERY</text><text class="code" x="387" y="151" text-anchor="middle">invalid_input(...)</text><text class="prose" x="387" y="176" text-anchor="middle">host handles invalid input</text>
+  <rect class="green" x="285" y="245" width="205" height="105" rx="10"/><text class="label" x="387" y="275" text-anchor="middle">REASONING CORE</text><text class="code" x="387" y="306" text-anchor="middle">permit(Person,Zone)</text><text class="prose" x="387" y="331" text-anchor="middle">joins evidence + policy</text>
+  <rect class="dark" x="555" y="90" width="310" height="105" rx="10"/><text class="light" x="710" y="125" text-anchor="middle">DECISION</text><text class="light" x="710" y="158" text-anchor="middle">permit(alex, lab_north)</text>
+  <rect class="paper" x="555" y="245" width="310" height="105" rx="10"/><text class="label" x="710" y="275" text-anchor="middle">PROOF BUNDLE</text><text class="code" x="710" y="306" text-anchor="middle">premises · v7 · t3</text><text class="prose" x="710" y="331" text-anchor="middle">replayable provenance</text>
+  <path class="line" marker-end="url(#a)" d="M225 142H277M225 297H277M490 297H547M710 237V203"/><path class="line" marker-end="url(#a)" d="M387 195V237"/>
+  <text class="prose" x="450" y="410" text-anchor="middle">A proof validates the derivation; versions and authenticated sources make it auditable later.</text>
+</svg>

package/book-assets/bounded-experimental-math.svg

@@ -0,0 +1,14 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="440" viewBox="0 0 900 440" role="img" aria-labelledby="title desc">
+  <title id="title">Finite search as experimental mathematics</title>
+  <desc id="desc">A universal conjecture is restricted to a declared finite domain. Search either returns a counterexample, which refutes the conjecture, or exhausts the box, which supplies bounded evidence but not a universal proof.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.domain{fill:#dcebf0;stroke:#526273;stroke-width:3}.bad{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}.good{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}.code{fill:#172334;font:14px ui-monospace,monospace}.prose{fill:#435166;font:15px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="440"/><text class="title" x="450" y="38" text-anchor="middle">FINITE SEARCH: REFUTATION AND BOUNDED EVIDENCE</text>
+  <rect class="paper" x="30" y="125" width="210" height="125" rx="10"/><text class="label" x="135" y="158" text-anchor="middle">CONJECTURE</text><text class="code" x="135" y="198" text-anchor="middle">∀ n . P(n)</text><text class="prose" x="135" y="227" text-anchor="middle">a universal claim</text>
+  <path class="line" marker-end="url(#a)" d="M240 187H292"/><rect class="domain" x="300" y="75" width="300" height="250" rx="16"/><text class="label" x="450" y="110" text-anchor="middle">DECLARED FINITE DOMAIN</text><text class="code" x="450" y="145" text-anchor="middle">between(-100,100,n)</text><circle cx="380" cy="205" r="12" fill="#2f6f55"/><circle cx="425" cy="235" r="12" fill="#2f6f55"/><circle cx="480" cy="185" r="12" fill="#2f6f55"/><circle cx="530" cy="245" r="12" fill="#8b3a3a"/><text class="prose" x="450" y="295" text-anchor="middle">test every generated point</text>
+  <path class="line" marker-end="url(#a)" d="M600 150C645 135 650 125 680 125"/><rect class="bad" x="688" y="75" width="182" height="125" rx="10"/><text class="label" x="779" y="108" text-anchor="middle">FOUND n</text><text class="code" x="779" y="145" text-anchor="middle">¬ P(n)</text><text class="prose" x="779" y="175" text-anchor="middle">global refutation</text>
+  <path class="line" marker-end="url(#a)" d="M600 260C645 275 650 290 680 290"/><rect class="good" x="688" y="240" width="182" height="125" rx="10"/><text class="label" x="779" y="273" text-anchor="middle">NONE FOUND</text><text class="code" x="779" y="310" text-anchor="middle">P(-100..100)</text><text class="prose" x="779" y="340" text-anchor="middle">bounded evidence</text>
+  <text class="prose" x="450" y="410" text-anchor="middle">Exhaustion proves the bounded statement—not the unbounded theorem.</text>
+</svg>

package/book-assets/cli-observation-loop.svg

@@ -0,0 +1,44 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="470" viewBox="0 0 900 470" role="img" aria-labelledby="title desc">
+  <title id="title">The command line observation loop</title>
+  <desc id="desc">A predicted result and an EyeProlog program enter the command line. It emits answers and proofs on standard output, warnings and statistics on standard error, and a process status. Comparison of prediction and evidence leads to a focused revision.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.source{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.engine{fill:#243447;stroke:#172334;stroke-width:3}.out{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.diag{fill:#c7dfe2;stroke:#376e75;stroke-width:2}.status{fill:#ead7d7;stroke:#8b3a3a;stroke-width:2}.compare{fill:#fffdf7;stroke:#526273;stroke-width:2}
+      .line{fill:none;stroke:#526273;stroke-width:3;stroke-linecap:round}.arrow{fill:#526273}.title{fill:#713535;font:bold 24px Georgia,serif}.label{fill:#172334;font:bold 17px Georgia,serif}.small{fill:#435166;font:15px Georgia,serif}.code{fill:#fffdf7;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}.loop{fill:#713535;font:bold 16px Georgia,serif}
+    </style>
+  </defs>
+  <rect width="900" height="470" class="bg"/>
+  <text class="title" x="450" y="36" text-anchor="middle">OBSERVE ONE QUESTION THROUGH THREE CHANNELS</text>
+
+  <rect class="source" x="35" y="105" width="210" height="105" rx="14"/>
+  <text class="label" x="140" y="137" text-anchor="middle">PROGRAM + QUERY</text>
+  <text class="small" x="140" y="165" text-anchor="middle">fixed source · input</text>
+  <text class="small" x="140" y="188" text-anchor="middle">predicted answers</text>
+
+  <path class="line" d="M245 158H320"/><path class="arrow" d="M310 150L324 158L310 166Z"/>
+  <rect class="engine" x="325" y="100" width="220" height="115" rx="18"/>
+  <text class="code" x="435" y="145" text-anchor="middle">eyeprolog -pws</text>
+  <text class="code" x="435" y="177" text-anchor="middle">program.pl</text>
+
+  <path class="line" d="M545 158H590M590 85V305"/>
+  <path class="line" d="M590 95H625M590 195H625M590 295H625"/>
+  <path class="arrow" d="M615 87L629 95L615 103Z"/><path class="arrow" d="M615 187L629 195L615 203Z"/><path class="arrow" d="M615 287L629 295L615 303Z"/>
+
+  <rect class="out" x="630" y="55" width="235" height="80" rx="12"/>
+  <text class="label" x="747" y="84" text-anchor="middle">STDOUT · LOGICAL</text>
+  <text class="small" x="747" y="109" text-anchor="middle">ground answers · why/2</text>
+  <rect class="diag" x="630" y="155" width="235" height="80" rx="12"/>
+  <text class="label" x="747" y="184" text-anchor="middle">STDERR · OPERATIONAL</text>
+  <text class="small" x="747" y="209" text-anchor="middle">warnings · statistics</text>
+  <rect class="status" x="630" y="255" width="235" height="80" rx="12"/>
+  <text class="label" x="747" y="284" text-anchor="middle">STATUS · AUTOMATION</text>
+  <text class="small" x="747" y="309" text-anchor="middle">0 · 65 · 1 · halt code</text>
+
+  <rect class="compare" x="230" y="300" width="360" height="75" rx="14"/>
+  <text class="label" x="410" y="330" text-anchor="middle">COMPARE WITH THE PREDICTION</text>
+  <text class="small" x="410" y="354" text-anchor="middle">answers · support · cost · status</text>
+  <path class="line" d="M630 335L590 337"/><path class="arrow" d="M604 329L590 337L604 345Z"/>
+  <path class="line" d="M230 337H140V220"/><path class="arrow" d="M132 234L140 220L148 234Z"/>
+  <text class="loop" x="182" y="328" text-anchor="middle">REVISE</text>
+  <text class="small" x="450" y="445" text-anchor="middle">Keep the semantic case fixed when comparing performance.</text>
+</svg>

package/book-assets/context-data-boundary.svg

@@ -0,0 +1,15 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="430" viewBox="0 0 900 430" role="img" aria-labelledby="title desc">
+  <title id="title">Text becomes structured context without becoming global fact</title>
+  <desc id="desc">Raw text is normalized into a message context. An ordinary relation inspects members inside that context, while a boundary prevents those members from becoming ambient facts.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.ctx{fill:#dcefe8;stroke:#2f6f55;stroke-width:3}.warn{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}.code{fill:#172334;font:14px ui-monospace,monospace}.prose{fill:#435166;font:15px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="430"/><text class="title" x="450" y="38" text-anchor="middle">STRUCTURE TEXT AT THE MODEL BOUNDARY</text>
+  <rect class="paper" x="30" y="105" width="210" height="150" rx="10"/><text class="label" x="135" y="138" text-anchor="middle">RAW INPUT</text><text class="code" x="135" y="178" text-anchor="middle">" TEMP 91 "</text><text class="prose" x="135" y="215" text-anchor="middle">trim · normalize · parse</text>
+  <path class="line" marker-end="url(#a)" d="M240 180H292"/>
+  <rect class="ctx" x="300" y="75" width="330" height="220" rx="16"/><text class="label" x="465" y="110" text-anchor="middle">MESSAGE CONTEXT · event_17</text><rect class="paper" x="340" y="135" width="250" height="38" rx="18"/><text class="code" x="465" y="159" text-anchor="middle">severity(high)</text><rect class="paper" x="340" y="183" width="250" height="38" rx="18"/><text class="code" x="465" y="207" text-anchor="middle">source(sensor_3)</text><rect class="paper" x="340" y="231" width="250" height="38" rx="18"/><text class="code" x="465" y="255" text-anchor="middle">reading(temp,91)</text>
+  <path class="line" marker-end="url(#a)" d="M630 185H680"/><rect class="paper" x="688" y="105" width="182" height="150" rx="10"/><text class="label" x="779" y="138" text-anchor="middle">INSPECT</text><text class="code" x="779" y="178" text-anchor="middle">context_member/2</text><text class="prose" x="779" y="211" text-anchor="middle">walks members</text><text class="prose" x="779" y="233" text-anchor="middle">inside this message</text>
+  <path d="M285 315H645" stroke="#8b3a3a" stroke-width="3" stroke-dasharray="8 6"/><text class="label" x="465" y="340" text-anchor="middle">CONTEXT BOUNDARY</text>
+  <rect class="warn" x="245" y="360" width="440" height="45" rx="9"/><text class="code" x="465" y="388" text-anchor="middle">inspection ≠ asserting severity(high) globally</text>
+</svg>

package/book-assets/correctness-obligations.svg

@@ -0,0 +1,15 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="430" viewBox="0 0 900 430" role="img" aria-labelledby="title desc">
+  <title id="title">Correctness, completeness, and termination are separate obligations</title>
+  <desc id="desc">Three overlapping circles represent no false answers, all intended answers, and finite computation. The dependable operational contract lies where all three overlap.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.sound{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.complete{fill:#dcebf0;stroke:#526273;stroke-width:2}.term{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.contract{fill:#fffdf7;stroke:#8b3a3a;stroke-width:2.5}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}.prose{fill:#435166;font:15px Georgia,serif}.code{fill:#172334;font:14px ui-monospace,monospace}.center{fill:#713535;font:bold 17px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="430"/><text class="title" x="450" y="38" text-anchor="middle">THREE PROMISES, THREE PROOF OBLIGATIONS</text>
+  <rect class="sound" x="35" y="85" width="250" height="155" rx="12"/><text class="label" x="160" y="120" text-anchor="middle">SOUNDNESS</text><text class="prose" x="160" y="157" text-anchor="middle">Every returned answer</text><text class="prose" x="160" y="181" text-anchor="middle">is justified.</text><text class="code" x="160" y="216" text-anchor="middle">no false answers</text>
+  <rect class="complete" x="325" y="85" width="250" height="155" rx="12"/><text class="label" x="450" y="120" text-anchor="middle">COMPLETENESS</text><text class="prose" x="450" y="157" text-anchor="middle">Every intended answer</text><text class="prose" x="450" y="181" text-anchor="middle">can be found.</text><text class="code" x="450" y="216" text-anchor="middle">none silently lost</text>
+  <rect class="term" x="615" y="85" width="250" height="155" rx="12"/><text class="label" x="740" y="120" text-anchor="middle">TERMINATION</text><text class="prose" x="740" y="157" text-anchor="middle">Every intended call</text><text class="prose" x="740" y="181" text-anchor="middle">finishes.</text><text class="code" x="740" y="216" text-anchor="middle">finite computation</text>
+  <path class="line" marker-end="url(#arrow)" d="M160 240C190 285 300 285 350 308"/><path class="line" marker-end="url(#arrow)" d="M450 240V298"/><path class="line" marker-end="url(#arrow)" d="M740 240C710 285 600 285 550 308"/>
+  <rect class="contract" x="250" y="305" width="400" height="85" rx="16"/><text class="center" x="450" y="338" text-anchor="middle">DEPENDABLE CALL CONTRACT</text><text class="prose" x="450" y="367" text-anchor="middle">all three promises, for a stated mode</text>
+  <text class="prose" x="450" y="418" text-anchor="middle">Passing examples is evidence; each promise still needs its own argument.</text>
+</svg>

package/book-assets/debugging-four-lenses.svg

@@ -0,0 +1,49 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">Debugging through meaning, bindings, search, and proof</title>
+  <desc id="desc">A disputed ground question passes through four diagnostic lenses in order: clarify its meaning, trace bindings left to right, inspect search behavior, and examine successful proof premises before preserving the repair as a regression.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+      .gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}
+      .blue{fill:#dcebf0;stroke:#526273;stroke-width:2}.title{fill:#8b3a3a;font:bold 24px Georgia,serif}
+      .label{fill:#243447;font:bold 17px Georgia,serif}.prose{fill:#435166;font:15px Georgia,serif}
+      .code{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}.line{fill:none;stroke:#526273;stroke-width:2.5}
+    </style>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker>
+  </defs>
+  <rect width="900" height="500" fill="#f4efe3"/>
+  <text class="title" x="450" y="35" text-anchor="middle">DEBUG THROUGH FOUR LENSES</text>
+  <rect class="paper" x="200" y="60" width="500" height="65" rx="10"/>
+  <text class="label" x="450" y="86" text-anchor="middle">SMALLEST DISPUTED GROUND QUESTION</text>
+  <text class="code" x="450" y="110" text-anchor="middle">eyeprolog --goal 'eligible(alex)' program.pl</text>
+  <path class="line" marker-end="url(#arrow)" d="M450 125C360 142 215 132 122 158"/>
+
+  <rect class="blue" x="25" y="165" width="195" height="135" rx="10"/>
+  <text class="label" x="122" y="194" text-anchor="middle">1 · MEANING</text>
+  <text class="prose" x="122" y="225" text-anchor="middle">What should this</text>
+  <text class="prose" x="122" y="247" text-anchor="middle">ground sentence say?</text>
+  <text class="code" x="122" y="278" text-anchor="middle">domain first</text>
+  <rect class="gold" x="240" y="165" width="195" height="135" rx="10"/>
+  <text class="label" x="337" y="194" text-anchor="middle">2 · BINDINGS</text>
+  <text class="prose" x="337" y="225" text-anchor="middle">What is known</text>
+  <text class="prose" x="337" y="247" text-anchor="middle">before each goal?</text>
+  <text class="code" x="337" y="278" text-anchor="middle">binding ledger</text>
+  <rect class="rose" x="455" y="165" width="195" height="135" rx="10"/>
+  <text class="label" x="552" y="194" text-anchor="middle">3 · SEARCH</text>
+  <text class="prose" x="552" y="225" text-anchor="middle">Which alternatives</text>
+  <text class="prose" x="552" y="247" text-anchor="middle">repeat or fail?</text>
+  <text class="code" x="552" y="278" text-anchor="middle">tree + --stats</text>
+  <rect class="green" x="670" y="165" width="205" height="135" rx="10"/>
+  <text class="label" x="772" y="194" text-anchor="middle">4 · PROOF</text>
+  <text class="prose" x="772" y="225" text-anchor="middle">Which premises support</text>
+  <text class="prose" x="772" y="247" text-anchor="middle">the surprising answer?</text>
+  <text class="code" x="772" y="278" text-anchor="middle">--proof</text>
+  <path class="line" marker-end="url(#arrow)" d="M220 232H233M435 232H448M650 232H663"/>
+
+  <path class="line" marker-end="url(#arrow)" d="M772 300C772 338 650 342 610 358"/>
+  <rect class="paper" x="205" y="365" width="490" height="100" rx="10"/>
+  <text class="label" x="450" y="395" text-anchor="middle">PRESERVE WHAT THE FAILURE TAUGHT</text>
+  <text class="prose" x="450" y="425" text-anchor="middle">repair one invariant, then leave a regression, integrity case, mode test,</text>
+  <text class="prose" x="450" y="449" text-anchor="middle">bounded property, proof golden, or explanatory comment</text>
+  <text class="prose" x="450" y="490" text-anchor="middle">Stop at the first lens that reveals the mismatch; later views answer different questions.</text>
+</svg>

package/book-assets/example-landscape.svg

@@ -0,0 +1,48 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">The executable example landscape</title>
+  <desc id="desc">A map connects a central EyeProlog program to mathematics, search, planning, policy, science, program analysis, symbolic systems, and RDF, with paths to answers and proofs.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.region{stroke:#243447;stroke-width:2}.core{fill:#243447;stroke:#172334;stroke-width:3}
+      .path{fill:none;stroke:#fffdf7;stroke-width:5;stroke-linecap:round;opacity:.9}.link{fill:none;stroke:#526273;stroke-width:2.5;stroke-dasharray:6 5}
+      .title{fill:#713535;font:bold 24px Georgia,serif}.label{fill:#172334;font:bold 17px Georgia,serif}
+      .small{fill:#435166;font:16px Georgia,serif}.output{fill:#435166;font:14px Georgia,serif}.code{fill:#dcefe8;font:16px ui-monospace,SFMono-Regular,Consolas,monospace}
+    </style>
+  </defs>
+  <rect width="900" height="500" class="bg"/>
+  <text class="title" x="450" y="34" text-anchor="middle">THE EXAMPLES ARE A CONNECTED LANDSCAPE</text>
+
+  <path class="region" fill="#dcefe8" d="M35 65H270L300 155L245 220H45Z"/>
+  <text class="label" x="145" y="103" text-anchor="middle">MATHEMATICS</text>
+  <text class="small" x="145" y="130" text-anchor="middle">induction · algebra · number</text>
+  <text class="small" x="145" y="151" text-anchor="middle">theory · counterexamples</text>
+
+  <path class="region" fill="#e8c980" d="M630 65H865V220H655L600 155Z"/>
+  <text class="label" x="755" y="103" text-anchor="middle">SEARCH &amp; PLANNING</text>
+  <text class="small" x="755" y="130" text-anchor="middle">puzzles · routes · schedules</text>
+  <text class="small" x="755" y="151" text-anchor="middle">states · optimization</text>
+
+  <path class="region" fill="#ead7d7" d="M35 280H245L300 345L270 440H35Z"/>
+  <text class="label" x="145" y="326" text-anchor="middle">POLICY &amp; TRUST</text>
+  <text class="small" x="145" y="353" text-anchor="middle">decisions · provenance</text>
+  <text class="small" x="145" y="374" text-anchor="middle">integrity · audit</text>
+
+  <path class="region" fill="#c7dfe2" d="M655 280H865V440H630L600 345Z"/>
+  <text class="label" x="755" y="326" text-anchor="middle">SCIENCE &amp; RDF</text>
+  <text class="small" x="755" y="353" text-anchor="middle">models · measurements</text>
+  <text class="small" x="755" y="374" text-anchor="middle">graphs · adapters</text>
+
+  <path class="link" d="M270 145L355 205M630 145L545 205M270 355L355 295M630 355L545 295"/>
+  <rect class="core" x="335" y="175" width="230" height="150" rx="18"/>
+  <text class="code" x="450" y="212" text-anchor="middle">source.pl</text>
+  <path class="path" d="M372 235H528"/>
+  <text class="code" x="450" y="268" text-anchor="middle">eyeprolog --goal 'Question' program.pl</text>
+  <text class="code" x="450" y="300" text-anchor="middle">rule :- evidence.</text>
+
+  <rect x="305" y="385" width="140" height="55" rx="10" fill="#fffdf7" stroke="#2f6f55" stroke-width="2"/>
+  <text class="label" x="375" y="408" text-anchor="middle">ANSWERS</text><text class="output" x="375" y="428" text-anchor="middle">ground results</text>
+  <rect x="455" y="385" width="140" height="55" rx="10" fill="#fffdf7" stroke="#9a5b18" stroke-width="2"/>
+  <text class="label" x="525" y="408" text-anchor="middle">PROOFS</text><text class="output" x="525" y="428" text-anchor="middle">supporting steps</text>
+  <path class="link" d="M410 325L382 385M490 325L518 385"/>
+  <text class="small" x="450" y="474" text-anchor="middle">predict → run → compare → inspect → revise</text>
+</svg>

package/book-assets/finite-search-funnel.svg

@@ -0,0 +1,40 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">Finite search narrows candidates into ordered witnesses</title>
+  <desc id="desc">A finite generator creates candidates, ready constraints prune them, witness construction preserves useful evidence, and ordering chooses among survivors without reducing the original candidate space.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+      .gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}
+      .prose{fill:#435166;font:16px Georgia,serif}.code{fill:#172334;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.cut{fill:none;stroke:#8b3a3a;stroke-width:2}
+    </style>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker>
+  </defs>
+  <rect width="900" height="500" fill="#f4efe3"/>
+  <text class="title" x="450" y="35" text-anchor="middle">DESIGN THE SEARCH BEFORE RUNNING IT</text>
+  <path d="M80 85H820L690 360H210Z" fill="#fffdf7" stroke="#243447" stroke-width="2"/>
+  <path d="M80 85H820L780 170H120Z" fill="#dcebf0"/>
+  <path d="M120 170H780L740 255H160Z" fill="#f1dfdf"/>
+  <path d="M160 255H740L700 340H200Z" fill="#dcefe8"/>
+  <text class="label" x="450" y="113" text-anchor="middle">1 · GENERATE A FINITE DOMAIN</text>
+  <text class="code" x="450" y="142" text-anchor="middle">workers × tasks = 3 × 2 = 6 candidates</text>
+  <text class="label" x="450" y="199" text-anchor="middle">2 · APPLY THE EARLIEST READY CONSTRAINTS</text>
+  <text class="code" x="450" y="228" text-anchor="middle">qualified(Worker, Task) → 4 survivors</text>
+  <text class="label" x="450" y="285" text-anchor="middle">3 · CONSTRUCT THE WITNESS</text>
+  <text class="code" x="450" y="314" text-anchor="middle">assignment(Worker, Task)</text>
+  <path class="line" marker-end="url(#arrow)" d="M450 340V385"/>
+  <rect class="gold" x="285" y="385" width="330" height="65" rx="10"/>
+  <text class="label" x="450" y="412" text-anchor="middle">4 · ORDER SURVIVORS</text>
+  <text class="code" x="450" y="437" text-anchor="middle">once · findall · aggregate_min</text>
+  <path class="cut" d="M742 192L770 220M770 192L742 220M705 272L733 300M733 272L705 300"/>
+  <rect class="paper" x="35" y="375" width="210" height="85" rx="9"/>
+  <text class="label" x="140" y="404" text-anchor="middle">BOUND FIRST</text>
+  <text class="prose" x="140" y="430" text-anchor="middle">An unbounded generator</text>
+  <text class="prose" x="140" y="451" text-anchor="middle">defeats safe aggregation.</text>
+  <rect class="paper" x="655" y="375" width="210" height="85" rx="9"/>
+  <text class="label" x="760" y="404" text-anchor="middle">ASK FOR ENOUGH</text>
+  <text class="prose" x="760" y="430" text-anchor="middle">Existence, one witness,</text>
+  <text class="prose" x="760" y="451" text-anchor="middle">and all witnesses differ.</text>
+  <text class="prose" x="450" y="485" text-anchor="middle">Ordering chooses among survivors; it does not prune the generator.</text>
+</svg>

package/book-assets/herbrand-world.svg

@@ -0,0 +1,55 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">Herbrand universe, base, and least model</title>
+  <desc id="desc">Ground terms form the Herbrand universe; ground atomic formulas form the Herbrand base; the formulas justified by facts and rules form the least model.</desc>
+  <defs>
+    <marker id="arrow" markerWidth="10" markerHeight="10" refX="8" refY="3" orient="auto">
+      <path d="M0,0 L0,6 L9,3 z" fill="#526273"/>
+    </marker>
+    <style>
+      .box{fill:#fffdf7;stroke:#243447;stroke-width:2}
+      .model{fill:#e7f3ee;stroke:#2f6f55;stroke-width:3}
+      .title{fill:#8b3a3a;font:bold 19px Georgia,serif}
+      .box-title{fill:#8b3a3a;font:bold 17px Georgia,serif}
+      .box-sub{fill:#435166;font:15px Georgia,serif}
+      .text{fill:#172334;font:18px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .prose{fill:#435166;font:17px Georgia,serif}
+      .line{stroke:#526273;stroke-width:2;fill:none;marker-end:url(#arrow)}
+    </style>
+  </defs>
+  <rect width="900" height="500" fill="#f4efe3"/>
+  <rect class="box" x="35" y="65" width="240" height="360" rx="10"/>
+  <text class="box-title" x="155" y="100" text-anchor="middle">HERBRAND UNIVERSE</text>
+  <text class="box-sub" x="155" y="125" text-anchor="middle">all constructible</text>
+  <text class="box-sub" x="155" y="145" text-anchor="middle">ground terms</text>
+  <text class="text" x="65" y="180">pat</text>
+  <text class="text" x="65" y="220">jan</text>
+  <text class="text" x="65" y="260">3</text>
+  <text class="text" x="65" y="300">[red,blue]</text>
+  <text class="text" x="65" y="340">ticket(pat)</text>
+  <text class="prose" x="65" y="390">Terms denote themselves.</text>
+
+  <rect class="box" x="330" y="65" width="260" height="360" rx="10"/>
+  <text class="box-title" x="460" y="100" text-anchor="middle">HERBRAND BASE</text>
+  <text class="box-sub" x="460" y="125" text-anchor="middle">all constructible</text>
+  <text class="box-sub" x="460" y="145" text-anchor="middle">ground formulas</text>
+  <text class="text" x="355" y="180">person(pat)</text>
+  <text class="text" x="355" y="220">person(jan)</text>
+  <text class="text" x="355" y="260">parent(pat,jan)</text>
+  <text class="text" x="355" y="300">ancestor(pat,jan)</text>
+  <text class="text" x="355" y="340">owns(jan,ticket(pat))</text>
+  <text class="prose" x="355" y="390">Formulas may be true or false.</text>
+
+  <rect class="model" x="645" y="105" width="220" height="280" rx="110"/>
+  <text class="title" x="755" y="155" text-anchor="middle">LEAST MODEL</text>
+  <text class="box-sub" x="755" y="180" text-anchor="middle">facts + rule</text>
+  <text class="box-sub" x="755" y="200" text-anchor="middle">consequences</text>
+  <text class="text" x="675" y="235">person(pat)</text>
+  <text class="text" x="675" y="275">parent(pat,jan)</text>
+  <text class="text" x="675" y="315">ancestor(pat,jan)</text>
+
+  <path class="line" d="M278 245 L325 245"/>
+  <path class="line" d="M593 245 L640 245"/>
+  <text class="prose" x="301" y="225" text-anchor="middle">build</text>
+  <text class="prose" x="616" y="225" text-anchor="middle">justify</text>
+  <text class="prose" x="450" y="470" text-anchor="middle">The least model is the smallest part of the base closed under the rules.</text>
+</svg>

package/book-assets/integrity-check-control-panel.svg

@@ -0,0 +1,15 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="380" viewBox="0 0 900 380" role="img" aria-labelledby="title desc">
+  <title id="title">An integrity check on an engineering control panel</title>
+  <desc id="desc">Conflicting lower and upper limits produce an invalid-state result for the host to handle before operation.</desc>
+  <style>
+    .wall{fill:#e9f1ee}.panel{fill:#536b78;stroke:#243447;stroke-width:4}.screen{fill:#fffdf7;stroke:#243447;stroke-width:2}
+    .text{fill:#243447;font:17px ui-monospace,monospace}.light{fill:#8b3a3a;stroke:#713535;stroke-width:3}.safe{fill:#2f6f55}
+    .wire{fill:none;stroke:#8b3a3a;stroke-width:5}.lever{fill:#d7e9e2;stroke:#243447;stroke-width:3}
+  </style>
+  <rect width="900" height="380" class="wall"/><rect class="panel" x="55" y="40" width="790" height="300" rx="15"/>
+  <rect class="screen" x="95" y="80" width="230" height="120" rx="7"/><text class="text" x="210" y="110" text-anchor="middle">LOWER LIMIT</text><text class="text" x="210" y="165" text-anchor="middle" font-size="30">80</text>
+  <rect class="screen" x="575" y="80" width="230" height="120" rx="7"/><text class="text" x="690" y="110" text-anchor="middle">UPPER LIMIT</text><text class="text" x="690" y="165" text-anchor="middle" font-size="30">60</text>
+  <path class="wire" d="M325 140 H390 M510 140 H575"/><circle class="light" cx="450" cy="140" r="48"/><text x="450" y="132" text-anchor="middle" fill="#fffdf7" font-family="Georgia,serif" font-weight="bold" font-size="18">INVALID</text><text x="450" y="157" text-anchor="middle" fill="#fffdf7" font-family="ui-monospace,monospace" font-size="14">FOUND</text>
+  <rect class="screen" x="300" y="230" width="300" height="65" rx="8"/><text class="text" x="450" y="256" text-anchor="middle">invalid_limits(Low, High).</text><text x="450" y="280" text-anchor="middle" fill="#8b3a3a" font-family="ui-monospace,monospace" font-size="16">reported to the host</text>
+  <circle cx="140" cy="265" r="16" class="safe"/><circle cx="760" cy="265" r="16" class="light"/>
+</svg>

package/book-assets/iso-control-board.svg

@@ -0,0 +1,29 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="390" viewBox="0 0 900 390" role="img" aria-labelledby="title desc">
+  <title id="title">Control, recovery, and collection board</title>
+  <desc id="desc">A goal enters a control board, branches through choice and exception recovery, then solutions flow into findall, bagof, and setof collectors.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.box{fill:#fffdf7;stroke:#243447;stroke-width:2}.choice{fill:#f3dddd;stroke:#8b3a3a;stroke-width:2}
+      .ok{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.group{fill:#dcebf0;stroke:#526273;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 23px Georgia,serif}.label{fill:#243447;font:bold 16px Georgia,serif}
+      .code{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}.prose{fill:#435166;font:15px Georgia,serif}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.error{fill:none;stroke:#8b3a3a;stroke-width:2.5;stroke-dasharray:7 5}
+    </style>
+    <marker id="a" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#526273"/></marker>
+    <marker id="r" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#8b3a3a"/></marker>
+  </defs>
+  <rect width="900" height="390" class="bg"/><text class="title" x="450" y="34" text-anchor="middle">FROM A GOAL TO A CONTROLLED ANSWER SET</text>
+  <rect class="box" x="30" y="145" width="130" height="70" rx="10"/><text class="label" x="95" y="174" text-anchor="middle">GOAL</text><text class="code" x="95" y="199" text-anchor="middle">route(A, B)</text>
+  <path class="line" marker-end="url(#a)" d="M160 180H205"/>
+  <polygon class="choice" points="270,105 335,180 270,255 205,180"/><text class="label" x="270" y="170" text-anchor="middle">CHOICE</text><text class="code" x="270" y="195" text-anchor="middle">once / ! / -></text>
+  <path class="line" marker-end="url(#a)" d="M335 180H395"/>
+  <rect class="ok" x="395" y="135" width="150" height="90" rx="10"/><text class="label" x="470" y="165" text-anchor="middle">SOLUTIONS</text><text class="code" x="470" y="190" text-anchor="middle">north-7</text><text class="code" x="470" y="211" text-anchor="middle">south-9</text>
+  <path class="error" marker-end="url(#r)" d="M270 105C270 60 460 60 460 120"/><rect class="choice" x="355" y="48" width="210" height="54" rx="10"/><text class="code" x="460" y="70" text-anchor="middle">throw(Error)</text><text class="prose" x="460" y="91" text-anchor="middle">catch → recovery goal</text>
+
+  <path class="line" marker-end="url(#a)" d="M545 180H590"/>
+  <rect class="box" x="590" y="67" width="275" height="72" rx="10"/><text class="label" x="727" y="93" text-anchor="middle">findall/3</text><text class="prose" x="727" y="117" text-anchor="middle">one flat list · [] when empty</text>
+  <rect class="group" x="590" y="159" width="275" height="72" rx="10"/><text class="label" x="727" y="185" text-anchor="middle">bagof/3</text><text class="prose" x="727" y="209" text-anchor="middle">one bag per free-variable group</text>
+  <rect class="gold" x="590" y="251" width="275" height="72" rx="10"/><text class="label" x="727" y="277" text-anchor="middle">setof/3</text><text class="prose" x="727" y="301" text-anchor="middle">group · sort · deduplicate</text>
+  <path class="line" d="M570 180V103H590M570 180V195H590M570 180V287H590"/>
+  <text class="prose" x="450" y="366" text-anchor="middle">Control narrows search; recovery handles exceptional paths; collectors reshape finite solutions.</text>
+</svg>