eyeprolog 1.6.30 → 1.6.32

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 (286) hide show
  1. package/README.md +1 -0
  2. package/SPEC.md +716 -0
  3. package/arc-in-eyeprolog.md +24 -15
  4. package/examples/check/abstract-interpretation.pl +2 -0
  5. package/examples/check/access-control-policy.pl +4 -2
  6. package/examples/check/ackermann.pl +2 -0
  7. package/examples/check/age.pl +2 -0
  8. package/examples/check/aliases-and-namespaces.pl +2 -0
  9. package/examples/check/alignment-demo.pl +2 -0
  10. package/examples/check/allen-interval-calculus.pl +2 -0
  11. package/examples/check/ancestor.pl +2 -0
  12. package/examples/check/animal.pl +2 -0
  13. package/examples/check/annotation.pl +2 -0
  14. package/examples/check/attributed-variables.pl +10 -8
  15. package/examples/check/auroracare.pl +2 -0
  16. package/examples/check/backward.pl +2 -0
  17. package/examples/check/basic-monadic.pl +2 -0
  18. package/examples/check/bayes-diagnosis.pl +2 -0
  19. package/examples/check/bayes-therapy.pl +2 -0
  20. package/examples/check/beam-deflection.pl +2 -0
  21. package/examples/check/bench.pl +2 -0
  22. package/examples/check/binomial-vandermonde.pl +4 -2
  23. package/examples/check/blocks-world-planning.pl +10 -8
  24. package/examples/check/bmi.pl +2 -0
  25. package/examples/check/braking-safety-worlds.pl +2 -0
  26. package/examples/check/buck-converter-design.pl +2 -0
  27. package/examples/check/bulk-stream-write.pl +2 -0
  28. package/examples/check/cache-performance.pl +2 -0
  29. package/examples/check/canary-release.pl +2 -0
  30. package/examples/check/cat-koko.pl +2 -0
  31. package/examples/check/catalan-convolution.pl +4 -2
  32. package/examples/check/cdcl-sat-solver.pl +2 -0
  33. package/examples/check/chart-parser.pl +4 -2
  34. package/examples/check/clinical-trial-screening.pl +2 -0
  35. package/examples/check/clpb-boolean-circuit.pl +2 -0
  36. package/examples/check/clpb-cardinality.pl +3 -1
  37. package/examples/check/clpb-feature-model.pl +3 -1
  38. package/examples/check/clpb-weighted-planning.pl +2 -0
  39. package/examples/check/clpz-factorial.pl +2 -0
  40. package/examples/check/clpz-global-constraints.pl +2 -0
  41. package/examples/check/clpz-n-queens.pl +2 -0
  42. package/examples/check/clpz-resource-allocation.pl +2 -0
  43. package/examples/check/clpz-sudoku-9x9.pl +7 -5
  44. package/examples/check/collatz-1000.pl +2 -0
  45. package/examples/check/combinatorics-findall-sort.pl +3 -1
  46. package/examples/check/competitive-enzyme-kinetics.pl +2 -0
  47. package/examples/check/complex.pl +2 -0
  48. package/examples/check/composition-of-injective-functions-is-injective.pl +2 -0
  49. package/examples/check/context-association.pl +2 -0
  50. package/examples/check/context-schema-audit.pl +2 -0
  51. package/examples/check/continued-fraction-sqrt2.pl +3 -1
  52. package/examples/check/control-system.pl +2 -0
  53. package/examples/check/critical-path-schedule.pl +14 -12
  54. package/examples/check/cross-organization-data-sharing.pl +2 -0
  55. package/examples/check/cyclic-path.pl +2 -0
  56. package/examples/check/d3-group.pl +3 -1
  57. package/examples/check/dairy-energy-balance.pl +2 -0
  58. package/examples/check/data-negotiation.pl +2 -0
  59. package/examples/check/dcg-command-parser.pl +3 -1
  60. package/examples/check/dcg-expression-language.pl +3 -1
  61. package/examples/check/declarative-fault-localization.pl +2 -0
  62. package/examples/check/deep-taxonomy-10.pl +11 -9
  63. package/examples/check/deep-taxonomy-100.pl +11 -9
  64. package/examples/check/deep-taxonomy-1000.pl +13 -17
  65. package/examples/check/deep-taxonomy-10000.pl +13 -17
  66. package/examples/check/deep-taxonomy-100000.pl +13 -17
  67. package/examples/check/defeasible-reasoning.pl +2 -0
  68. package/examples/check/delfour.pl +2 -0
  69. package/examples/check/deontic-logic.pl +2 -0
  70. package/examples/check/derived-backward-rule.pl +2 -0
  71. package/examples/check/derived-rule.pl +2 -0
  72. package/examples/check/diamond-property.pl +2 -0
  73. package/examples/check/dif-constraints.pl +2 -0
  74. package/examples/check/dijkstra-findall-sort.pl +13 -11
  75. package/examples/check/dijkstra-risk-path.pl +2 -0
  76. package/examples/check/dijkstra.pl +2 -0
  77. package/examples/check/dining-philosophers.pl +2 -0
  78. package/examples/check/dog.pl +3 -1
  79. package/examples/check/donald-gerald-robert.pl +3 -1
  80. package/examples/check/dpv-odrl-purpose-mapping.pl +2 -0
  81. package/examples/check/drone-corridor-planner.pl +2 -0
  82. package/examples/check/easter-computus.pl +2 -0
  83. package/examples/check/electrical-rc-filter.pl +2 -0
  84. package/examples/check/enigma1225.pl +3 -1
  85. package/examples/check/epidemic-policy.pl +2 -0
  86. package/examples/check/equality-saturation.pl +4 -2
  87. package/examples/check/equivalence-classes-overlap-implies-same-class.pl +2 -0
  88. package/examples/check/eulerian-path.pl +5 -3
  89. package/examples/check/ev-range-worlds.pl +2 -0
  90. package/examples/check/evidence-demand-authority.pl +2 -0
  91. package/examples/check/existential-rule.pl +2 -0
  92. package/examples/check/exoplanet-validation-worlds.pl +2 -0
  93. package/examples/check/explainable-ev-depot-configuration.pl +3 -1
  94. package/examples/check/expression-eval.pl +2 -0
  95. package/examples/check/family-cousins.pl +2 -0
  96. package/examples/check/fast-fourier-transform.pl +2 -0
  97. package/examples/check/fastpow.pl +2 -0
  98. package/examples/check/fft8-numeric.pl +2 -0
  99. package/examples/check/fibonacci.pl +2 -0
  100. package/examples/check/field-nitrogen-balance.pl +2 -0
  101. package/examples/check/flandor.pl +2 -0
  102. package/examples/check/floating-point.pl +2 -0
  103. package/examples/check/four-color-map.pl +3 -1
  104. package/examples/check/fundamental-theorem-arithmetic.pl +2 -0
  105. package/examples/check/gd-step-certified.pl +2 -0
  106. package/examples/check/gdpr-compliance.pl +2 -0
  107. package/examples/check/goldbach.pl +2 -0
  108. package/examples/check/good-cobbler.pl +2 -0
  109. package/examples/check/gps.pl +2 -0
  110. package/examples/check/graph-reachability.pl +2 -0
  111. package/examples/check/graph.pl +2 -0
  112. package/examples/check/gray-code-counter.pl +2 -0
  113. package/examples/check/greatest-lower-bound-uniqueness.pl +2 -0
  114. package/examples/check/group-inverse-uniqueness.pl +2 -0
  115. package/examples/check/hamiltonian-path.pl +2 -0
  116. package/examples/check/hamming-code.pl +2 -0
  117. package/examples/check/hanoi.pl +2 -0
  118. package/examples/check/heat-loss.pl +2 -0
  119. package/examples/check/herbrand-semantics.pl +2 -0
  120. package/examples/check/herbrand-witnesses.pl +2 -0
  121. package/examples/check/heron-theorem.pl +2 -0
  122. package/examples/check/http-client.pl +2 -0
  123. package/examples/check/ideal-gas-law.pl +2 -0
  124. package/examples/check/illegitimate-reasoning.pl +2 -0
  125. package/examples/check/integer-partitions.pl +3 -1
  126. package/examples/check/integrity-check.pl +2 -0
  127. package/examples/check/intuitionistic-logic-kripke.pl +2 -0
  128. package/examples/check/iso-atomic-conversion.pl +2 -0
  129. package/examples/check/iso-control-and-errors.pl +4 -2
  130. package/examples/check/iso-dynamic-database.pl +3 -1
  131. package/examples/check/iso-extension-pipeline-audit.pl +7 -5
  132. package/examples/check/iso-extensions.pl +7 -5
  133. package/examples/check/iso-grouped-solutions.pl +6 -4
  134. package/examples/check/iso-integer-arithmetic.pl +2 -0
  135. package/examples/check/iso-operators.pl +2 -0
  136. package/examples/check/iso-reflective-terms.pl +2 -0
  137. package/examples/check/iso-term-io.pl +4 -2
  138. package/examples/check/job-shop-scheduling.pl +3 -1
  139. package/examples/check/json.pl +2 -0
  140. package/examples/check/knapsack-optimization.pl +3 -1
  141. package/examples/check/knights-tour-warnsdorff.pl +26 -24
  142. package/examples/check/knowledge-engineering-alignment-flow.pl +2 -0
  143. package/examples/check/knuth-bendix-completion.pl +7 -5
  144. package/examples/check/language.pl +2 -0
  145. package/examples/check/law-of-cosines.pl +2 -0
  146. package/examples/check/least-squares-regression.pl +2 -0
  147. package/examples/check/lee.pl +17 -15
  148. package/examples/check/linear-logic-resources.pl +3 -1
  149. package/examples/check/list-collection.pl +2 -0
  150. package/examples/check/lldm.pl +2 -0
  151. package/examples/check/manufacturing-quality-control.pl +2 -0
  152. package/examples/check/map-four-color-search.pl +29 -27
  153. package/examples/check/markov-logic-network.pl +7 -5
  154. package/examples/check/matrix-chain-order.pl +9 -7
  155. package/examples/check/matrix-noncommutativity.pl +2 -0
  156. package/examples/check/microgrid-dispatch.pl +2 -0
  157. package/examples/check/missionaries-cannibals.pl +3 -1
  158. package/examples/check/modal-logic-kripke.pl +2 -0
  159. package/examples/check/modular-exponentiation.pl +2 -0
  160. package/examples/check/monkey-bananas.pl +7 -5
  161. package/examples/check/network-sla.pl +2 -0
  162. package/examples/check/newton-raphson.pl +2 -0
  163. package/examples/check/nixon-diamond.pl +2 -0
  164. package/examples/check/observability-log-correlation.pl +3 -1
  165. package/examples/check/odrl-dpv-fpv-trust-flow.pl +2 -0
  166. package/examples/check/odrl-dpv-healthcare-risk-ranked.pl +3 -1
  167. package/examples/check/odrl-dpv-risk-ranked.pl +3 -1
  168. package/examples/check/odrl-policy-advanced.pl +2 -0
  169. package/examples/check/odrl-policy-reasoning.pl +25 -23
  170. package/examples/check/odrl-policy.pl +2 -0
  171. package/examples/check/operational-incident-response.pl +2 -0
  172. package/examples/check/orbital-transfer-design.pl +2 -0
  173. package/examples/check/partial-evaluator.pl +7 -5
  174. package/examples/check/path-discovery.pl +2 -0
  175. package/examples/check/peano-arithmetic.pl +2 -0
  176. package/examples/check/peano-calculus.pl +2 -0
  177. package/examples/check/peasant.pl +2 -0
  178. package/examples/check/pell-equation.pl +3 -1
  179. package/examples/check/pendulum-period.pl +2 -0
  180. package/examples/check/pi.pl +2 -0
  181. package/examples/check/pointer-analysis.pl +2 -0
  182. package/examples/check/polynomial.pl +2 -0
  183. package/examples/check/portable-library-overlap.pl +2 -0
  184. package/examples/check/prime-range.pl +5 -3
  185. package/examples/check/proof-contrapositive.pl +2 -0
  186. package/examples/check/propositional-dynamic-logic.pl +3 -1
  187. package/examples/check/quadratic-formula.pl +2 -0
  188. package/examples/check/quine-mccluskey.pl +6 -4
  189. package/examples/check/radioactive-decay.pl +2 -0
  190. package/examples/check/rdf12-annotated-claims.pl +3 -1
  191. package/examples/check/rdf12-annotation.pl +2 -0
  192. package/examples/check/rdf12-directional-language.pl +2 -0
  193. package/examples/check/rdf12-nested-triple-term.pl +2 -0
  194. package/examples/check/rdf12-trig-graph-join.pl +2 -0
  195. package/examples/check/rdf12-trig-named-graph.pl +2 -0
  196. package/examples/check/rdf12-trig-triple-term.pl +2 -0
  197. package/examples/check/rdf12-triple-term.pl +2 -0
  198. package/examples/check/register-allocation.pl +4 -2
  199. package/examples/check/reified-conditionals.pl +2 -0
  200. package/examples/check/relational-cube-lookup.pl +2 -0
  201. package/examples/check/reusable-builtins.pl +2 -0
  202. package/examples/check/riemann-hypothesis.pl +2 -0
  203. package/examples/check/route-planning.pl +2 -0
  204. package/examples/check/sat-solver-dpll.pl +3 -1
  205. package/examples/check/sbom-vulnerability-response.pl +2 -0
  206. package/examples/check/scientific-evidence-graph.pl +4 -2
  207. package/examples/check/security-incident-correlation.pl +2 -0
  208. package/examples/check/send-more-money.pl +3 -1
  209. package/examples/check/service-impact.pl +2 -0
  210. package/examples/check/shoelace-polygon-area.pl +2 -0
  211. package/examples/check/sieve.pl +3 -1
  212. package/examples/check/skolem-functions.pl +2 -0
  213. package/examples/check/snaf.pl +2 -0
  214. package/examples/check/socrates.pl +2 -0
  215. package/examples/check/spacecraft-battery-diagnosis.pl +2 -0
  216. package/examples/check/stable-marriage.pl +4 -2
  217. package/examples/check/statistics-summary.pl +2 -0
  218. package/examples/check/stirling-bell-numbers.pl +6 -4
  219. package/examples/check/superdense-coding.pl +2 -0
  220. package/examples/check/symbiotic-knowledge-graph.pl +6 -4
  221. package/examples/check/symbolic-derivative.pl +2 -0
  222. package/examples/check/takeuchi.pl +2 -0
  223. package/examples/check/term-tools.pl +2 -0
  224. package/examples/check/totient-summatory.pl +6 -4
  225. package/examples/check/trust-flow-provenance-threshold.pl +2 -0
  226. package/examples/check/truth-maintenance-system.pl +2 -0
  227. package/examples/check/turing.pl +2 -0
  228. package/examples/check/type-inference.pl +2 -0
  229. package/examples/check/universal-vs-existential-termination.pl +5 -3
  230. package/examples/check/uuid.pl +2 -0
  231. package/examples/check/vanilla-meta-interpreter.pl +4 -2
  232. package/examples/check/vector-similarity.pl +2 -0
  233. package/examples/check/vulnerability-impact.pl +2 -0
  234. package/examples/check/web-names.pl +2 -0
  235. package/examples/check/weighted-interval-scheduling.pl +11 -9
  236. package/examples/check/witch.pl +2 -0
  237. package/examples/check/wolf-goat-cabbage.pl +2 -0
  238. package/examples/check/workplace-compliance.pl +2 -0
  239. package/examples/check/zebra.pl +10 -8
  240. package/examples/deep-taxonomy-10.pl +1 -60
  241. package/examples/deep-taxonomy-100.pl +1 -60
  242. package/examples/deep-taxonomy-1000.pl +1 -60
  243. package/examples/deep-taxonomy-10000.pl +1 -60
  244. package/examples/deep-taxonomy-100000.pl +1 -61
  245. package/examples/output/deep-taxonomy-10.pl +1 -16
  246. package/examples/output/deep-taxonomy-100.pl +1 -16
  247. package/examples/output/deep-taxonomy-1000.pl +1 -16
  248. package/examples/output/deep-taxonomy-10000.pl +1 -16
  249. package/examples/output/deep-taxonomy-100000.pl +1 -16
  250. package/examples/proof/attributed-variables.pl +12 -10
  251. package/examples/proof/blocks-world-planning.pl +1 -1
  252. package/examples/proof/clpz-resource-allocation.pl +3 -3
  253. package/examples/proof/clpz-sudoku-9x9.pl +573 -325
  254. package/examples/proof/deep-taxonomy-10.pl +1 -159
  255. package/examples/proof/deep-taxonomy-100.pl +1 -159
  256. package/examples/proof/deep-taxonomy-1000.pl +2002 -158
  257. package/examples/proof/deep-taxonomy-10000.pl +20002 -158
  258. package/examples/proof/deep-taxonomy-100000.pl +200003 -159
  259. package/examples/proof/dijkstra-findall-sort.pl +1 -1
  260. package/examples/proof/eulerian-path.pl +1 -1
  261. package/examples/proof/gps.pl +6 -6
  262. package/examples/proof/iso-control-and-errors.pl +1 -1
  263. package/examples/proof/iso-dynamic-database.pl +1 -1
  264. package/examples/proof/iso-reflective-terms.pl +5 -2
  265. package/examples/proof/json.pl +1 -1
  266. package/examples/proof/map-four-color-search.pl +1 -1
  267. package/examples/proof/missionaries-cannibals.pl +1 -1
  268. package/examples/proof/monkey-bananas.pl +6 -5
  269. package/examples/proof/stable-marriage.pl +1 -1
  270. package/examples/proof/symbiotic-knowledge-graph.pl +10 -4
  271. package/examples/proof/universal-vs-existential-termination.pl +1 -1
  272. package/examples/proof/zebra.pl +57 -93
  273. package/package.json +2 -1
  274. package/src/check-proof.js +606 -325
  275. package/src/cli.js +39 -12
  276. package/src/explain.js +106 -3
  277. package/src/result-format.js +24 -1
  278. package/test/conformance/expected-proofs/proofs/extra_once_member.pl +1 -1
  279. package/test/conformance/expected-proofs/proofs/once_child.pl +1 -1
  280. package/test/regression/cases-api.mjs +39 -0
  281. package/test/regression/cases-regression.mjs +29 -3
  282. package/test/regression/cases-white-box.mjs +63 -2
  283. package/test/run-conformance.mjs +8 -1
  284. package/test/run-proof-checking.mjs +5 -8
  285. package/the-art-of-eyeprolog.md +9 -4
  286. package/why-eyeprolog.md +17 -9
package/README.md CHANGED
@@ -65,6 +65,7 @@ printf 'human(socrates).\nmortal(X) :- human(X).\n' |
65
65
  - [The Art of EyeProlog](https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog) — complete reference
66
66
  - [Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog) — project scope and design
67
67
  - [ARC in EyeProlog](https://eyereasoner.github.io/eyeprolog/arc-in-eyeprolog) — answer, reason, check
68
+ - [SPEC.md](SPEC.md) — the answer, proof and check format, and the seven conditions C1–C7 a proof check establishes
68
69
  - [Playground](https://eyereasoner.github.io/eyeprolog/playground) — run EyeProlog in a browser
69
70
  - [Examples](examples) — runnable programs and checked output
70
71
  - [Example decks](examples/deck/README.md) — explainable RDF/Prolog scenarios with reproducible roundtrips