eyeprolog 0.5.3

package/book-assets/syntax-relations.svg

@@ -0,0 +1,54 @@
+<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">One syntax tree seen through several relations</title>
+  <desc id="desc">A central expression tree can be inspected as data, evaluated to a value, or rewritten to another syntax tree while an explicit environment supplies variable values.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.tree{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+      .gold{fill:#fff0d9;stroke:#9a5b18;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:16px Georgia,serif}.code{fill:#172334;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .line{fill:none;stroke:#526273;stroke-width:2;stroke-linecap:round}
+    </style>
+    <marker id="arrow" markerWidth="6" markerHeight="6" refX="5.5" refY="3" orient="auto"><path d="M0 0L6 3L0 6Z" fill="#526273"/></marker>
+  </defs>
+  <rect width="900" height="500" fill="#f4efe3"/>
+  <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>
+  <line class="line" x1="450" y1="145" x2="370" y2="215"/><line class="line" x1="450" y1="145" x2="530" y2="215"/>
+  <line class="line" x1="530" y1="215" x2="490" y2="285"/><line class="line" x1="530" y1="215" x2="570" y2="285"/>
+  <rect class="tree" x="410" y="115" width="80" height="42" rx="20"/><text class="code" x="450" y="141" text-anchor="middle">add</text>
+  <rect class="tree" x="325" y="205" width="90" height="42" rx="20"/><text class="code" x="370" y="231" text-anchor="middle">number(2)</text>
+  <rect class="tree" x="485" y="205" width="90" height="42" rx="20"/><text class="code" x="530" y="231" text-anchor="middle">multiply</text>
+  <rect class="tree" x="445" y="275" width="90" height="42" rx="20"/><text class="code" x="490" y="301" text-anchor="middle">number(3)</text>
+  <rect class="tree" x="535" y="275" width="90" height="42" rx="20"/><text class="code" x="580" y="301" text-anchor="middle">number(4)</text>
+  <text class="code" x="450" y="350" text-anchor="middle">add(number(2), multiply(...))</text>
+
+  <rect class="blue" x="25" y="125" width="220" height="145" rx="10"/>
+  <text class="label" x="135" y="157" text-anchor="middle">INSPECT</text>
+  <text class="code" x="135" y="190" text-anchor="middle">tree_member/2</text>
+  <text class="prose" x="135" y="222" text-anchor="middle">follow constructors</text>
+  <text class="prose" x="135" y="245" text-anchor="middle">without mutation</text>
+  <path class="line" marker-end="url(#arrow)" d="M285 185Q268 182 252 185"/>
+
+  <rect class="gold" x="655" y="85" width="220" height="145" rx="10"/>
+  <text class="label" x="765" y="117" text-anchor="middle">EVALUATE</text>
+  <text class="code" x="765" y="150" text-anchor="middle">evaluate/2</text>
+  <text class="prose" x="765" y="183" text-anchor="middle">collapse syntax</text>
+  <text class="code" x="765" y="207" text-anchor="middle">Value = 14</text>
+  <path class="line" marker-end="url(#arrow)" d="M635 150Q642 148 648 150"/>
+
+  <rect class="tree" x="655" y="285" width="220" height="145" rx="10"/>
+  <text class="label" x="765" y="317" text-anchor="middle">REWRITE</text>
+  <text class="code" x="765" y="350" text-anchor="middle">simplify/2</text>
+  <text class="prose" x="765" y="382" text-anchor="middle">preserve syntax;</text>
+  <text class="prose" x="765" y="405" text-anchor="middle">change its form</text>
+  <path class="line" marker-end="url(#arrow)" d="M635 315Q642 313 648 315"/>
+
+  <rect class="paper" x="55" y="330" width="210" height="100" rx="10"/>
+  <text class="label" x="160" y="360" text-anchor="middle">ENVIRONMENT</text>
+  <text class="code" x="160" y="392" text-anchor="middle">[binding(x, 3)]</text>
+  <text class="prose" x="160" y="416" text-anchor="middle">explicit lookup state</text>
+  <path class="line" marker-end="url(#arrow)" d="M265 380Q273 378 279 366"/>
+  <text class="prose" x="450" y="475" text-anchor="middle">The relation determines the question asked of the same persistent term.</text>
+</svg>

package/book-assets/termination-map.svg

@@ -0,0 +1,13 @@
+<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">Three different termination arguments</title>
+  <desc id="desc">Recursive calls may terminate because a structural measure decreases, because finite tabled calls reach a fixed point, or fail to terminate because terms grow without bound.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.good{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.table{fill:#dcebf0;stroke:#526273;stroke-width:2}.bad{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 15px Georgia,serif}.code{fill:#172334;font:14px ui-monospace,monospace}.prose{fill:#435166;font:15px Georgia,serif}.line{fill:none;stroke:#526273;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="#526273"/></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>
+  <rect class="bad" x="610" y="80" width="260" height="285" rx="12"/><text class="label" x="740" y="115" text-anchor="middle">GROWING TERMS</text><text class="code" x="740" y="150" text-anchor="middle">grows(X)</text><text class="code" x="740" y="180" text-anchor="middle">grows(w(X))</text><text class="code" x="740" y="210" text-anchor="middle">grows(w(w(X)))</text><path class="line" marker-end="url(#a)" d="M740 225V260"/><text class="prose" x="740" y="286" text-anchor="middle">every call is new;</text><text class="code" x="740" y="312" text-anchor="middle">tabling cannot close it</text><text class="label" x="740" y="345" text-anchor="middle">UNBOUNDED</text>
+  <text class="prose" x="450" y="410" text-anchor="middle">Tabling is reuse, not a universal termination spell.</text>
+</svg>

package/book-assets/title-page.svg

@@ -0,0 +1,222 @@
+<svg xmlns="http://www.w3.org/2000/svg"
+     width="1000" height="1450" viewBox="0 0 1000 1450"
+     role="img" aria-labelledby="title desc">
+  <title id="title">The Art of EyeProlog</title>
+  <desc id="desc">Editable SVG cover for The Art of EyeProlog. All text is live text and kept within its surrounding boxes.</desc>
+
+  <defs>
+    <linearGradient id="paper" x1="0" y1="0" x2="0" y2="1">
+      <stop offset="0%" stop-color="#fbf7ee"/>
+      <stop offset="100%" stop-color="#f3ead9"/>
+    </linearGradient>
+    <style>
+      .bg { fill: url(#paper); }
+      .navy { fill: #233a59; }
+      .green { fill: #2f7d63; }
+      .wine { fill: #94493f; }
+      .gold { fill: #b7904f; }
+      .cream { fill: #fffdf8; }
+      .navy-stroke { stroke: #233a59; fill: none; }
+      .green-stroke { stroke: #2f7d63; fill: none; }
+      .wine-stroke { stroke: #94493f; fill: none; }
+      .gold-stroke { stroke: #b7904f; fill: none; }
+      .thin { stroke-width: 2; }
+      .mid { stroke-width: 3; }
+      .thick { stroke-width: 5; }
+      .round { stroke-linecap: round; stroke-linejoin: round; }
+      .title1 { fill:#233a59; font-family: Georgia, 'Times New Roman', serif; font-size:64px; font-weight:500; }
+      .title2 { font-family: Georgia, 'Times New Roman', serif; font-size:118px; font-weight:700; letter-spacing:-4px; }
+      .subtitle { fill:#2f7d63; font-family: Georgia, 'Times New Roman', serif; font-size:28px; }
+      .author { fill:#94493f; font-family: Georgia, 'Times New Roman', serif; font-size:25px; }
+      .section { font-family: Georgia, 'Times New Roman', serif; font-size:20px; font-weight:700; letter-spacing:2px; }
+      .smallserif { font-family: Georgia, 'Times New Roman', serif; font-size:18px; }
+      .paneltitle { font-family: Georgia, 'Times New Roman', serif; font-size:21px; font-weight:700; letter-spacing:0.4px; }
+      .code { fill:#233a59; font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size:18px; }
+      .codesm { fill:#233a59; font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size:15px; }
+      .label { fill:#233a59; font-family: Georgia, 'Times New Roman', serif; font-size:21px; }
+      .node { fill:#fffdf8; stroke:#233a59; stroke-width:3; }
+      .rdfnode { fill:#7ea88f; stroke:#2f7d63; stroke-width:3; }
+      .panel { fill:#fffdf8; fill-opacity:0.96; stroke-width:3.5; }
+      .softbox { fill:#f4f7f1; stroke:#233a59; stroke-width:2.2; }
+    </style>
+  </defs>
+
+  <rect width="1000" height="1450" class="bg"/>
+
+  <!-- header -->
+  <g id="header">
+    <text x="500" y="105" text-anchor="middle" class="title1">The Art of</text>
+    <text x="500" y="238" text-anchor="middle" class="title2">
+      <tspan fill="#233a59">Eye</tspan><tspan fill="#94493f">Prolog</tspan>
+    </text>
+
+    <line x1="110" y1="274" x2="445" y2="274" class="gold-stroke thin round"/>
+    <path d="M500 265 L509 274 L500 283 L491 274 Z" class="gold"/>
+    <line x1="555" y1="274" x2="890" y2="274" class="gold-stroke thin round"/>
+
+    <text x="500" y="325" text-anchor="middle" class="subtitle">Standards-based relations, search, and explanations</text>
+
+    <line x1="300" y1="372" x2="405" y2="372" class="gold-stroke thin round"/>
+    <text x="500" y="381" text-anchor="middle" class="author">Jos De Roo</text>
+    <line x1="595" y1="372" x2="700" y2="372" class="gold-stroke thin round"/>
+  </g>
+
+  <!-- upper labels -->
+  <g id="labels">
+    <text x="210" y="455" text-anchor="middle" class="section wine">ISO PROLOG</text>
+    <text x="210" y="480" text-anchor="middle" class="smallserif wine">(RULES)</text>
+    <text x="790" y="455" text-anchor="middle" class="section green">RDF 1.2</text>
+    <text x="790" y="480" text-anchor="middle" class="smallserif green">(LINKED DATA)</text>
+  </g>
+
+  <!-- hero diagrams -->
+  <g id="prolog-rules">
+    <rect x="80" y="510" width="220" height="180" rx="18"
+          fill="#fffdf8" stroke="#94493f" stroke-width="3"/>
+    <text x="100" y="552" class="codesm" style="font-size:14px">path(X, Y) :-</text>
+    <text x="122" y="580" class="codesm" style="font-size:14px">edge(X, Y).</text>
+    <text x="100" y="615" class="codesm" style="font-size:14px">path(X, Y) :-</text>
+    <text x="122" y="643" class="codesm" style="font-size:14px">edge(X, Z),</text>
+    <text x="122" y="671" class="codesm" style="font-size:14px">path(Z, Y).</text>
+  </g>
+
+  <g id="rdf-graph">
+    <line x1="735" y1="535" x2="805" y2="575" class="green-stroke mid round"/>
+    <line x1="805" y1="575" x2="765" y2="640" class="green-stroke mid round"/>
+    <line x1="805" y1="575" x2="875" y2="610" class="green-stroke mid round"/>
+    <line x1="765" y1="640" x2="835" y2="690" class="green-stroke mid round"/>
+    <circle cx="735" cy="535" r="17" class="rdfnode"/>
+    <circle cx="805" cy="575" r="17" class="rdfnode"/>
+    <circle cx="765" cy="640" r="17" class="rdfnode"/>
+    <circle cx="875" cy="610" r="17" class="rdfnode"/>
+    <circle cx="835" cy="690" r="17" class="rdfnode"/>
+
+    <rect x="748" y="500" width="116" height="40" rx="8" fill="#fff8ea" stroke="#233a59" stroke-width="2"/>
+    <text x="806" y="526" text-anchor="middle" class="smallserif navy">ex:Alice</text>
+
+    <rect x="855" y="558" width="118" height="40" rx="8" fill="#fff8ea" stroke="#233a59" stroke-width="2"/>
+    <text x="914" y="584" text-anchor="middle" class="smallserif navy">ex:knows</text>
+
+    <rect x="846" y="682" width="106" height="40" rx="8" fill="#fff8ea" stroke="#233a59" stroke-width="2"/>
+    <text x="899" y="708" text-anchor="middle" class="smallserif navy">ex:Bob</text>
+  </g>
+
+  <!-- abstract bridge -->
+  <g id="bridge">
+    <path d="M320 710 C338 560, 410 500, 500 500 C590 500, 662 560, 680 710"
+          fill="none" stroke="#debf85" stroke-width="62" stroke-linecap="round"/>
+    <path d="M320 710 C338 560, 410 500, 500 500 C590 500, 662 560, 680 710"
+          class="navy-stroke mid round"/>
+
+    <path d="M442 488 L558 488 L572 556 L428 556 Z" fill="#f0ddb5" stroke="#233a59" stroke-width="3"/>
+    <text x="500" y="523" text-anchor="middle" class="section navy" style="font-size:14px; letter-spacing:0.5px;">EYEPROLOG</text>
+
+    <rect x="290" y="690" width="68" height="148" rx="7" fill="#ead6a8" stroke="#233a59" stroke-width="3"/>
+    <rect x="278" y="676" width="92" height="22" rx="5" fill="#d7ba7b" stroke="#233a59" stroke-width="3"/>
+    <rect x="276" y="830" width="96" height="24" rx="5" fill="#d7ba7b" stroke="#233a59" stroke-width="3"/>
+    <line x1="306" y1="708" x2="306" y2="824" class="gold-stroke thin"/>
+    <line x1="342" y1="708" x2="342" y2="824" class="gold-stroke thin"/>
+
+    <rect x="642" y="690" width="68" height="148" rx="7" fill="#ead6a8" stroke="#233a59" stroke-width="3"/>
+    <rect x="630" y="676" width="92" height="22" rx="5" fill="#d7ba7b" stroke="#233a59" stroke-width="3"/>
+    <rect x="628" y="830" width="96" height="24" rx="5" fill="#d7ba7b" stroke="#233a59" stroke-width="3"/>
+    <line x1="658" y1="708" x2="658" y2="824" class="gold-stroke thin"/>
+    <line x1="694" y1="708" x2="694" y2="824" class="gold-stroke thin"/>
+  </g>
+
+  <!-- proof tree -->
+  <g id="proof-tree">
+    <circle cx="500" cy="590" r="18" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <circle cx="455" cy="660" r="18" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <circle cx="545" cy="660" r="18" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <circle cx="420" cy="730" r="18" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <circle cx="500" cy="730" r="18" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <circle cx="580" cy="730" r="18" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <path d="M500 608 L455 642 M500 608 L545 642 M455 678 L420 712 M455 678 L500 712 M545 678 L580 712"
+          class="green-stroke mid round"/>
+    <line x1="500" y1="752" x2="500" y2="790" class="green-stroke mid round" stroke-dasharray="4 8"/>
+    <path d="M491 785 L500 796 L509 785" class="green-stroke mid round"/>
+    <circle cx="500" cy="824" r="29" fill="#2f7d63" stroke="#233a59" stroke-width="3"/>
+    <path d="M486 825 L497 836 L516 810" fill="none" stroke="#fffdf8" stroke-width="5" stroke-linecap="round" stroke-linejoin="round"/>
+  </g>
+
+  <line x1="70" y1="875" x2="930" y2="875" class="gold-stroke thin"/>
+  <circle cx="500" cy="875" r="6" class="gold"/>
+
+  <!-- panels -->
+  <g id="panel1">
+    <rect x="45" y="925" width="280" height="360" rx="28" class="panel" stroke="#94493f"/>
+    <circle cx="185" cy="925" r="38" fill="#fffdf8" stroke="#94493f" stroke-width="3"/>
+    <text x="185" y="936" text-anchor="middle" class="code wine" style="font-size:27px">:-</text>
+    <text x="185" y="990" text-anchor="middle" class="paneltitle wine" style="font-size:20px">1. ISO PROLOG RULES</text>
+
+    <text x="75" y="1050" class="codesm">path(X, Y) :-</text>
+    <text x="100" y="1080" class="codesm">edge(X, Y).</text>
+
+    <text x="75" y="1130" class="codesm">path(X, Y) :-</text>
+    <text x="100" y="1160" class="codesm">edge(X, Z),</text>
+    <text x="100" y="1190" class="codesm">path(Z, Y).</text>
+
+    <line x1="75" y1="1220" x2="295" y2="1220" class="wine-stroke thin"/>
+    <text x="185" y="1250" text-anchor="middle" class="smallserif wine" style="font-size:16px">clauses · unification · recursion</text>
+  </g>
+
+  <g id="panel2">
+    <rect x="340" y="925" width="320" height="360" rx="28" class="panel" stroke="#2f7d63"/>
+    <circle cx="500" cy="925" r="38" fill="#fffdf8" stroke="#2f7d63" stroke-width="3"/>
+    <circle cx="484" cy="925" r="6" class="rdfnode"/>
+    <circle cx="516" cy="908" r="6" class="rdfnode"/>
+    <circle cx="520" cy="942" r="6" class="rdfnode"/>
+    <path d="M490 922 L510 911 M490 928 L514 939 M516 914 L519 936" class="green-stroke thin round"/>
+    <text x="500" y="990" text-anchor="middle" class="paneltitle green">2. RDF 1.2 DATASET</text>
+
+    <circle cx="405" cy="1060" r="18" class="rdfnode"/>
+    <circle cx="500" cy="1060" r="18" class="rdfnode"/>
+    <circle cx="595" cy="1060" r="18" class="rdfnode"/>
+    <line x1="423" y1="1060" x2="482" y2="1060" class="green-stroke mid round"/>
+    <line x1="518" y1="1060" x2="577" y2="1060" class="green-stroke mid round"/>
+
+    <rect x="375" y="1110" width="250" height="38" rx="8" fill="#f4f7f1" stroke="#2f7d63" stroke-width="2"/>
+    <text x="500" y="1135" text-anchor="middle" class="codesm">ex:alice ex:knows ex:bob</text>
+
+    <rect x="375" y="1160" width="250" height="54" rx="8" fill="#f4f7f1" stroke="#2f7d63" stroke-width="2"/>
+    <text x="500" y="1183" text-anchor="middle" class="codesm" style="font-size:13px">named graphs · literals</text>
+    <text x="500" y="1202" text-anchor="middle" class="codesm" style="font-size:13px">triple terms</text>
+
+    <text x="500" y="1250" text-anchor="middle" class="smallserif green" style="font-size:16px">linked data remains RDF</text>
+  </g>
+
+  <g id="panel3">
+    <rect x="675" y="925" width="280" height="360" rx="28" class="panel" stroke="#233a59"/>
+    <circle cx="815" cy="925" r="38" fill="#fffdf8" stroke="#233a59" stroke-width="3"/>
+    <rect x="807" y="903" width="16" height="12" rx="2" fill="#fffdf8" stroke="#233a59" stroke-width="2"/>
+    <rect x="790" y="934" width="16" height="12" rx="2" fill="#fffdf8" stroke="#233a59" stroke-width="2"/>
+    <rect x="824" y="934" width="16" height="12" rx="2" fill="#fffdf8" stroke="#233a59" stroke-width="2"/>
+    <path d="M815 915 V926 M798 926 H832 M798 926 V934 M832 926 V934" class="navy-stroke thin round"/>
+    <text x="815" y="990" text-anchor="middle" class="paneltitle navy">3. ANSWERS &amp; PROOFS</text>
+
+    <rect x="758" y="1038" width="114" height="38" rx="8" class="softbox"/>
+    <text x="815" y="1062" text-anchor="middle" class="codesm">path(a, X)</text>
+
+    <rect x="700" y="1122" width="104" height="38" rx="8" class="softbox"/>
+    <rect x="826" y="1122" width="104" height="38" rx="8" class="softbox"/>
+    <text x="752" y="1146" text-anchor="middle" class="codesm">edge(a,b)</text>
+    <text x="878" y="1146" text-anchor="middle" class="codesm">path(b,X)</text>
+
+    <rect x="824" y="1206" width="106" height="38" rx="8" class="softbox"/>
+    <text x="877" y="1230" text-anchor="middle" class="codesm">edge(b,c)</text>
+
+    <path d="M815 1076 L752 1122 M815 1076 L878 1122 M878 1160 L877 1206" class="navy-stroke mid round"/>
+    <text x="877" y="1268" text-anchor="middle" class="codesm" style="font-size:22px">…</text>
+  </g>
+
+  <!-- footer -->
+  <g id="footer">
+    <line x1="145" y1="1350" x2="285" y2="1350" class="gold-stroke thin round"/>
+    <circle cx="310" cy="1350" r="4" class="gold"/>
+    <text x="500" y="1360" text-anchor="middle" class="subtitle" style="font-size:20px; font-style:italic;">ISO Prolog rules over RDF linked data</text>
+    <circle cx="690" cy="1350" r="4" class="gold"/>
+    <line x1="715" y1="1350" x2="855" y2="1350" class="gold-stroke thin round"/>
+    <path d="M500 1390 L510 1400 L500 1410 L490 1400 Z" class="green"/>
+  </g>
+</svg>

package/book-assets/unification.svg

@@ -0,0 +1,46 @@
+<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">Unification aligns two term trees</title>
+  <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="#4b5563"/>
+    </marker>
+    <style>
+      .node{fill:#fffdf7;stroke:#243447;stroke-width:2}
+      .var{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .value{fill:#e7f3ee;stroke:#2f6f55;stroke-width:2}
+      .text{fill:#172334;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .title{fill:#8b3a3a;font:bold 22px Georgia,serif}
+      .line{stroke:#526273;stroke-width:2}
+      .bind{stroke:#9a5b18;stroke-width:2.5;stroke-dasharray:7 6;fill:none;marker-end:url(#arrow)}
+    </style>
+  </defs>
+  <rect width="900" height="500" fill="#f4efe3"/>
+  <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>
+
+  <line class="line" x1="235" y1="105" x2="155" y2="185"/>
+  <line class="line" x1="235" y1="105" x2="315" y2="185"/>
+  <rect class="node" x="170" y="70" width="130" height="48" rx="24"/>
+  <text class="text" x="235" y="100" text-anchor="middle">reading/2</text>
+  <rect class="var" x="91" y="180" width="128" height="46" rx="23"/>
+  <text class="text" x="155" y="209" text-anchor="middle">Sensor</text>
+  <rect class="value" x="275" y="180" width="80" height="46" rx="23"/>
+  <text class="text" x="315" y="209" text-anchor="middle">91</text>
+
+  <line class="line" x1="665" y1="105" x2="585" y2="185"/>
+  <line class="line" x1="665" y1="105" x2="745" y2="185"/>
+  <rect class="node" x="600" y="70" width="130" height="48" rx="24"/>
+  <text class="text" x="665" y="100" text-anchor="middle">reading/2</text>
+  <rect class="value" x="540" y="180" width="90" height="46" rx="23"/>
+  <text class="text" x="585" y="209" text-anchor="middle">temp</text>
+  <rect class="var" x="681" y="180" width="128" height="46" rx="23"/>
+  <text class="text" x="745" y="209" text-anchor="middle">Value</text>
+
+  <path class="bind" d="M155 232 C160 310,470 295,570 233"/>
+  <path class="bind" d="M745 232 C740 310,430 295,330 233"/>
+
+  <rect class="node" x="260" y="345" width="380" height="105" rx="8"/>
+  <text class="title" x="450" y="380" text-anchor="middle">most general substitution</text>
+  <text class="text" x="450" y="420" text-anchor="middle">{ Sensor = temp, Value = 91 }</text>
+</svg>

package/conformance-report.md

@@ -0,0 +1,25 @@
+# EyeProlog conformance report
+
+This report summarizes the file-based conformance corpus under `test/conformance/`.
+
+| Category | Positive | Errors | Warnings | Proofs | Total |
+|---|---:|---:|---:|---:|---:|
+| aggregation | 17 | 0 | 0 | 0 | 17 |
+| arithmetic | 38 | 0 | 0 | 0 | 38 |
+| atoms | 22 | 8 | 0 | 0 | 30 |
+| automatic-tabling | 6 | 0 | 0 | 0 | 6 |
+| builtins | 11 | 0 | 0 | 0 | 11 |
+| context | 11 | 0 | 0 | 0 | 11 |
+| control | 15 | 0 | 0 | 0 | 15 |
+| iso | 120 | 159 | 0 | 0 | 279 |
+| lists | 52 | 3 | 0 | 0 | 55 |
+| negation | 8 | 0 | 19 | 0 | 27 |
+| proofs | 0 | 0 | 0 | 21 | 21 |
+| query | 8 | 2 | 0 | 0 | 10 |
+| rules | 13 | 3 | 0 | 0 | 16 |
+| strings | 40 | 0 | 0 | 0 | 40 |
+| syntax | 12 | 25 | 0 | 0 | 37 |
+| terms | 26 | 3 | 0 | 0 | 29 |
+| unification | 18 | 0 | 0 | 0 | 18 |
+| variables | 16 | 9 | 0 | 0 | 25 |
+| **Total** | **433** | **212** | **19** | **21** | **685** |

package/examples/abstract-interpretation.pl

@@ -0,0 +1,52 @@
+% Abstract interpretation over a tiny imperative program.
+%
+% The concrete program is:
+%
+%   x := input();
+%   if x < 0 then y := -x else y := x;
+%   z := 10 / y;
+%
+% Instead of executing the program for every integer input, this example tracks
+% only the abstract sign of each variable: neg, zero, or pos.  The analysis is
+% deliberately conservative: if the join point can see y = zero on any path, the
+% division is reported as a possible division-by-zero warning.
+
+%% goal: absState(X0, X1, X2)
+
+%% goal: absWarning(X0, X1)
+
+%% goal: absConclusion(X0, X1)
+
+
+
+% The abstract domain.
+input_sign(neg).
+input_sign(zero).
+input_sign(pos).
+
+% The input statement gives x any of the three abstract signs.
+abs_state(input, x, Sign) :- input_sign(Sign).
+
+% The branch refines the sign of x.  The negative branch only receives neg; the
+% non-negative branch receives zero or pos.
+abs_state(negative_branch, x, neg) :- abs_state(input, x, neg).
+abs_state(nonnegative_branch, x, zero) :- abs_state(input, x, zero).
+abs_state(nonnegative_branch, x, pos) :- abs_state(input, x, pos).
+
+% Transfer functions for assignments.  In the negative branch, y := -x turns a
+% negative x into a positive y.  In the non-negative branch, y := x preserves the
+% zero/positive information.
+abs_state(negative_branch, y, pos) :- abs_state(negative_branch, x, neg).
+abs_state(nonnegative_branch, y, Sign) :- abs_state(nonnegative_branch, x, Sign).
+
+% The join point merges abstract states from both branches.
+abs_state(join, Var, Sign) :- abs_state(negative_branch, Var, Sign).
+abs_state(join, Var, Sign) :- abs_state(nonnegative_branch, Var, Sign).
+
+% A possible zero denominator is enough to raise a conservative warning.
+possible_division_by_zero(join) :- abs_state(join, y, zero).
+
+absState(Point, Var, sign(Sign)) :- abs_state(Point, Var, Sign).
+absWarning(division_by_zero, Point) :- possible_division_by_zero(Point).
+absConclusion(case, "abstract interpretation keeps all feasible signs and warns because y may be zero") :-
+  possible_division_by_zero(join).

package/examples/access-control-policy.pl

@@ -0,0 +1,55 @@
+% Access control policy example adapted from Eyelet input/access-control-policy.pl.
+%
+% This version avoids findall/3 by expressing allOf/anyOf/noneOf checks as
+% finite logical conditions.  The universal allOf/noneOf checks use negation
+% as failure over bound policy facts.
+
+% Output declarations: host-supplied goals select the relations written to this example's golden output.
+%% goal: policy(X0, X1)
+
+%% goal: status(X0, X1)
+
+%% goal: reason(X0, X1)
+
+
+% Program structure: facts set up the scenario, and rules derive the queried conclusions.
+policy_request(test1, policy_x).
+has(test1, claim_a).
+has(test1, claim_b).
+has(test1, claim_c).
+
+policy(policy_x).
+allOf(policy_x, claim_a).
+allOf(policy_x, claim_b).
+anyOf(policy_x, claim_c).
+noneOf(policy_x, claim_d).
+
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+passes_all_of(Request, Policy) :-
+  policy_request(Request, Policy),
+  policy(Policy),
+  \+ (allOf(Policy, Claim), \+ has(Request, Claim)).
+
+passes_any_of(Request, Policy) :-
+  policy_request(Request, Policy),
+  policy(Policy),
+  anyOf(Policy, Claim),
+  has(Request, Claim).
+
+passes_none_of(Request, Policy) :-
+  policy_request(Request, Policy),
+  policy(Policy),
+  \+ (noneOf(Policy, Claim), has(Request, Claim)).
+
+passes_policy(Request, Policy) :-
+  passes_all_of(Request, Policy),
+  passes_any_of(Request, Policy),
+  passes_none_of(Request, Policy).
+
+policy(test1, policy_x).
+
+status(test1, policy_passed) :-
+  passes_policy(test1, policy_x).
+
+reason(test1, "all required claims are present, one allowed claim is present, and no forbidden claim is present") :-
+  passes_policy(test1, policy_x).

package/examples/ackermann.pl

@@ -0,0 +1,48 @@
+% Ackermann-style hyperoperation benchmark adapted from Eyeling ackermann.n3.
+% The public ackermann/2 answers are small, but the helper relation exercises
+% deeply nested arithmetic recursion: hyper/4 encodes successor, addition,
+% multiplication, exponentiation, and then the Ackermann-style offset
+% ackermann(X, Y) = hyper(X, Y + 3, 2) - 3.
+% Keeping the selected inputs explicit avoids unbounded generation while still
+% testing the solver's recursive numeric workload.
+
+%% goal: ackermann(X0, X1)
+
+
+ackermann(X, Y, A) :-
+  (B is Y + 3),
+  hyper(X, B, 2, C),
+  (A is C - 3).
+
+% Successor, addition, multiplication, and exponentiation levels.
+hyper(0, Y, _z, A) :- (A is Y + 1).
+hyper(1, Y, Z, A) :- (A is Y + Z).
+hyper(2, Y, Z, A) :- (A is Y * Z).
+hyper(3, Y, Z, A) :- (A is Z ^ Y).
+
+% Higher levels recurse over the previous hyperoperation.
+hyper(X, 0, _z, 1) :- (X > 3).
+hyper(X, Y, Z, A) :-
+  (X > 3),
+  (Y \= 0),
+  (B is Y - 1),
+  hyper(X, B, Z, C),
+  (D is X - 1),
+  hyper(D, C, Z, A).
+
+ack_case(0, 0).
+ack_case(0, 6).
+ack_case(1, 2).
+ack_case(1, 7).
+ack_case(2, 2).
+ack_case(2, 9).
+ack_case(3, 4).
+ack_case(3, 1000).
+ack_case(4, 0).
+ack_case(4, 1).
+ack_case(4, 2).
+ack_case(5, 0).
+
+ackermann([X, Y], A) :-
+  ack_case(X, Y),
+  ackermann(X, Y, A).

package/examples/age.pl

@@ -0,0 +1,30 @@
+% Age checker adapted from Eyeling.
+% The example combines date literals, ISO-8601 duration values, local_time/1,
+% difference/3, and duration comparison.  It deliberately uses the current
+% local date so the derived ageAbove/2 fact remains an executable temporal
+% check rather than a precomputed constant.
+
+%% goal: birthDay(X0, X1)
+
+%% goal: duration(X0, X1)
+
+%% goal: ageAbove(X0, X1)
+
+%% goal: holds_result(X0, X1)
+
+
+birthDay(patH, "1944-08-21").
+duration(check, "P80Y").
+
+% A person is above a duration if the local date minus the birthday is greater
+% than that duration.
+ageAbove(S, A) :-
+  birthDay(S, B),
+  duration(check, A),
+  local_time(D),
+  difference(D, B, F),
+  (F @> A).
+
+% Test mirroring the Eyeling example.
+holds_result(test, true) :-
+  ageAbove(S, "P80Y").

package/examples/aliases-and-namespaces.pl

@@ -0,0 +1,24 @@
+% Built-ins use one native spelling each, while vocabulary-style predicate names
+% remain ordinary user predicates.
+%
+% This keeps the language small: arithmetic, comparison, and string operations are native,
+% while list decomposition uses ordinary Prolog pattern matching.
+%% goal: value(X0, X1)
+
+%% goal: ok(X0, X1)
+
+%% goal: tail(X0, X1)
+
+%% goal: label(X0, X1)
+
+
+% The first four rules call native built-ins; the last two rules show that
+% application vocabulary is modeled with ordinary facts and rules.
+value(nativeMath, X) :- (X is 0.125 + 0.875).
+ok(nativeCompare, true) :- (2 < 3).
+ok(nativeString, true) :- matches("scoped retail insight", "retail|medical").
+tail(nativeList, Tail) :- [_head|Tail] = [a, b, c].
+
+% These names are just user data; eyeprolog does not give them special meaning.
+example_label(vocabularyExample, "vocabulary names are ordinary predicate names").
+label(vocabularyExample, Text) :- example_label(vocabularyExample, Text).

package/examples/alignment-demo.pl

@@ -0,0 +1,50 @@
+% Alignment demo, adapted from Eyeling's examples/alignment-demo.n3.
+%
+% The output is the Prolog-style counterpart of the Eyeling golden output:
+% broader/narrower alignments, their transitive closure, the reflexive
+% narrower-or-equal relation, and the concepts that roll up to ref_car.
+
+% Output declarations: host-supplied goals select the relations written to this example's golden output.
+%% goal: broader(X0, X1)
+
+%% goal: narrower(X0, X1)
+
+%% goal: broaderTransitive(X0, X1)
+
+%% goal: narrowerTransitive(X0, X1)
+
+%% goal: narrowerOrEqualOf(X0, X1)
+
+%% goal: rollsUpTo(X0, X1)
+
+
+% Program structure: facts set up the scenario, and rules derive the queried conclusions.
+concept(ref_car).
+concept(tel_car).
+concept(tel_heavy_vehicle).
+concept(anpr_vehicle_with_plate).
+concept(anpr_passenger_car).
+
+assertedBroader(tel_car, ref_car).
+assertedBroader(tel_heavy_vehicle, ref_car).
+assertedBroader(anpr_vehicle_with_plate, ref_car).
+assertedNarrower(anpr_vehicle_with_plate, anpr_passenger_car).
+
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+broader(X, Y) :- assertedBroader(X, Y).
+broader(X, Y) :- assertedNarrower(Y, X).
+
+narrower(X, Y) :- broader(Y, X).
+
+broaderTransitive(X, Y) :- broader(X, Y).
+broaderTransitive(X, Z) :- broader(X, Y), broaderTransitive(Y, Z).
+
+narrowerTransitive(X, Y) :- narrower(X, Y).
+narrowerTransitive(X, Z) :- narrower(X, Y), narrowerTransitive(Y, Z).
+
+narrowerOrEqualOf(X, X) :- concept(X).
+narrowerOrEqualOf(X, Y) :- broaderTransitive(X, Y).
+
+rollsUpTo(X, ref_car) :-
+  narrowerOrEqualOf(X, ref_car),
+  (X \= ref_car).