eyeprolog 1.6.18 → 1.6.19

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