eyeprolog 1.5.79 → 1.5.80

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. package/book-assets/correctness-obligations.svg +2 -2
  2. package/book-assets/example-landscape.svg +4 -4
  3. package/book-assets/herbrand-world.svg +3 -3
  4. package/book-assets/part-8-standard-prolog.svg +1 -1
  5. package/package.json +1 -1
package/book-assets/correctness-obligations.svg CHANGED
@@ -2,11 +2,11 @@
2
2
  <title id="title">Correctness, completeness, and termination are separate obligations</title>
3
3
  <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>
4
4
  <defs><style>
5
- .bg{fill:#FFF9E8}.sound{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.complete{fill:#DDF7FB;stroke:#537487;stroke-width:2}.term{fill:#FFF4BF;stroke:#E2BA22;stroke-width:2}.contract{fill:#FFFDF8;stroke:#C8A100;stroke-width:2.5}
5
+ .bg{fill:#FFF9E8}.partial{fill:#DDF7FB;stroke:#008EAA;stroke-width:2}.complete{fill:#DDF7FB;stroke:#537487;stroke-width:2}.term{fill:#FFF4BF;stroke:#E2BA22;stroke-width:2}.contract{fill:#FFFDF8;stroke:#C8A100;stroke-width:2.5}
6
6
  .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,monospace}.center{fill:#9D8200;font:bold 17px Georgia,serif}.line{fill:none;stroke:#537487;stroke-width:3}
7
7
  </style><marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#537487"/></marker></defs>
8
8
  <rect class="bg" width="900" height="430"/><text class="title" x="450" y="38" text-anchor="middle">THREE PROMISES, THREE PROOF OBLIGATIONS</text>
9
- <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>
9
+ <rect class="partial" x="35" y="85" width="250" height="155" rx="12"/><text class="label" x="160" y="120" text-anchor="middle">PARTIAL CORRECTNESS</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>
10
10
  <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>
11
11
  <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>
12
12
  <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"/>
package/book-assets/example-landscape.svg CHANGED
@@ -32,11 +32,11 @@
32
32
  <text class="small" x="755" y="353" text-anchor="middle">models · measurements</text>
33
33
  <text class="small" x="755" y="374" text-anchor="middle">equations · evidence</text>
34
34
 
35
- <path class="link" d="M270 145L355 205M630 145L545 205M270 355L355 295M630 355L545 295"/>
36
- <rect class="core" x="335" y="175" width="230" height="150" rx="18"/>
35
+ <path class="link" d="M270 145L340 205M630 145L560 205M270 355L340 295M630 355L560 295"/>
36
+ <rect class="core" x="320" y="175" width="260" height="150" rx="18"/>
37
37
  <text class="code" x="450" y="212" text-anchor="middle">source.pl</text>
38
- <path class="path" d="M372 235H528"/>
39
- <text class="code" x="450" y="268" text-anchor="middle">eyeprolog --goal 'Question' program.pl</text>
38
+ <path class="path" d="M357 235H543"/>
39
+ <text class="code" x="450" y="268" text-anchor="middle" style="font-size:12px">eyeprolog --goal Q file.pl</text>
40
40
  <text class="code" x="450" y="300" text-anchor="middle">rule :- evidence.</text>
41
41
 
42
42
  <rect x="305" y="385" width="140" height="55" rx="10" fill="#FFFDF8" stroke="#008EAA" stroke-width="2"/>
package/book-assets/herbrand-world.svg CHANGED
@@ -43,9 +43,9 @@
43
43
  <text class="title" x="755" y="155" text-anchor="middle">LEAST MODEL</text>
44
44
  <text class="box-sub" x="755" y="180" text-anchor="middle">facts + rule</text>
45
45
  <text class="box-sub" x="755" y="200" text-anchor="middle">consequences</text>
46
- <text class="text" x="675" y="235">person(pat)</text>
47
- <text class="text" x="675" y="275">parent(pat,jan)</text>
48
- <text class="text" x="675" y="315">ancestor(pat,jan)</text>
46
+ <text class="text" x="755" y="235" text-anchor="middle">person(pat)</text>
47
+ <text class="text" x="755" y="275" text-anchor="middle">parent(pat,jan)</text>
48
+ <text class="text" x="755" y="315" text-anchor="middle">ancestor(pat,jan)</text>
49
49
 
50
50
  <path class="line" d="M278 245 L325 245"/>
51
51
  <path class="line" d="M593 245 L640 245"/>
package/book-assets/part-8-standard-prolog.svg CHANGED
@@ -47,7 +47,7 @@
47
47
  <g transform="translate(270 325)">
48
48
  <circle cx="0" cy="-28" r="18" fill="#FFFDF8" stroke="#17324D" stroke-width="2"/>
49
49
  <path d="M-28 0Q0-25 28 0L22 72H-22Z" fill="#DDF7FB" stroke="#17324D" stroke-width="2"/>
50
- <path class="line" d="M-12 72L-15 105M12 72L15 105M-22 15L-70-10M22 15L72-8"/>
50
+ <path class="line" d="M-12 72L-15 105M12 72L15 105"/>
51
51
  </g>
52
52
  <rect class="blue" x="350" y="337" width="400" height="66" rx="10"/>
53
53
  <text class="small-label" x="550" y="363" text-anchor="middle">ONE STANDARD, FOUR PRACTICES</text>
package/package.json CHANGED
@@ -3,7 +3,7 @@
3
3
  "publishConfig": {
4
4
  "access": "public"
5
5
  },
6
- "version": "1.5.79",
6
+ "version": "1.5.80",
7
7
  "description": "EyeProlog turns facts and rules into answers and proofs.",
8
8
  "type": "module",
9
9
  "main": "./index.js",