eyeprolog 1.6.21 → 1.6.22

package/book-assets/part-7-laboratory.svg

@@ -9,8 +9,25 @@
       .line{fill:none;stroke:#537487;stroke-width:2.5}.title{fill:#9D8200;font:bold 24px Georgia,serif}
       .label{fill:#17324D;font:17px Georgia,serif}.code{fill:#DDF7FB;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
       .darkcode{fill:#17324D;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+    
+      .f-537487{fill:#537487}
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#272015}
+        .bench{fill:#36301D}
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .screen{fill:#31475C;stroke:#88BCDC;stroke-width:4}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .red{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+        .title{fill:#EBE5CA;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:17px Georgia,serif}
+        .code{fill:#E1F1F4;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .darkcode{fill:#D7E3F0;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .f-537487{fill:#2C3D47}
+      }
     </style>
-    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" class="f-537487"/></marker>
   </defs>
   <rect width="900" height="470" class="bg"/><rect y="350" width="900" height="120" class="bench"/>
   <text class="title" x="450" y="35" text-anchor="middle">THE REASONING LABORATORY</text>
@@ -18,7 +35,7 @@
   <text class="code" x="340" y="108">theory.pl</text>
   <text class="code" x="340" y="143">answer(X) :-</text><text class="code" x="365" y="166">evidence(X),</text><text class="code" x="365" y="189">within_limit(X).</text>
   <text class="code" x="340" y="225">eyeprolog --goal 'answer(X)' program.pl</text>
-  <path d="M415 262L450 300L485 262Z" fill="#537487"/><rect x="380" y="298" width="140" height="12" rx="6" fill="#537487"/>
+  <path d="M415 262L450 300L485 262Z" class="f-537487"/><rect x="380" y="298" width="140" height="12" rx="6" class="f-537487"/>
 
   <rect class="paper" x="38" y="75" width="210" height="110" rx="8"/>
   <text class="label" x="143" y="103" text-anchor="middle">1 · PREDICT</text>

package/book-assets/part-8-standard-prolog.svg

@@ -12,15 +12,45 @@
       .screen-code{fill:#DDF7FB;font:12px ui-monospace,SFMono-Regular,Consolas,monospace}
       .small-label{fill:#17324D;font:bold 14px Georgia,serif}.small-ink{fill:#17324D;font:14px Georgia,serif}
       .line{fill:none;stroke:#537487;stroke-width:2.5;stroke-linecap:round}.wire{fill:none;stroke:#C8A100;stroke-width:3}
+    
+      .f-537487{fill:#537487}
+      .f-C8A100{fill:#C8A100}
+      .f-DDF7FB{fill:#DDF7FB}
+      .f-FFFDF8{fill:#FFFDF8}
+      .s-17324D{stroke:#17324D}
+      @media (prefers-color-scheme: dark) {
+        .wall{fill:#142325}
+        .floor{fill:#272015}
+        .bench{fill:#36301D;stroke:#D6C572;stroke-width:3}
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .screen{fill:#334F5F;stroke:#82AEDA;stroke-width:3}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .red{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .blue{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .ink{fill:#D7E3F0;font:16px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 15px Georgia,serif}
+        .code{fill:#152427;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .screen-code{fill:#E1F1F4;font:12px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .small-label{fill:#D7E3F0;font:bold 14px Georgia,serif}
+        .small-ink{fill:#D7E3F0;font:14px Georgia,serif}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5;stroke-linecap:round}
+        .wire{fill:none;stroke:#D3BD66;stroke-width:3}
+        .f-537487{fill:#2C3D47}
+        .f-C8A100{fill:#4D472A}
+        .f-DDF7FB{fill:#152427}
+        .f-FFFDF8{fill:#221E12}
+        .s-17324D{stroke:#82AEDA}
+      }
     </style>
-    <marker id="arrow" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#C8A100"/></marker>
+    <marker id="arrow" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" class="f-C8A100"/></marker>
   </defs>
   <rect width="900" height="300" class="wall"/><rect y="300" width="900" height="140" class="floor"/>
   <rect class="bench" x="55" y="270" width="790" height="42" rx="5"/><rect class="bench" x="100" y="310" width="24" height="110"/><rect class="bench" x="776" y="310" width="24" height="110"/>
 
   <g transform="translate(82 68)">
     <path class="paper" d="M0 20Q60 0 120 20V170Q60 150 0 170Z"/><path class="paper" d="M120 20Q180 0 240 20V170Q180 150 120 170Z"/>
-    <line x1="120" y1="20" x2="120" y2="170" stroke="#17324D" stroke-width="2"/>
+    <line x1="120" y1="20" x2="120" y2="170" stroke-width="2" class="s-17324D"/>
     <text class="label" x="120" y="48" text-anchor="middle">ISO PROLOG</text>
     <text class="ink" x="120" y="76" text-anchor="middle">control · terms</text><text class="ink" x="120" y="100" text-anchor="middle">state · operators</text><text class="ink" x="120" y="124" text-anchor="middle">streams · errors</text>
   </g>
@@ -32,7 +62,7 @@
     <text class="screen-code" x="24" y="102">assertz(task(verify)).</text>
     <text class="screen-code" x="24" y="134">read_term(Stream, Term, Options).</text>
     <text class="screen-code" x="24" y="166">Result = standard_practice.</text>
-    <path d="M105 185L90 215H210L195 185Z" fill="#537487" stroke="#17324D" stroke-width="2"/>
+    <path d="M105 185L90 215H210L195 185Z" stroke-width="2" class="f-537487 s-17324D"/>
   </g>
 
   <g transform="translate(690 62)">
@@ -45,8 +75,8 @@
   <path class="wire" marker-end="url(#arrow)" d="M665 150C675 150 678 150 686 150"/>
 
   <g transform="translate(270 325)">
-    <circle cx="0" cy="-28" r="18" fill="#FFFDF8" stroke="#17324D" stroke-width="2"/>
-    <path d="M-28 0Q0-25 28 0L22 72H-22Z" fill="#DDF7FB" stroke="#17324D" stroke-width="2"/>
+    <circle cx="0" cy="-28" r="18" stroke-width="2" class="f-FFFDF8 s-17324D"/>
+    <path d="M-28 0Q0-25 28 0L22 72H-22Z" stroke-width="2" class="f-DDF7FB s-17324D"/>
     <path class="line" d="M-12 72L-15 105M12 72L15 105"/>
   </g>
   <rect class="blue" x="350" y="337" width="400" height="66" rx="10"/>

package/book-assets/pattern-selection-map.svg

@@ -4,7 +4,22 @@
   <defs><style>
     .bg{fill:#FFF9E8}.core{fill:#2C657A;stroke:#17324D;stroke-width:3}.box{fill:#FFFDF8;stroke:#17324D;stroke-width:2}.green{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.gold{fill:#FFF4BF;stroke:#E2BA22;stroke-width:2}.rose{fill:#FFF0D6;stroke:#C8A100;stroke-width:2}.blue{fill:#DDF7FB;stroke:#537487;stroke-width:2}
     .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 13px Georgia,serif}.light{fill:#FFFDF8;font:bold 16px Georgia,serif}.prose{fill:#405E70;font:13px Georgia,serif}.line{fill:none;stroke:#537487;stroke-width:2.5}
-  </style></defs>
+  
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .core{fill:#2C4852;stroke:#82AEDA;stroke-width:3}
+        .box{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .rose{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .blue{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 13px Georgia,serif}
+        .light{fill:#F4EFE1;font:bold 16px Georgia,serif}
+        .prose{fill:#CDDBE3;font:13px Georgia,serif}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+      }
+    </style></defs>
   <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">A PATTERN STARTS WITH A NAMED DESIGN PROBLEM</text>
   <rect class="core" x="335" y="175" width="230" height="100" rx="18"/><text class="light" x="450" y="211" text-anchor="middle">WHAT IS GOING WRONG?</text><text class="light" x="450" y="243" text-anchor="middle">choose by consequence</text>
   <path class="line" d="M335 195L245 130M450 175V120M565 195L655 130M335 255L245 335M450 275V345M565 255L655 335"/>

package/book-assets/program-construction-loop.svg

@@ -4,7 +4,22 @@
   <defs><style>
     .bg{fill:#FFF9E8}.box{fill:#FFFDF8;stroke:#17324D;stroke-width:2}.green{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.gold{fill:#FFF4BF;stroke:#E2BA22;stroke-width:2}.rose{fill:#FFF0D6;stroke:#C8A100;stroke-width:2}
     .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 14px Georgia,serif}.code{fill:#102A3A;font:13px ui-monospace,monospace}.prose{fill:#405E70;font:14px Georgia,serif}.line{fill:none;stroke:#537487;stroke-width:3}
-  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker></defs>
+  
+      .f-537487{fill:#537487}
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .box{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .rose{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 14px Georgia,serif}
+        .code{fill:#DCEAF2;font:13px ui-monospace,monospace}
+        .prose{fill:#CDDBE3;font:14px Georgia,serif}
+        .line{fill:none;stroke:#81A0B1;stroke-width:3}
+        .f-537487{fill:#2C3D47}
+      }
+    </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" class="f-537487"/></marker></defs>
   <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">CONSTRUCT THE RELATION FROM MEANING</text>
   <rect class="green" x="35" y="105" width="175" height="115" rx="10"/><text class="label" x="122" y="137" text-anchor="middle">GROUND SENTENCE</text><text class="code" x="122" y="177" text-anchor="middle">routeable(p7,north)</text><text class="prose" x="122" y="203" text-anchor="middle">read it aloud</text>
   <rect class="box" x="255" y="105" width="175" height="115" rx="10"/><text class="label" x="342" y="137" text-anchor="middle">EXAMPLES</text><text class="prose" x="342" y="172" text-anchor="middle">small positive</text><text class="prose" x="342" y="196" text-anchor="middle">next + near miss</text>

package/book-assets/program-transformation-workbench.svg

@@ -9,10 +9,29 @@
       .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 17px Georgia,serif}
       .prose{fill:#405E70;font:15px Georgia,serif}.code{fill:#102A3A;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
       .light{fill:#DDF7FB;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}.line{fill:none;stroke:#537487;stroke-width:2.5}
+    
+      .f-537487{fill:#537487}
+      .f-FFF9E8{fill:#FFF9E8}
+      @media (prefers-color-scheme: dark) {
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .source{fill:#31475C;stroke:#88BCDC;stroke-width:3}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .rose{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .blue{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 17px Georgia,serif}
+        .prose{fill:#CDDBE3;font:15px Georgia,serif}
+        .code{fill:#DCEAF2;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .light{fill:#E1F1F4;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+        .f-537487{fill:#2C3D47}
+        .f-FFF9E8{fill:#242014}
+      }
     </style>
-    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" class="f-537487"/></marker>
   </defs>
-  <rect width="900" height="500" fill="#FFF9E8"/>
+  <rect width="900" height="500" class="f-FFF9E8"/>
   <text class="title" x="450" y="35" text-anchor="middle">THE TRANSFORMATION WORKBENCH</text>
   <rect class="source" x="315" y="75" width="270" height="115" rx="12"/>
   <text class="light" x="450" y="108" text-anchor="middle">original relation</text>

package/book-assets/proof-and-search.svg

@@ -11,9 +11,22 @@
       .text{fill:#102A3A;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
       .prose{fill:#405E70;font:17px Georgia,serif}
       .line{stroke:#537487;stroke-width:2}
+    
+      .f-FFF9E8{fill:#FFF9E8}
+      @media (prefers-color-scheme: dark) {
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .goal{fill:#142325;stroke:#6EC4D5;stroke-width:2}
+        .fail{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .repeat{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 23px Georgia,serif}
+        .text{fill:#DCEAF2;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .prose{fill:#CDDBE3;font:17px Georgia,serif}
+        .line{stroke:#81A0B1;stroke-width:2}
+        .f-FFF9E8{fill:#242014}
+      }
     </style>
   </defs>
-  <rect width="900" height="500" fill="#FFF9E8"/>
+  <rect width="900" height="500" class="f-FFF9E8"/>
   <rect class="paper" x="25" y="40" width="390" height="410" rx="10"/>
   <text class="title" x="220" y="78" text-anchor="middle">PROOF TREE</text>
   <text class="prose" x="220" y="103" text-anchor="middle">only the successful support for one answer</text>

package/book-assets/proof-as-computation.svg

@@ -4,7 +4,23 @@
   <defs><style>
     .bg{fill:#FFF9E8}.paper{fill:#FFFDF8;stroke:#17324D;stroke-width:2}.green{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.gold{fill:#FFF4BF;stroke:#E2BA22;stroke-width:2}.dark{fill:#2C657A;stroke:#17324D;stroke-width:3}
     .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 17px Georgia,serif}.code{fill:#102A3A;font:14px ui-monospace,monospace}.light{fill:#FFFDF8;font:14px ui-monospace,monospace}.prose{fill:#405E70;font:15px Georgia,serif}.line{fill:none;stroke:#537487;stroke-width:3}
-  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker></defs>
+  
+      .f-537487{fill:#537487}
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .dark{fill:#2C4852;stroke:#82AEDA;stroke-width:3}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 17px Georgia,serif}
+        .code{fill:#DCEAF2;font:14px ui-monospace,monospace}
+        .light{fill:#F4EFE1;font:14px ui-monospace,monospace}
+        .prose{fill:#CDDBE3;font:15px Georgia,serif}
+        .line{fill:none;stroke:#81A0B1;stroke-width:3}
+        .f-537487{fill:#2C3D47}
+      }
+    </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" class="f-537487"/></marker></defs>
   <rect class="bg" width="900" height="430"/><text class="title" x="450" y="38" text-anchor="middle">A SUCCESSFUL QUERY RETURNS TWO KINDS OF WITNESS</text>
   <rect class="paper" x="30" y="115" width="220" height="135" rx="10"/><text class="label" x="140" y="148" text-anchor="middle">QUESTION</text><text class="code" x="140" y="188" text-anchor="middle">∃ X . mortal(X)</text><text class="prose" x="140" y="222" text-anchor="middle">does someone satisfy it?</text>
   <path class="line" marker-end="url(#a)" d="M250 182H322"/><rect class="dark" x="330" y="90" width="240" height="185" rx="12"/><text class="light" x="450" y="126" text-anchor="middle">THEORY + SEARCH</text><text class="light" x="450" y="164" text-anchor="middle">man(socrates)</text><text class="light" x="450" y="194" text-anchor="middle">mortal(X) :- man(X)</text><text class="light" x="450" y="235" text-anchor="middle">unify · reduce · derive</text>

package/book-assets/recursion-induction-ladder.svg

@@ -8,10 +8,27 @@
       .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 18px Georgia,serif}
       .prose{fill:#405E70;font:16px Georgia,serif}.code{fill:#102A3A;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
       .line{fill:none;stroke:#537487;stroke-width:2.5}.rung{stroke:#E2BA22;stroke-width:4}
+    
+      .f-537487{fill:#537487}
+      .f-FFF9E8{fill:#FFF9E8}
+      @media (prefers-color-scheme: dark) {
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .blue{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 18px Georgia,serif}
+        .prose{fill:#CDDBE3;font:16px Georgia,serif}
+        .code{fill:#DCEAF2;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+        .rung{stroke:#CEB556;stroke-width:4}
+        .f-537487{fill:#2C3D47}
+        .f-FFF9E8{fill:#242014}
+      }
     </style>
-    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" class="f-537487"/></marker>
   </defs>
-  <rect width="900" height="520" fill="#FFF9E8"/>
+  <rect width="900" height="520" class="f-FFF9E8"/>
   <text class="title" x="450" y="35" text-anchor="middle">RECURSION IS INDUCTION IN MOTION</text>
   <text class="label" x="210" y="74" text-anchor="middle">PROGRAM</text>
   <text class="label" x="690" y="74" text-anchor="middle">PROOF</text>

package/book-assets/recursion-tabling-railway.svg

@@ -5,7 +5,19 @@
     .map{fill:#EAF8FA}.land{fill:#FFF0D6}.rail{fill:none;stroke:#2C657A;stroke-width:8}.tie{fill:none;stroke:#FFFDF8;stroke-width:2;stroke-dasharray:4 8}
     .station{fill:#FFFDF8;stroke:#17324D;stroke-width:3}.known{fill:#DDF7FB;stroke:#008EAA;stroke-width:4}
     .text{fill:#17324D;font:16px ui-monospace,monospace}.ledger{fill:#FFFDF8;stroke:#17324D;stroke-width:2}.check{fill:#008EAA}
-  </style>
+  
+      @media (prefers-color-scheme: dark) {
+        .map{fill:#142325}
+        .land{fill:#272015}
+        .rail{fill:none;stroke:#77B6CE;stroke-width:8}
+        .tie{fill:none;stroke:#A0802E;stroke-width:2;stroke-dasharray:4 8}
+        .station{fill:#221E12;stroke:#82AEDA;stroke-width:3}
+        .known{fill:#152427;stroke:#6EC4D5;stroke-width:4}
+        .text{fill:#D7E3F0;font:16px ui-monospace,monospace}
+        .ledger{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .check{fill:#2C4C52}
+      }
+    </style>
   <rect width="900" height="380" class="map"/><path class="land" d="M0 270 Q170 210 330 280 T650 245 T900 275 V380 H0Z"/>
   <circle class="known" cx="48" cy="42" r="10"/><text class="text" x="68" y="48">answer already tabled</text>
   <path class="rail" d="M75 250 C180 130 290 115 390 190 S580 300 700 190 S800 105 845 145"/>

package/book-assets/reference-navigation.svg

@@ -6,6 +6,22 @@
       .bg{fill:#FFF9E8}.question{fill:#17324D;stroke:#102A3A;stroke-width:3}.card{stroke:#537487;stroke-width:2}.practice{fill:#DDF7FB}.guide{fill:#FFF4BF}
       .line{fill:none;stroke:#537487;stroke-width:3;stroke-linecap:round}.arrow{fill:#537487}.title{fill:#9D8200;font:bold 24px Georgia,serif}
       .q{fill:#FFFDF8;font:bold 19px Georgia,serif}.qsmall{fill:#FFFDF8;font:15px Georgia,serif}.chapter{fill:#102A3A;font:bold 18px Georgia,serif}.small{fill:#405E70;font:15px Georgia,serif}.caption{fill:#405E70;font:italic 16px Georgia,serif}
+    
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .question{fill:#31475C;stroke:#88BCDC;stroke-width:3}
+        .card{stroke:#81A0B1;stroke-width:2}
+        .practice{fill:#152427}
+        .guide{fill:#2A2717}
+        .line{fill:none;stroke:#81A0B1;stroke-width:3;stroke-linecap:round}
+        .arrow{fill:#2C3D47}
+        .title{fill:#EBE5CA;font:bold 24px Georgia,serif}
+        .q{fill:#F4EFE1;font:bold 19px Georgia,serif}
+        .qsmall{fill:#F4EFE1;font:15px Georgia,serif}
+        .chapter{fill:#DCEAF2;font:bold 18px Georgia,serif}
+        .small{fill:#CDDBE3;font:15px Georgia,serif}
+        .caption{fill:#CDDBE3;font:italic 16px Georgia,serif}
+      }
     </style>
   </defs>
   <rect width="900" height="500" class="bg"/>

package/book-assets/relational-test-spectrum.svg

@@ -4,7 +4,22 @@
   <defs><style>
     .bg{fill:#FFF9E8}.core{fill:#2C657A;stroke:#17324D;stroke-width:3}.box{fill:#FFFDF8;stroke:#17324D;stroke-width:2}.green{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.gold{fill:#FFF4BF;stroke:#E2BA22;stroke-width:2}.rose{fill:#FFF0D6;stroke:#C8A100;stroke-width:2}.blue{fill:#DDF7FB;stroke:#537487;stroke-width:2}
     .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 13px Georgia,serif}.light{fill:#FFFDF8;font:bold 16px Georgia,serif}.prose{fill:#405E70;font:13px Georgia,serif}.line{fill:none;stroke:#537487;stroke-width:2.5}
-  </style></defs>
+  
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .core{fill:#2C4852;stroke:#82AEDA;stroke-width:3}
+        .box{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .green{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .rose{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .blue{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 13px Georgia,serif}
+        .light{fill:#F4EFE1;font:bold 16px Georgia,serif}
+        .prose{fill:#CDDBE3;font:13px Georgia,serif}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+      }
+    </style></defs>
   <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">TEST THE RELATION, NOT JUST ONE CALL</text>
   <rect class="core" x="340" y="170" width="220" height="105" rx="18"/><text class="light" x="450" y="207" text-anchor="middle">PUBLIC RELATION</text><text class="light" x="450" y="241" text-anchor="middle">path/2 contract</text>
   <path class="line" d="M340 190L230 125M450 170V105M560 190L670 125M340 250L230 335M450 275V355M560 250L670 335"/>

package/book-assets/review-lenses.svg

@@ -5,6 +5,24 @@
     <style>
       .bg{fill:#FFF9E8}.artifact{fill:#17324D;stroke:#102A3A;stroke-width:3}.lens{stroke-width:2}.meaning{fill:#DDF7FB;stroke:#008EAA}.logic{fill:#BFEAF1;stroke:#2C657A}.control{fill:#FFF4BF;stroke:#E2BA22}.evidence{fill:#FFF0D6;stroke:#C8A100}.boundary{fill:#DDF7FB;stroke:#2C657A}
       .line{fill:none;stroke:#537487;stroke-width:2.5}.cycle{fill:none;stroke:#9D8200;stroke-width:3;stroke-linecap:round}.arrow{fill:#9D8200}.title{fill:#9D8200;font:bold 24px Georgia,serif}.label{fill:#102A3A;font:bold 17px Georgia,serif}.small{fill:#405E70;font:15px Georgia,serif}.code{fill:#FFFDF8;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}.verb{fill:#9D8200;font:bold 15px Georgia,serif}
+    
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .artifact{fill:#31475C;stroke:#88BCDC;stroke-width:3}
+        .meaning{fill:#152427;stroke:#6EC4D5}
+        .logic{fill:#18292C;stroke:#77B6CE}
+        .control{fill:#2A2717;stroke:#CEB556}
+        .evidence{fill:#272015;stroke:#D3BD66}
+        .boundary{fill:#152427;stroke:#77B6CE}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+        .cycle{fill:none;stroke:#D6C572;stroke-width:3;stroke-linecap:round}
+        .arrow{fill:#544D2D}
+        .title{fill:#EBE5CA;font:bold 24px Georgia,serif}
+        .label{fill:#DCEAF2;font:bold 17px Georgia,serif}
+        .small{fill:#CDDBE3;font:15px Georgia,serif}
+        .code{fill:#F4EFE1;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .verb{fill:#EBE5CA;font:bold 15px Georgia,serif}
+      }
     </style>
   </defs>
   <rect width="900" height="470" class="bg"/>

package/book-assets/syntax-relations.svg

@@ -8,10 +8,26 @@
       .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 17px Georgia,serif}
       .prose{fill:#405E70;font:16px Georgia,serif}.code{fill:#102A3A;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
       .line{fill:none;stroke:#537487;stroke-width:2;stroke-linecap:round}
+    
+      .f-537487{fill:#537487}
+      .f-FFF9E8{fill:#FFF9E8}
+      @media (prefers-color-scheme: dark) {
+        .paper{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .tree{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .gold{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .blue{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 17px Georgia,serif}
+        .prose{fill:#CDDBE3;font:16px Georgia,serif}
+        .code{fill:#DCEAF2;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2;stroke-linecap:round}
+        .f-537487{fill:#2C3D47}
+        .f-FFF9E8{fill:#242014}
+      }
     </style>
-    <marker id="arrow" markerWidth="6" markerHeight="6" refX="5.5" refY="3" orient="auto"><path d="M0 0L6 3L0 6Z" fill="#537487"/></marker>
+    <marker id="arrow" markerWidth="6" markerHeight="6" refX="5.5" refY="3" orient="auto"><path d="M0 0L6 3L0 6Z" class="f-537487"/></marker>
   </defs>
-  <rect width="900" height="500" fill="#FFF9E8"/>
+  <rect width="900" height="500" class="f-FFF9E8"/>
   <text class="title" x="450" y="35" text-anchor="middle">ONE TERM, SEVERAL RELATIONS</text>
   <rect class="paper" x="285" y="65" width="350" height="320" rx="12"/>
   <text class="label" x="450" y="95" text-anchor="middle">SYNTAX AS DATA</text>

package/book-assets/termination-map.svg

@@ -4,7 +4,21 @@
   <defs><style>
     .bg{fill:#FFF9E8}.good{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.table{fill:#DDF7FB;stroke:#537487;stroke-width:2}.bad{fill:#FFF0D6;stroke:#C8A100;stroke-width:2}
     .title{fill:#C8A100;font:bold 24px Georgia,serif}.label{fill:#17324D;font:bold 15px Georgia,serif}.code{fill:#102A3A;font:14px ui-monospace,monospace}.prose{fill:#405E70;font:15px Georgia,serif}.line{fill:none;stroke:#537487;stroke-width:2.5}
-  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker></defs>
+  
+      .f-537487{fill:#537487}
+      @media (prefers-color-scheme: dark) {
+        .bg{fill:#242014}
+        .good{fill:#152427;stroke:#6EC4D5;stroke-width:2}
+        .table{fill:#152427;stroke:#81A0B1;stroke-width:2}
+        .bad{fill:#272015;stroke:#D3BD66;stroke-width:2}
+        .title{fill:#E7E0C1;font:bold 24px Georgia,serif}
+        .label{fill:#D7E3F0;font:bold 15px Georgia,serif}
+        .code{fill:#DCEAF2;font:14px ui-monospace,monospace}
+        .prose{fill:#CDDBE3;font:15px Georgia,serif}
+        .line{fill:none;stroke:#81A0B1;stroke-width:2.5}
+        .f-537487{fill:#2C3D47}
+      }
+    </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" class="f-537487"/></marker></defs>
   <rect class="bg" width="900" height="440"/><text class="title" x="450" y="38" text-anchor="middle">ASK WHAT MAKES THE CALL SPACE FINITE</text>
   <rect class="good" x="30" y="80" width="260" height="285" rx="12"/><text class="label" x="160" y="115" text-anchor="middle">DECREASING STRUCTURE</text><text class="code" x="160" y="155" text-anchor="middle">[a,b,c] → [b,c]</text><text class="code" x="160" y="190" text-anchor="middle">→ [c] → []</text><path class="line" marker-end="url(#a)" d="M160 210V250"/><text class="prose" x="160" y="280" text-anchor="middle">well-founded measure:</text><text class="code" x="160" y="306" text-anchor="middle">list length ↓</text><text class="label" x="160" y="345" text-anchor="middle">TERMINATES</text>
   <rect class="table" x="320" y="80" width="260" height="285" rx="12"/><text class="label" x="450" y="115" text-anchor="middle">FINITE TABLED DOMAIN</text><text class="code" x="450" y="155" text-anchor="middle">path(a, ?)</text><text class="code" x="450" y="188" text-anchor="middle">{b,c,d}</text><path class="line" marker-end="url(#a)" d="M450 210V250"/><text class="prose" x="450" y="280" text-anchor="middle">repeated calls reuse</text><text class="code" x="450" y="306" text-anchor="middle">fixed-point answers</text><text class="label" x="450" y="345" text-anchor="middle">TERMINATES</text>

package/book-assets/title-page.svg

@@ -50,10 +50,39 @@
         font-size: 28px;
         letter-spacing: 3px;
       }
+    
+      .f-FFFDF8{fill:#FFFDF8}
+      @media (prefers-color-scheme: dark) {
+        .title-small{
+        fill: #D7E3F0;
+        font-family: Georgia, 'Times New Roman', serif;
+        font-size: 52px;
+        letter-spacing: 8px;
+      }
+        .title-main{
+        fill: #D7E3F0;
+        font-family: Georgia, 'Times New Roman', serif;
+        font-size: 108px;
+        font-weight: 600;
+        letter-spacing: -3px;
+      }
+        .subtitle{
+        fill: #CDDDE3;
+        font-family: Georgia, 'Times New Roman', serif;
+        font-size: 30px;
+      }
+        .author{
+        fill: #D7E3F0;
+        font-family: Georgia, 'Times New Roman', serif;
+        font-size: 28px;
+        letter-spacing: 3px;
+      }
+        .f-FFFDF8{fill:#221E12}
+      }
     </style>
   </defs>
 
-  <rect width="1000" height="1450" fill="#fffdf8"/>
+  <rect width="1000" height="1450" class="f-FFFDF8"/>
 
   <!-- Native SVG rendering of the original EYE rainbow mark. -->
   <svg x="340" y="180" width="320" height="320" viewBox="0 0 68 68"

package/book-assets/unification.svg

@@ -3,7 +3,7 @@
   <desc id="desc">The terms reading(Sensor,91) and reading(temp,Value) align, yielding Sensor equals temp and Value equals 91.</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="#405E70"/>
+      <path d="M0,0 L0,6 L9,3 z" class="f-405E70"/>
     </marker>
     <style>
       .node{fill:#FFFDF8;stroke:#17324D;stroke-width:2}
@@ -13,9 +13,23 @@
       .title{fill:#C8A100;font:bold 22px Georgia,serif}
       .line{stroke:#537487;stroke-width:2}
       .bind{stroke:#E2BA22;stroke-width:2.5;stroke-dasharray:7 6;fill:none;marker-end:url(#arrow)}
+    
+      .f-405E70{fill:#405E70}
+      .f-FFF9E8{fill:#FFF9E8}
+      @media (prefers-color-scheme: dark) {
+        .node{fill:#221E12;stroke:#82AEDA;stroke-width:2}
+        .var{fill:#2A2717;stroke:#CEB556;stroke-width:2}
+        .value{fill:#142325;stroke:#6EC4D5;stroke-width:2}
+        .text{fill:#DCEAF2;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}
+        .title{fill:#E7E0C1;font:bold 22px Georgia,serif}
+        .line{stroke:#81A0B1;stroke-width:2}
+        .bind{stroke:#CEB556;stroke-width:2.5;stroke-dasharray:7 6;fill:none;marker-end:url(#arrow)}
+        .f-405E70{fill:#2D424F}
+        .f-FFF9E8{fill:#242014}
+      }
     </style>
   </defs>
-  <rect width="900" height="500" fill="#FFF9E8"/>
+  <rect width="900" height="500" class="f-FFF9E8"/>
   <text class="title" x="235" y="42" text-anchor="middle">first term</text>
   <text class="title" x="665" y="42" text-anchor="middle">second term</text>
 

package/package.json

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

package/the-art-of-eyeprolog.md

@@ -130,9 +130,10 @@ Code displays serve three different purposes:
 - a `sh` or `js` block is a host command or embedding example.
 
 Top-level programs under [`examples/`](https://github.com/eyereasoner/eyeprolog/tree/main/examples/) are the complete runnable
-cases. Their exact outputs live under `examples/output/`; selected proof
-outputs live under `examples/proof/`. Use `examples/book/` to copy a particular
-display and the top-level corpus for end-to-end experiments.
+cases. Their exact outputs live under `examples/output/`, the proof of each
+under `examples/proof/`, and the result of checking that proof under
+`examples/check/`. Use `examples/book/` to copy a particular display and the
+top-level corpus for end-to-end experiments.
 
 ### The promise of this book
 
@@ -10424,7 +10425,7 @@ hand.
 
 #### Running and extending the corpus
 
-Run all 235 normal answer goldens and the 103 selected proof goldens with:
+Run all 236 answer goldens and all 236 proof goldens with:
 
 ```sh
 node test/run-examples.mjs

package/why-eyeprolog.md

@@ -270,9 +270,9 @@ separately in the result, and reported as what the check still rests on rather
 than what it establishes.
 
 The packaged corpus makes the proportion visible. Every one of the 235
-examples carries a proof: 36423 steps, of which 20746 are verified against
-their source clause, 14720 are recomputed independently, and 952 — 2.6% —
-remain obligations. `npm test` re-checks all of them on every run, and the
+examples carries a proof: 36432 steps, of which 20753 are verified against
+their source clause, 14720 are recomputed independently, 76 are carried by the
+goals they wrap, and 878 — 2.4% — remain obligations, each one named. `npm test` re-checks all of them on every run, and the
 proof directory is read from disk rather than from a list, so a document cannot
 be added without being checked. An unverified proof is worse than none, because
 it still looks like evidence.