eyelang 1.6.0 → 1.7.0

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 (1072) hide show
  1. package/README.md +39 -602
  2. package/bin/eyelang.js +7 -0
  3. package/docs/guide.md +591 -0
  4. package/docs/language-reference.md +763 -0
  5. package/examples/access-control-policy.eye +52 -0
  6. package/examples/ackermann.eye +47 -0
  7. package/examples/age.eye +26 -0
  8. package/examples/aliases-and-namespaces.eye +20 -0
  9. package/examples/alignment-demo.eye +44 -0
  10. package/examples/allen-interval-calculus.eye +64 -0
  11. package/examples/ancestor.eye +22 -0
  12. package/examples/animal.eye +21 -0
  13. package/examples/annotation.eye +34 -0
  14. package/examples/auroracare.eye +309 -0
  15. package/examples/backward.eye +11 -0
  16. package/examples/basic-monadic.eye +10032 -0
  17. package/examples/bayes-diagnosis.eye +108 -0
  18. package/examples/bayes-therapy.eye +189 -0
  19. package/examples/beam-deflection.eye +48 -0
  20. package/examples/binomial-vandermonde.eye +49 -0
  21. package/examples/blocks-world-planning.eye +77 -0
  22. package/examples/bmi.eye +232 -0
  23. package/examples/braking-safety-worlds.eye +69 -0
  24. package/examples/buck-converter-design.eye +83 -0
  25. package/examples/cache-performance.eye +56 -0
  26. package/examples/canary-release.eye +51 -0
  27. package/examples/cat-koko.eye +24 -0
  28. package/examples/catalan-convolution.eye +37 -0
  29. package/examples/chart-parser.eye +65 -0
  30. package/examples/clinical-trial-screening.eye +97 -0
  31. package/examples/collatz-1000.eye +45 -0
  32. package/examples/combinatorics-findall-sort.eye +38 -0
  33. package/examples/competitive-enzyme-kinetics.eye +78 -0
  34. package/examples/complex.eye +133 -0
  35. package/examples/composition-of-injective-functions-is-injective.eye +50 -0
  36. package/examples/context-association.eye +53 -0
  37. package/examples/context-schema-audit.eye +46 -0
  38. package/examples/continued-fraction-sqrt2.eye +36 -0
  39. package/examples/control-system.eye +76 -0
  40. package/examples/critical-path-schedule.eye +82 -0
  41. package/examples/cyclic-path.eye +18 -0
  42. package/examples/d3-group.eye +99 -0
  43. package/examples/dairy-energy-balance.eye +66 -0
  44. package/examples/data-negotiation.eye +38 -0
  45. package/examples/deep-taxonomy-10.eye +115 -0
  46. package/examples/deep-taxonomy-100.eye +385 -0
  47. package/examples/deep-taxonomy-1000.eye +3085 -0
  48. package/examples/deep-taxonomy-10000.eye +30094 -0
  49. package/examples/deep-taxonomy-100000.eye +300184 -0
  50. package/examples/delfour.eye +281 -0
  51. package/examples/deontic-logic.eye +52 -0
  52. package/examples/derived-backward-rule.eye +30 -0
  53. package/examples/derived-rule.eye +27 -0
  54. package/examples/diamond-property.eye +38 -0
  55. package/examples/dijkstra-findall-sort.eye +43 -0
  56. package/examples/dijkstra-risk-path.eye +87 -0
  57. package/examples/dijkstra.eye +50 -0
  58. package/examples/dining-philosophers.eye +147 -0
  59. package/examples/dog.eye +25 -0
  60. package/examples/dpv-odrl-purpose-mapping.eye +48 -0
  61. package/examples/drone-corridor-planner.eye +48 -0
  62. package/examples/easter-computus.eye +88 -0
  63. package/examples/electrical-rc-filter.eye +37 -0
  64. package/examples/epidemic-policy.eye +66 -0
  65. package/examples/equivalence-classes-overlap-implies-same-class.eye +27 -0
  66. package/examples/eulerian-path.eye +87 -0
  67. package/examples/ev-range-worlds.eye +87 -0
  68. package/examples/existential-rule.eye +21 -0
  69. package/examples/exoplanet-validation-worlds.eye +94 -0
  70. package/examples/expression-eval.eye +45 -0
  71. package/examples/family-cousins.eye +67 -0
  72. package/examples/fastpow.eye +61 -0
  73. package/examples/fft8-numeric.eye +85 -0
  74. package/examples/fibonacci.eye +60 -0
  75. package/examples/field-nitrogen-balance.eye +73 -0
  76. package/examples/flandor.eye +296 -0
  77. package/examples/floating-point.eye +28 -0
  78. package/examples/four-color-map.eye +133 -0
  79. package/examples/fundamental-theorem-arithmetic.eye +119 -0
  80. package/examples/gd-step-certified.eye +162 -0
  81. package/examples/gdpr-compliance.eye +69 -0
  82. package/examples/good-cobbler.eye +16 -0
  83. package/examples/gps.eye +146 -0
  84. package/examples/graph-reachability.eye +33 -0
  85. package/examples/graph.eye +35 -0
  86. package/examples/gray-code-counter.eye +47 -0
  87. package/examples/greatest-lower-bound-uniqueness.eye +30 -0
  88. package/examples/group-inverse-uniqueness.eye +36 -0
  89. package/examples/hamiltonian-path.eye +51 -0
  90. package/examples/hamming-code.eye +109 -0
  91. package/examples/hanoi.eye +19 -0
  92. package/examples/heat-loss.eye +56 -0
  93. package/examples/heron-theorem.eye +42 -0
  94. package/examples/ideal-gas-law.eye +39 -0
  95. package/examples/illegitimate-reasoning.eye +88 -0
  96. package/examples/integer-partitions.eye +35 -0
  97. package/examples/intuitionistic-logic-kripke.eye +69 -0
  98. package/examples/job-shop-scheduling.eye +48 -0
  99. package/examples/knapsack-optimization.eye +46 -0
  100. package/examples/knowledge-engineering-alignment-flow.eye +46 -0
  101. package/examples/language.eye +25 -0
  102. package/examples/law-of-cosines.eye +37 -0
  103. package/examples/least-squares-regression.eye +85 -0
  104. package/examples/linear-logic-resources.eye +51 -0
  105. package/examples/list-collection.eye +35 -0
  106. package/examples/lldm.eye +80 -0
  107. package/examples/manufacturing-quality-control.eye +73 -0
  108. package/examples/matrix-chain-order.eye +79 -0
  109. package/examples/microgrid-dispatch.eye +89 -0
  110. package/examples/missionaries-cannibals.eye +53 -0
  111. package/examples/modal-logic-kripke.eye +45 -0
  112. package/examples/modular-exponentiation.eye +35 -0
  113. package/examples/monkey-bananas.eye +45 -0
  114. package/examples/n-queens-8.eye +35 -0
  115. package/examples/network-sla.eye +48 -0
  116. package/examples/newton-raphson.eye +48 -0
  117. package/examples/nixon-diamond.eye +37 -0
  118. package/examples/observability-log-correlation.eye +40 -0
  119. package/examples/odrl-dpv-fpv-trust-flow.eye +51 -0
  120. package/examples/odrl-dpv-healthcare-risk-ranked.eye +270 -0
  121. package/examples/odrl-dpv-risk-ranked.eye +320 -0
  122. package/examples/orbital-transfer-design.eye +116 -0
  123. package/examples/output/basic-monadic.eye +1518 -0
  124. package/examples/output/binomial-vandermonde.eye +4 -0
  125. package/examples/output/catalan-convolution.eye +4 -0
  126. package/examples/output/chart-parser.eye +6 -0
  127. package/examples/output/collatz-1000.eye +1000 -0
  128. package/examples/output/complex.eye +6 -0
  129. package/examples/output/context-schema-audit.eye +12 -0
  130. package/examples/output/continued-fraction-sqrt2.eye +4 -0
  131. package/examples/output/critical-path-schedule.eye +19 -0
  132. package/examples/output/dpv-odrl-purpose-mapping.eye +18 -0
  133. package/examples/output/graph.eye +21 -0
  134. package/examples/output/integer-partitions.eye +4 -0
  135. package/examples/output/intuitionistic-logic-kripke.eye +5 -0
  136. package/examples/output/job-shop-scheduling.eye +3 -0
  137. package/examples/output/knapsack-optimization.eye +4 -0
  138. package/examples/output/knowledge-engineering-alignment-flow.eye +17 -0
  139. package/examples/output/language.eye +6 -0
  140. package/examples/output/linear-logic-resources.eye +2 -0
  141. package/examples/output/matrix-chain-order.eye +4 -0
  142. package/examples/output/missionaries-cannibals.eye +3 -0
  143. package/examples/output/modal-logic-kripke.eye +4 -0
  144. package/examples/output/modular-exponentiation.eye +4 -0
  145. package/examples/output/n-queens-8.eye +1 -0
  146. package/examples/output/observability-log-correlation.eye +28 -0
  147. package/examples/output/odrl-dpv-fpv-trust-flow.eye +9 -0
  148. package/examples/output/path-discovery.eye +3 -0
  149. package/examples/output/pell-equation.eye +4 -0
  150. package/examples/output/reusable-builtins.eye +5 -0
  151. package/examples/output/send-more-money.eye +3 -0
  152. package/examples/output/stable-marriage.eye +2 -0
  153. package/examples/output/stirling-bell-numbers.eye +4 -0
  154. package/examples/output/sudoku-4x4.eye +2 -0
  155. package/examples/output/term-tools.eye +6 -0
  156. package/examples/output/totient-summatory.eye +4 -0
  157. package/examples/output/trust-flow-provenance-threshold.eye +6 -0
  158. package/examples/output/vulnerability-impact.eye +20 -0
  159. package/examples/output/web-names.eye +10 -0
  160. package/examples/output/weighted-interval-scheduling.eye +5 -0
  161. package/examples/path-discovery.eye +45013 -0
  162. package/examples/peano-arithmetic.eye +33 -0
  163. package/examples/peasant.eye +29 -0
  164. package/examples/pell-equation.eye +34 -0
  165. package/examples/pendulum-period.eye +50 -0
  166. package/examples/polynomial.eye +124 -0
  167. package/examples/proof/access-control-policy.eye +158 -0
  168. package/examples/proof/age.eye +71 -0
  169. package/examples/proof/aliases-and-namespaces.eye +78 -0
  170. package/examples/proof/ancestor.eye +140 -0
  171. package/examples/proof/animal.eye +68 -0
  172. package/examples/proof/annotation.eye +80 -0
  173. package/examples/proof/backward.eye +22 -0
  174. package/examples/proof/bayes-diagnosis.eye +208 -0
  175. package/examples/proof/beam-deflection.eye +227 -0
  176. package/examples/proof/cache-performance.eye +310 -0
  177. package/examples/proof/canary-release.eye +172 -0
  178. package/examples/proof/cat-koko.eye +86 -0
  179. package/examples/proof/chart-parser.eye +474 -0
  180. package/examples/proof/clinical-trial-screening.eye +389 -0
  181. package/examples/proof/composition-of-injective-functions-is-injective.eye +258 -0
  182. package/examples/proof/context-association.eye +78 -0
  183. package/examples/proof/data-negotiation.eye +76 -0
  184. package/examples/proof/deontic-logic.eye +109 -0
  185. package/examples/proof/derived-backward-rule.eye +74 -0
  186. package/examples/proof/derived-rule.eye +43 -0
  187. package/examples/proof/diamond-property.eye +307 -0
  188. package/examples/proof/dog.eye +31 -0
  189. package/examples/proof/dpv-odrl-purpose-mapping.eye +348 -0
  190. package/examples/proof/electrical-rc-filter.eye +105 -0
  191. package/examples/proof/epidemic-policy.eye +774 -0
  192. package/examples/proof/equivalence-classes-overlap-implies-same-class.eye +1098 -0
  193. package/examples/proof/existential-rule.eye +40 -0
  194. package/examples/proof/expression-eval.eye +105 -0
  195. package/examples/proof/floating-point.eye +160 -0
  196. package/examples/proof/gdpr-compliance.eye +199 -0
  197. package/examples/proof/good-cobbler.eye +16 -0
  198. package/examples/proof/graph-reachability.eye +151 -0
  199. package/examples/proof/greatest-lower-bound-uniqueness.eye +150 -0
  200. package/examples/proof/group-inverse-uniqueness.eye +84 -0
  201. package/examples/proof/hanoi.eye +185 -0
  202. package/examples/proof/heat-loss.eye +228 -0
  203. package/examples/proof/ideal-gas-law.eye +151 -0
  204. package/examples/proof/intuitionistic-logic-kripke.eye +133 -0
  205. package/examples/proof/linear-logic-resources.eye +205 -0
  206. package/examples/proof/list-collection.eye +52 -0
  207. package/examples/proof/modal-logic-kripke.eye +125 -0
  208. package/examples/proof/nixon-diamond.eye +181 -0
  209. package/examples/proof/proof-contrapositive.eye +78 -0
  210. package/examples/proof/reusable-builtins.eye +124 -0
  211. package/examples/proof/security-incident-correlation.eye +270 -0
  212. package/examples/proof/socket-age.eye +32 -0
  213. package/examples/proof/socket-family.eye +59 -0
  214. package/examples/proof/socrates.eye +38 -0
  215. package/examples/proof/term-tools.eye +95 -0
  216. package/examples/proof/witch.eye +216 -0
  217. package/examples/proof-contrapositive.eye +27 -0
  218. package/examples/quadratic-formula.eye +56 -0
  219. package/examples/radioactive-decay.eye +58 -0
  220. package/examples/reusable-builtins.eye +36 -0
  221. package/examples/riemann-hypothesis.eye +110 -0
  222. package/examples/security-incident-correlation.eye +69 -0
  223. package/examples/send-more-money.eye +71 -0
  224. package/examples/service-impact.eye +41 -0
  225. package/examples/sieve.eye +20 -0
  226. package/examples/skolem-functions.eye +52 -0
  227. package/examples/socket-age.eye +39 -0
  228. package/examples/socket-family.eye +28 -0
  229. package/examples/socrates.eye +19 -0
  230. package/examples/stable-marriage.eye +92 -0
  231. package/examples/statistics-summary.eye +56 -0
  232. package/examples/stirling-bell-numbers.eye +32 -0
  233. package/examples/sudoku-4x4.eye +54 -0
  234. package/examples/superdense-coding.eye +84 -0
  235. package/examples/term-tools.eye +32 -0
  236. package/examples/totient-summatory.eye +33 -0
  237. package/examples/trust-flow-provenance-threshold.eye +47 -0
  238. package/examples/turing.eye +69 -0
  239. package/examples/vector-similarity.eye +60 -0
  240. package/examples/vulnerability-impact.eye +69 -0
  241. package/examples/web-names.eye +83 -0
  242. package/examples/weighted-interval-scheduling.eye +81 -0
  243. package/examples/witch.eye +38 -0
  244. package/examples/wolf-goat-cabbage.eye +56 -0
  245. package/examples/zebra.eye +45 -0
  246. package/index.d.ts +230 -0
  247. package/index.js +4 -0
  248. package/package.json +23 -17
  249. package/playground.html +1065 -1201
  250. package/src/bin.js +7 -0
  251. package/src/builtins/arithmetic.js +19 -8
  252. package/src/builtins/context.js +42 -0
  253. package/src/builtins/control.js +12 -0
  254. package/src/builtins/lists.js +144 -10
  255. package/src/builtins/registry.js +3 -9
  256. package/src/builtins/strings.js +207 -14
  257. package/src/builtins/terms.js +68 -0
  258. package/src/cli.js +20 -16
  259. package/src/explain.js +1 -1
  260. package/src/hash.js +294 -0
  261. package/src/index.js +0 -1
  262. package/src/parser.js +101 -33
  263. package/src/program.js +222 -19
  264. package/src/solver.js +163 -35
  265. package/src/term.js +14 -1
  266. package/test/conformance/README.md +43 -0
  267. package/test/conformance/cases/001_fact_output.eye +4 -0
  268. package/test/conformance/cases/002_rule_recursion.eye +7 -0
  269. package/test/conformance/cases/002_rule_recursion.query +1 -0
  270. package/test/conformance/cases/003_terms_and_readback.eye +16 -0
  271. package/test/conformance/cases/003_terms_and_readback.query +1 -0
  272. package/test/conformance/cases/004_conjunction_and_parentheses.eye +5 -0
  273. package/test/conformance/cases/004_conjunction_and_parentheses.query +1 -0
  274. package/test/conformance/cases/005_list_deconstruction.eye +6 -0
  275. package/test/conformance/cases/005_list_deconstruction.query +1 -0
  276. package/test/conformance/cases/006_comma_formula_data.eye +4 -0
  277. package/test/conformance/cases/006_comma_formula_data.query +1 -0
  278. package/test/conformance/cases/007_anonymous_variables.eye +5 -0
  279. package/test/conformance/cases/007_anonymous_variables.query +1 -0
  280. package/test/conformance/cases/008_graphic_atoms.eye +6 -0
  281. package/test/conformance/cases/008_graphic_atoms.query +1 -0
  282. package/test/conformance/cases/009_comments_and_whitespace.eye +5 -0
  283. package/test/conformance/cases/009_comments_and_whitespace.query +1 -0
  284. package/test/conformance/cases/010_variable_scope_and_reuse.eye +8 -0
  285. package/test/conformance/cases/010_variable_scope_and_reuse.query +1 -0
  286. package/test/conformance/cases/011_predicate_arity.eye +6 -0
  287. package/test/conformance/cases/011_predicate_arity.query +1 -0
  288. package/test/conformance/cases/012_nested_compound_unification.eye +5 -0
  289. package/test/conformance/cases/012_nested_compound_unification.query +1 -0
  290. package/test/conformance/cases/013_multiple_clauses_order.eye +6 -0
  291. package/test/conformance/cases/013_multiple_clauses_order.query +1 -0
  292. package/test/conformance/cases/014_failure_filters_answers.eye +7 -0
  293. package/test/conformance/cases/014_failure_filters_answers.query +1 -0
  294. package/test/conformance/cases/015_improper_list_unification.eye +6 -0
  295. package/test/conformance/cases/015_improper_list_unification.query +1 -0
  296. package/test/conformance/cases/016_arity_zero_atom.eye +4 -0
  297. package/test/conformance/cases/017_three_step_recursion.eye +8 -0
  298. package/test/conformance/cases/017_three_step_recursion.query +1 -0
  299. package/test/conformance/cases/018_quoted_atom_readback.eye +6 -0
  300. package/test/conformance/cases/018_quoted_atom_readback.query +1 -0
  301. package/test/conformance/cases/019_parenthesized_three_conjuncts.eye +7 -0
  302. package/test/conformance/cases/019_parenthesized_three_conjuncts.query +1 -0
  303. package/test/conformance/cases/020_nested_list_terms.eye +5 -0
  304. package/test/conformance/cases/020_nested_list_terms.query +1 -0
  305. package/test/conformance/cases/021_repeated_variable_head.eye +7 -0
  306. package/test/conformance/cases/022_rule_head_structure.eye +5 -0
  307. package/test/conformance/cases/023_quoted_escapes_readback.eye +5 -0
  308. package/test/conformance/cases/024_numeric_literal_readback.eye +6 -0
  309. package/test/conformance/cases/025_body_parentheses_with_formula_data.eye +5 -0
  310. package/test/conformance/cases/026_question_underscore_named_variable_reuse.eye +5 -0
  311. package/test/conformance/cases/027_default_derived_output.eye +5 -0
  312. package/test/conformance/cases/028_materialize_focus.eye +5 -0
  313. package/test/conformance/cases/029_arithmetic_and_comparison.eye +11 -0
  314. package/test/conformance/cases/029_arithmetic_and_comparison.query +1 -0
  315. package/test/conformance/cases/030_strings_and_atoms.eye +4 -0
  316. package/test/conformance/cases/030_strings_and_atoms.query +1 -0
  317. package/test/conformance/cases/031_lists_aggregation_ordering.eye +10 -0
  318. package/test/conformance/cases/031_lists_aggregation_ordering.query +1 -0
  319. package/test/conformance/cases/032_holds_parts.eye +4 -0
  320. package/test/conformance/cases/033_negation_once_generators.eye +7 -0
  321. package/test/conformance/cases/033_negation_once_generators.query +1 -0
  322. package/test/conformance/cases/034_equality_and_inequality.eye +6 -0
  323. package/test/conformance/cases/034_equality_and_inequality.query +1 -0
  324. package/test/conformance/cases/035_list_relations.eye +5 -0
  325. package/test/conformance/cases/035_list_relations.query +1 -0
  326. package/test/conformance/cases/036_append_splits.eye +3 -0
  327. package/test/conformance/cases/036_append_splits.query +1 -0
  328. package/test/conformance/cases/037_matching_and_comparison.eye +7 -0
  329. package/test/conformance/cases/037_matching_and_comparison.query +1 -0
  330. package/test/conformance/cases/038_table_declaration.eye +8 -0
  331. package/test/conformance/cases/038_table_declaration.query +1 -0
  332. package/test/conformance/cases/039_numeric_functions.eye +9 -0
  333. package/test/conformance/cases/039_numeric_functions.query +1 -0
  334. package/test/conformance/cases/040_between_enumeration.eye +3 -0
  335. package/test/conformance/cases/040_between_enumeration.query +1 -0
  336. package/test/conformance/cases/041_smallest_divisor.eye +3 -0
  337. package/test/conformance/cases/041_smallest_divisor.query +1 -0
  338. package/test/conformance/cases/042_negation_filter.eye +7 -0
  339. package/test/conformance/cases/042_negation_filter.query +1 -0
  340. package/test/conformance/cases/043_once_user_predicate.eye +5 -0
  341. package/test/conformance/cases/043_once_user_predicate.query +1 -0
  342. package/test/conformance/cases/044_findall_user_goal.eye +6 -0
  343. package/test/conformance/cases/044_findall_user_goal.query +1 -0
  344. package/test/conformance/cases/045_sort_deduplicates_atoms.eye +3 -0
  345. package/test/conformance/cases/045_sort_deduplicates_atoms.query +1 -0
  346. package/test/conformance/cases/046_append_bound_prefix_suffix.eye +4 -0
  347. package/test/conformance/cases/046_append_bound_prefix_suffix.query +1 -0
  348. package/test/conformance/cases/047_nth0_index_generation.eye +3 -0
  349. package/test/conformance/cases/047_nth0_index_generation.query +1 -0
  350. package/test/conformance/cases/048_set_nth0_edges.eye +4 -0
  351. package/test/conformance/cases/048_set_nth0_edges.query +1 -0
  352. package/test/conformance/cases/049_select_duplicate_occurrences.eye +3 -0
  353. package/test/conformance/cases/049_select_duplicate_occurrences.query +1 -0
  354. package/test/conformance/cases/050_not_member_filter.eye +6 -0
  355. package/test/conformance/cases/050_not_member_filter.query +1 -0
  356. package/test/conformance/cases/051_nested_holds_parts.eye +4 -0
  357. package/test/conformance/cases/052_holds_member.eye +3 -0
  358. package/test/conformance/cases/053_materialize_excludes_source_fact.eye +6 -0
  359. package/test/conformance/cases/054_numeric_and_lexical_comparison.eye +5 -0
  360. package/test/conformance/cases/054_numeric_and_lexical_comparison.query +1 -0
  361. package/test/conformance/cases/055_string_matching_filters.eye +6 -0
  362. package/test/conformance/cases/055_string_matching_filters.query +1 -0
  363. package/test/conformance/cases/056_string_and_atom_concat.eye +3 -0
  364. package/test/conformance/cases/056_string_and_atom_concat.query +1 -0
  365. package/test/conformance/cases/057_countall_empty_and_nonempty.eye +4 -0
  366. package/test/conformance/cases/057_countall_empty_and_nonempty.query +1 -0
  367. package/test/conformance/cases/058_sumall_numeric_template.eye +5 -0
  368. package/test/conformance/cases/058_sumall_numeric_template.query +1 -0
  369. package/test/conformance/cases/059_aggregate_min_template.eye +5 -0
  370. package/test/conformance/cases/059_aggregate_min_template.query +1 -0
  371. package/test/conformance/cases/060_aggregate_max_compound_key.eye +5 -0
  372. package/test/conformance/cases/060_aggregate_max_compound_key.query +1 -0
  373. package/test/conformance/cases/061_date_difference.eye +4 -0
  374. package/test/conformance/cases/062_reusable_numeric_builtins.eye +10 -0
  375. package/test/conformance/cases/063_reusable_list_builtins.eye +11 -0
  376. package/test/conformance/cases/064_reusable_string_builtins.eye +12 -0
  377. package/test/conformance/cases/065_reusable_term_control_builtins.eye +11 -0
  378. package/test/conformance/cases/066_numeric_edges.eye +14 -0
  379. package/test/conformance/cases/067_list_edges.eye +10 -0
  380. package/test/conformance/cases/068_list_generation_order.eye +7 -0
  381. package/test/conformance/cases/069_list_summaries_and_sets.eye +9 -0
  382. package/test/conformance/cases/070_matches_named_captures.eye +13 -0
  383. package/test/conformance/cases/071_string_edges.eye +10 -0
  384. package/test/conformance/cases/072_string_conversions.eye +10 -0
  385. package/test/conformance/cases/073_term_introspection_edges.eye +11 -0
  386. package/test/conformance/cases/074_forall_edges.eye +10 -0
  387. package/test/conformance/cases/075_aggregation_edges.eye +12 -0
  388. package/test/conformance/cases/076_composed_reusable_builtins.eye +8 -0
  389. package/test/conformance/cases/077_recursive_path_with_lists.eye +10 -0
  390. package/test/conformance/cases/078_mutual_recursion_with_arithmetic.eye +7 -0
  391. package/test/conformance/cases/079_big_integer_arithmetic.eye +8 -0
  392. package/test/conformance/cases/080_rounding_modes.eye +10 -0
  393. package/test/conformance/cases/081_zero_safe_numeric_functions.eye +9 -0
  394. package/test/conformance/cases/082_comparison_semantics.eye +10 -0
  395. package/test/conformance/cases/083_between_modes_and_empty_ranges.eye +8 -0
  396. package/test/conformance/cases/084_append_and_select_composition.eye +7 -0
  397. package/test/conformance/cases/085_nth_and_update_edges.eye +8 -0
  398. package/test/conformance/cases/086_slicing_pipeline.eye +10 -0
  399. package/test/conformance/cases/087_sort_reverse_length.eye +8 -0
  400. package/test/conformance/cases/088_list_summaries_failures.eye +8 -0
  401. package/test/conformance/cases/089_string_split_join_pipeline.eye +7 -0
  402. package/test/conformance/cases/090_string_substring_replace_edges.eye +9 -0
  403. package/test/conformance/cases/091_string_case_and_trim.eye +7 -0
  404. package/test/conformance/cases/092_scalar_string_conversions.eye +9 -0
  405. package/test/conformance/cases/093_regex_named_captures_context.eye +8 -0
  406. package/test/conformance/cases/094_context_holds_enumeration.eye +7 -0
  407. package/test/conformance/cases/095_term_introspection_roundtrip.eye +8 -0
  408. package/test/conformance/cases/096_functor_scalar_edges.eye +8 -0
  409. package/test/conformance/cases/097_control_negation_once_forall.eye +13 -0
  410. package/test/conformance/cases/098_aggregation_nested_templates.eye +11 -0
  411. package/test/conformance/cases/099_materialize_multiple_arities.eye +8 -0
  412. package/test/conformance/cases/100_reusable_builtin_workflow.eye +10 -0
  413. package/test/conformance/cases/101_question_mark_variables.eye +7 -0
  414. package/test/conformance/cases/102_table_declaration.eye +11 -0
  415. package/test/conformance/cases/103_angle_iri_atoms.eye +7 -0
  416. package/test/conformance/cases/104_mode_determinism_declarations.eye +11 -0
  417. package/test/conformance/expected/003_terms_and_readback.eye +13 -0
  418. package/test/conformance/expected/016_arity_zero_atom.eye +1 -0
  419. package/test/conformance/expected/029_arithmetic_and_comparison.eye +9 -0
  420. package/test/conformance/expected/030_strings_and_atoms.eye +2 -0
  421. package/test/conformance/expected/032_holds_parts.eye +3 -0
  422. package/test/conformance/expected/035_list_relations.eye +4 -0
  423. package/test/conformance/expected/051_nested_holds_parts.eye +3 -0
  424. package/test/conformance/expected/052_holds_member.eye +2 -0
  425. package/test/conformance/expected/056_string_and_atom_concat.eye +1 -0
  426. package/test/conformance/expected/062_reusable_numeric_builtins.eye +8 -0
  427. package/test/conformance/expected/063_reusable_list_builtins.eye +9 -0
  428. package/test/conformance/expected/064_reusable_string_builtins.eye +10 -0
  429. package/test/conformance/expected/065_reusable_term_control_builtins.eye +6 -0
  430. package/test/conformance/expected/066_numeric_edges.eye +12 -0
  431. package/test/conformance/expected/067_list_edges.eye +8 -0
  432. package/test/conformance/expected/068_list_generation_order.eye +10 -0
  433. package/test/conformance/expected/069_list_summaries_and_sets.eye +7 -0
  434. package/test/conformance/expected/070_matches_named_captures.eye +1 -0
  435. package/test/conformance/expected/071_string_edges.eye +8 -0
  436. package/test/conformance/expected/072_string_conversions.eye +8 -0
  437. package/test/conformance/expected/073_term_introspection_edges.eye +9 -0
  438. package/test/conformance/expected/074_forall_edges.eye +5 -0
  439. package/test/conformance/expected/075_aggregation_edges.eye +7 -0
  440. package/test/conformance/expected/076_composed_reusable_builtins.eye +5 -0
  441. package/test/conformance/expected/077_recursive_path_with_lists.eye +3 -0
  442. package/test/conformance/expected/078_mutual_recursion_with_arithmetic.eye +7 -0
  443. package/test/conformance/expected/079_big_integer_arithmetic.eye +6 -0
  444. package/test/conformance/expected/080_rounding_modes.eye +8 -0
  445. package/test/conformance/expected/081_zero_safe_numeric_functions.eye +7 -0
  446. package/test/conformance/expected/082_comparison_semantics.eye +8 -0
  447. package/test/conformance/expected/083_between_modes_and_empty_ranges.eye +8 -0
  448. package/test/conformance/expected/084_append_and_select_composition.eye +10 -0
  449. package/test/conformance/expected/085_nth_and_update_edges.eye +8 -0
  450. package/test/conformance/expected/086_slicing_pipeline.eye +7 -0
  451. package/test/conformance/expected/087_sort_reverse_length.eye +6 -0
  452. package/test/conformance/expected/088_list_summaries_failures.eye +6 -0
  453. package/test/conformance/expected/089_string_split_join_pipeline.eye +4 -0
  454. package/test/conformance/expected/090_string_substring_replace_edges.eye +7 -0
  455. package/test/conformance/expected/091_string_case_and_trim.eye +5 -0
  456. package/test/conformance/expected/092_scalar_string_conversions.eye +7 -0
  457. package/test/conformance/expected/093_regex_named_captures_context.eye +5 -0
  458. package/test/conformance/expected/094_context_holds_enumeration.eye +8 -0
  459. package/test/conformance/expected/095_term_introspection_roundtrip.eye +6 -0
  460. package/test/conformance/expected/096_functor_scalar_edges.eye +6 -0
  461. package/test/conformance/expected/097_control_negation_once_forall.eye +5 -0
  462. package/test/conformance/expected/098_aggregation_nested_templates.eye +5 -0
  463. package/test/conformance/expected/099_materialize_multiple_arities.eye +4 -0
  464. package/test/conformance/expected/100_reusable_builtin_workflow.eye +6 -0
  465. package/test/conformance/expected/101_question_mark_variables.eye +3 -0
  466. package/test/conformance/expected/102_table_declaration.eye +6 -0
  467. package/test/conformance/expected/103_angle_iri_atoms.eye +3 -0
  468. package/test/conformance/expected/104_mode_determinism_declarations.eye +4 -0
  469. package/test/run-all.mjs +20 -0
  470. package/test/run-conformance.mjs +78 -0
  471. package/test/run-examples.mjs +155 -0
  472. package/test/run-regression.mjs +1215 -0
  473. package/test/test-style.mjs +94 -0
  474. package/SPEC.md +0 -684
  475. package/bin/eyelang +0 -7
  476. package/conformance/README.md +0 -45
  477. package/conformance/cases/core/001_fact_output.pl +0 -4
  478. package/conformance/cases/core/001_fact_query.query +0 -1
  479. package/conformance/cases/core/002_rule_recursion.pl +0 -7
  480. package/conformance/cases/core/002_rule_recursion.query +0 -1
  481. package/conformance/cases/core/003_terms_and_readback.pl +0 -16
  482. package/conformance/cases/core/003_terms_and_readback.query +0 -1
  483. package/conformance/cases/core/004_conjunction_and_parentheses.pl +0 -5
  484. package/conformance/cases/core/004_conjunction_and_parentheses.query +0 -1
  485. package/conformance/cases/core/005_list_deconstruction.pl +0 -6
  486. package/conformance/cases/core/005_list_deconstruction.query +0 -1
  487. package/conformance/cases/core/006_comma_formula_data.pl +0 -4
  488. package/conformance/cases/core/006_comma_formula_data.query +0 -1
  489. package/conformance/cases/core/007_anonymous_variables.pl +0 -5
  490. package/conformance/cases/core/007_anonymous_variables.query +0 -1
  491. package/conformance/cases/core/008_graphic_atoms.pl +0 -6
  492. package/conformance/cases/core/008_graphic_atoms.query +0 -1
  493. package/conformance/cases/core/009_comments_and_whitespace.pl +0 -5
  494. package/conformance/cases/core/009_comments_and_whitespace.query +0 -1
  495. package/conformance/cases/core/010_variable_scope_and_reuse.pl +0 -8
  496. package/conformance/cases/core/010_variable_scope_and_reuse.query +0 -1
  497. package/conformance/cases/core/011_predicate_arity.pl +0 -6
  498. package/conformance/cases/core/011_predicate_arity.query +0 -1
  499. package/conformance/cases/core/012_nested_compound_unification.pl +0 -5
  500. package/conformance/cases/core/012_nested_compound_unification.query +0 -1
  501. package/conformance/cases/core/013_multiple_clauses_order.pl +0 -6
  502. package/conformance/cases/core/013_multiple_clauses_order.query +0 -1
  503. package/conformance/cases/core/014_failure_filters_answers.pl +0 -7
  504. package/conformance/cases/core/014_failure_filters_answers.query +0 -1
  505. package/conformance/cases/core/015_improper_list_unification.pl +0 -6
  506. package/conformance/cases/core/015_improper_list_unification.query +0 -1
  507. package/conformance/cases/core/016_zero_arity_compound.pl +0 -4
  508. package/conformance/cases/core/016_zero_arity_compound.query +0 -1
  509. package/conformance/cases/core/017_three_step_recursion.pl +0 -8
  510. package/conformance/cases/core/017_three_step_recursion.query +0 -1
  511. package/conformance/cases/core/018_quoted_atom_readback.pl +0 -6
  512. package/conformance/cases/core/018_quoted_atom_readback.query +0 -1
  513. package/conformance/cases/core/019_parenthesized_three_conjuncts.pl +0 -7
  514. package/conformance/cases/core/019_parenthesized_three_conjuncts.query +0 -1
  515. package/conformance/cases/core/020_nested_list_terms.pl +0 -5
  516. package/conformance/cases/core/020_nested_list_terms.query +0 -1
  517. package/conformance/cases/core/021_repeated_variable_head.pl +0 -7
  518. package/conformance/cases/core/022_rule_head_structure.pl +0 -5
  519. package/conformance/cases/core/023_quoted_escapes_readback.pl +0 -5
  520. package/conformance/cases/core/024_numeric_literal_readback.pl +0 -6
  521. package/conformance/cases/core/025_body_parentheses_with_formula_data.pl +0 -5
  522. package/conformance/cases/core/026_underscore_named_variable_reuse.pl +0 -5
  523. package/conformance/cases/extension/001_default_derived_output.pl +0 -5
  524. package/conformance/cases/extension/002_materialize_focus.pl +0 -5
  525. package/conformance/cases/extension/003_arithmetic_and_comparison.pl +0 -12
  526. package/conformance/cases/extension/003_arithmetic_and_comparison.query +0 -1
  527. package/conformance/cases/extension/004_strings_and_atoms.pl +0 -6
  528. package/conformance/cases/extension/004_strings_and_atoms.query +0 -1
  529. package/conformance/cases/extension/005_lists_aggregation_ordering.pl +0 -10
  530. package/conformance/cases/extension/005_lists_aggregation_ordering.query +0 -1
  531. package/conformance/cases/extension/006_formula_terms.pl +0 -5
  532. package/conformance/cases/extension/006_formula_terms.query +0 -1
  533. package/conformance/cases/extension/007_negation_once_generators.pl +0 -7
  534. package/conformance/cases/extension/007_negation_once_generators.query +0 -1
  535. package/conformance/cases/extension/008_equality_and_inequality.pl +0 -6
  536. package/conformance/cases/extension/008_equality_and_inequality.query +0 -1
  537. package/conformance/cases/extension/009_list_relations.pl +0 -6
  538. package/conformance/cases/extension/009_list_relations.query +0 -1
  539. package/conformance/cases/extension/010_append_splits.pl +0 -3
  540. package/conformance/cases/extension/010_append_splits.query +0 -1
  541. package/conformance/cases/extension/011_matching_and_comparison.pl +0 -7
  542. package/conformance/cases/extension/011_matching_and_comparison.query +0 -1
  543. package/conformance/cases/extension/012_memoize_declaration.pl +0 -8
  544. package/conformance/cases/extension/012_memoize_declaration.query +0 -1
  545. package/conformance/cases/extension/013_numeric_functions.pl +0 -9
  546. package/conformance/cases/extension/013_numeric_functions.query +0 -1
  547. package/conformance/cases/extension/014_between_enumeration.pl +0 -3
  548. package/conformance/cases/extension/014_between_enumeration.query +0 -1
  549. package/conformance/cases/extension/015_smallest_divisor.pl +0 -3
  550. package/conformance/cases/extension/015_smallest_divisor.query +0 -1
  551. package/conformance/cases/extension/016_negation_filter.pl +0 -7
  552. package/conformance/cases/extension/016_negation_filter.query +0 -1
  553. package/conformance/cases/extension/017_once_user_predicate.pl +0 -5
  554. package/conformance/cases/extension/017_once_user_predicate.query +0 -1
  555. package/conformance/cases/extension/018_findall_user_goal.pl +0 -6
  556. package/conformance/cases/extension/018_findall_user_goal.query +0 -1
  557. package/conformance/cases/extension/019_sort_deduplicates_atoms.pl +0 -3
  558. package/conformance/cases/extension/019_sort_deduplicates_atoms.query +0 -1
  559. package/conformance/cases/extension/020_append_bound_prefix_suffix.pl +0 -4
  560. package/conformance/cases/extension/020_append_bound_prefix_suffix.query +0 -1
  561. package/conformance/cases/extension/021_nth0_index_generation.pl +0 -3
  562. package/conformance/cases/extension/021_nth0_index_generation.query +0 -1
  563. package/conformance/cases/extension/022_set_nth0_edges.pl +0 -4
  564. package/conformance/cases/extension/022_set_nth0_edges.query +0 -1
  565. package/conformance/cases/extension/023_select_duplicate_occurrences.pl +0 -3
  566. package/conformance/cases/extension/023_select_duplicate_occurrences.query +0 -1
  567. package/conformance/cases/extension/024_not_member_filter.pl +0 -6
  568. package/conformance/cases/extension/024_not_member_filter.query +0 -1
  569. package/conformance/cases/extension/025_is_list_filter.pl +0 -5
  570. package/conformance/cases/extension/025_is_list_filter.query +0 -1
  571. package/conformance/cases/extension/026_nested_formula_terms.pl +0 -5
  572. package/conformance/cases/extension/026_nested_formula_terms.query +0 -1
  573. package/conformance/cases/extension/027_materialize_excludes_source_fact.pl +0 -6
  574. package/conformance/cases/extension/028_numeric_and_lexical_comparison.pl +0 -5
  575. package/conformance/cases/extension/028_numeric_and_lexical_comparison.query +0 -1
  576. package/conformance/cases/extension/029_string_matching_filters.pl +0 -6
  577. package/conformance/cases/extension/029_string_matching_filters.query +0 -1
  578. package/conformance/cases/extension/030_string_and_atom_concat.pl +0 -4
  579. package/conformance/cases/extension/030_string_and_atom_concat.query +0 -1
  580. package/conformance/cases/extension/031_countall_empty_and_nonempty.pl +0 -4
  581. package/conformance/cases/extension/031_countall_empty_and_nonempty.query +0 -1
  582. package/conformance/cases/extension/032_sumall_numeric_template.pl +0 -5
  583. package/conformance/cases/extension/032_sumall_numeric_template.query +0 -1
  584. package/conformance/cases/extension/033_aggregate_min_template.pl +0 -5
  585. package/conformance/cases/extension/033_aggregate_min_template.query +0 -1
  586. package/conformance/cases/extension/034_aggregate_max_compound_key.pl +0 -5
  587. package/conformance/cases/extension/034_aggregate_max_compound_key.query +0 -1
  588. package/conformance/cases/extension/035_date_difference.pl +0 -4
  589. package/conformance/cases/extension/036_extended_gcd.pl +0 -3
  590. package/conformance/cases/extension/037_collatz_trajectory.pl +0 -3
  591. package/conformance/cases/extension/038_kaprekar_steps.pl +0 -3
  592. package/conformance/cases/extension/039_goldbach_pair.pl +0 -3
  593. package/conformance/cases/extension/040_matrix_operations.pl +0 -5
  594. package/conformance/cases/extension/041_atom_range_generators.pl +0 -5
  595. package/conformance/cases/extension/042_n_queens_small.pl +0 -3
  596. package/conformance/cases/extension/043_cnf_model.pl +0 -3
  597. package/conformance/cases/extension/044_cover9_filter.pl +0 -6
  598. package/conformance/cases/extension/045_alphametic_sum_small.pl +0 -3
  599. package/conformance/cases/extension/046_bounded_subset.pl +0 -4
  600. package/conformance/expected/core/003_terms_and_readback.out +0 -13
  601. package/conformance/expected/core/016_zero_arity_compound.out +0 -1
  602. package/conformance/expected/extension/003_arithmetic_and_comparison.out +0 -10
  603. package/conformance/expected/extension/004_strings_and_atoms.out +0 -4
  604. package/conformance/expected/extension/006_formula_terms.out +0 -4
  605. package/conformance/expected/extension/009_list_relations.out +0 -5
  606. package/conformance/expected/extension/025_is_list_filter.out +0 -1
  607. package/conformance/expected/extension/026_nested_formula_terms.out +0 -6
  608. package/conformance/expected/extension/030_string_and_atom_concat.out +0 -2
  609. package/conformance/expected/extension/036_extended_gcd.out +0 -1
  610. package/conformance/expected/extension/037_collatz_trajectory.out +0 -1
  611. package/conformance/expected/extension/038_kaprekar_steps.out +0 -1
  612. package/conformance/expected/extension/039_goldbach_pair.out +0 -2
  613. package/conformance/expected/extension/040_matrix_operations.out +0 -3
  614. package/conformance/expected/extension/041_atom_range_generators.out +0 -8
  615. package/conformance/expected/extension/042_n_queens_small.out +0 -2
  616. package/conformance/expected/extension/043_cnf_model.out +0 -1
  617. package/conformance/expected/extension/044_cover9_filter.out +0 -2
  618. package/conformance/expected/extension/045_alphametic_sum_small.out +0 -4
  619. package/conformance/expected/extension/046_bounded_subset.out +0 -5
  620. package/examples/access-control-policy.pl +0 -52
  621. package/examples/ackermann.pl +0 -46
  622. package/examples/age.pl +0 -28
  623. package/examples/aliases-and-namespaces.pl +0 -22
  624. package/examples/alignment-demo.pl +0 -44
  625. package/examples/allen-interval-calculus.pl +0 -64
  626. package/examples/ancestor.pl +0 -21
  627. package/examples/animal.pl +0 -21
  628. package/examples/annotation-rdf12.ttl +0 -12
  629. package/examples/annotation.pl +0 -34
  630. package/examples/auroracare.pl +0 -309
  631. package/examples/backward.pl +0 -12
  632. package/examples/basic-monadic.pl +0 -10018
  633. package/examples/bayes-diagnosis.pl +0 -108
  634. package/examples/bayes-therapy.pl +0 -182
  635. package/examples/beam-deflection.pl +0 -50
  636. package/examples/blocks-world-planning.pl +0 -75
  637. package/examples/bmi.pl +0 -232
  638. package/examples/braking-safety-worlds.pl +0 -69
  639. package/examples/buck-converter-design.pl +0 -78
  640. package/examples/cache-performance.pl +0 -54
  641. package/examples/canary-release.pl +0 -49
  642. package/examples/cat-koko.pl +0 -24
  643. package/examples/clinical-trial-screening.pl +0 -92
  644. package/examples/collatz-1000.pl +0 -14
  645. package/examples/combinatorics-findall-sort.pl +0 -37
  646. package/examples/competitive-enzyme-kinetics.pl +0 -78
  647. package/examples/complex-matrix-stability.pl +0 -45
  648. package/examples/complex.pl +0 -121
  649. package/examples/composition-of-injective-functions-is-injective.pl +0 -50
  650. package/examples/context-association.pl +0 -53
  651. package/examples/control-system.pl +0 -72
  652. package/examples/cryptarithmetic-send-more-money.pl +0 -49
  653. package/examples/cyclic-path.pl +0 -16
  654. package/examples/d3-group.pl +0 -100
  655. package/examples/dairy-energy-balance.pl +0 -65
  656. package/examples/data-negotiation.pl +0 -39
  657. package/examples/deep-taxonomy-10.pl +0 -115
  658. package/examples/deep-taxonomy-100.pl +0 -385
  659. package/examples/deep-taxonomy-1000.pl +0 -3085
  660. package/examples/deep-taxonomy-10000.pl +0 -30094
  661. package/examples/deep-taxonomy-100000.pl +0 -300184
  662. package/examples/delfour.pl +0 -281
  663. package/examples/dense-hamiltonian-cycle.pl +0 -92
  664. package/examples/deontic-logic.pl +0 -52
  665. package/examples/derived-backward-rule.pl +0 -30
  666. package/examples/derived-rule.pl +0 -27
  667. package/examples/diamond-property.pl +0 -38
  668. package/examples/dijkstra-findall-sort.pl +0 -44
  669. package/examples/dijkstra-risk-path.pl +0 -86
  670. package/examples/dijkstra.pl +0 -46
  671. package/examples/dining-philosophers.pl +0 -140
  672. package/examples/directional-language.ttl +0 -9
  673. package/examples/dog.pl +0 -25
  674. package/examples/drone-corridor-planner.pl +0 -51
  675. package/examples/easter-computus.pl +0 -89
  676. package/examples/electrical-rc-filter.pl +0 -36
  677. package/examples/epidemic-policy.pl +0 -67
  678. package/examples/equivalence-classes-overlap-implies-same-class.pl +0 -27
  679. package/examples/eulerian-path.pl +0 -85
  680. package/examples/ev-range-worlds.pl +0 -82
  681. package/examples/exact-cover-sudoku.pl +0 -113
  682. package/examples/existential-rule.pl +0 -18
  683. package/examples/exoplanet-validation-worlds.pl +0 -88
  684. package/examples/expression-eval.pl +0 -43
  685. package/examples/eyeling-ackermann.n3 +0 -41
  686. package/examples/eyeling-age-threshold.n3 +0 -12
  687. package/examples/eyeling-alignment-demo.n3 +0 -11
  688. package/examples/eyeling-allen-interval-calculus-small.n3 +0 -13
  689. package/examples/eyeling-backward-recursion.n3 +0 -11
  690. package/examples/eyeling-backward.n3 +0 -10
  691. package/examples/eyeling-basic-monadic-small.n3 +0 -11
  692. package/examples/eyeling-bmi.n3 +0 -10
  693. package/examples/eyeling-cat-koko.n3 +0 -15
  694. package/examples/eyeling-collatz-small.n3 +0 -11
  695. package/examples/eyeling-collection.n3 +0 -11
  696. package/examples/eyeling-complex-arithmetic.n3 +0 -10
  697. package/examples/eyeling-context-association.n3 +0 -11
  698. package/examples/eyeling-control-system-small.n3 +0 -11
  699. package/examples/eyeling-crypto-builtins-extra.n3 +0 -10
  700. package/examples/eyeling-crypto-builtins.n3 +0 -8
  701. package/examples/eyeling-deep-taxonomy-10.n3 +0 -18
  702. package/examples/eyeling-derived-backward-rule-flat.n3 +0 -10
  703. package/examples/eyeling-derived-rule-flat.n3 +0 -9
  704. package/examples/eyeling-digital-product-passport-small.n3 +0 -11
  705. package/examples/eyeling-dijkstra-tiny.n3 +0 -14
  706. package/examples/eyeling-dog-license.n3 +0 -13
  707. package/examples/eyeling-drone-corridor-planner-small.n3 +0 -13
  708. package/examples/eyeling-equals.n3 +0 -8
  709. package/examples/eyeling-equivalence-classes.n3 +0 -11
  710. package/examples/eyeling-euler-identity.n3 +0 -9
  711. package/examples/eyeling-existential-rule.n3 +0 -9
  712. package/examples/eyeling-expression-eval.n3 +0 -11
  713. package/examples/eyeling-family-cousins-extended.n3 +0 -12
  714. package/examples/eyeling-fastpow.n3 +0 -10
  715. package/examples/eyeling-fibonacci.n3 +0 -44
  716. package/examples/eyeling-french-cities-reachability.n3 +0 -22
  717. package/examples/eyeling-goldbach-small.n3 +0 -22
  718. package/examples/eyeling-good-cobbler.n3 +0 -9
  719. package/examples/eyeling-list-builtins.n3 +0 -10
  720. package/examples/eyeling-list-collection-extra.n3 +0 -9
  721. package/examples/eyeling-math-builtins.n3 +0 -9
  722. package/examples/eyeling-string-builtins-extra.n3 +0 -9
  723. package/examples/eyeling-string-builtins.n3 +0 -10
  724. package/examples/eyeling-time-builtins.n3 +0 -11
  725. package/examples/eyeling-time-components-extra.n3 +0 -10
  726. package/examples/eyeling-witch.n3 +0 -10
  727. package/examples/family-cousins.n3 +0 -17
  728. package/examples/family-cousins.pl +0 -65
  729. package/examples/fastpow.pl +0 -53
  730. package/examples/fft8-numeric.pl +0 -83
  731. package/examples/fibonacci.pl +0 -53
  732. package/examples/field-nitrogen-balance.pl +0 -70
  733. package/examples/flandor.pl +0 -296
  734. package/examples/floating-point.pl +0 -23
  735. package/examples/four-color-map.pl +0 -127
  736. package/examples/fundamental-theorem-arithmetic.pl +0 -113
  737. package/examples/gcd-bezout-identity.pl +0 -48
  738. package/examples/gd-step-certified.pl +0 -158
  739. package/examples/gdpr-compliance.pl +0 -69
  740. package/examples/goldbach-1000.pl +0 -185
  741. package/examples/good-cobbler.pl +0 -14
  742. package/examples/gps.pl +0 -152
  743. package/examples/graph-reachability.pl +0 -36
  744. package/examples/gray-code-counter.pl +0 -48
  745. package/examples/greatest-lower-bound-uniqueness.pl +0 -28
  746. package/examples/group-inverse-uniqueness.pl +0 -34
  747. package/examples/hamiltonian-cycle.pl +0 -55
  748. package/examples/hamiltonian-path.pl +0 -49
  749. package/examples/hamming-code.pl +0 -105
  750. package/examples/hanoi.pl +0 -20
  751. package/examples/heat-loss.pl +0 -51
  752. package/examples/heron-theorem.pl +0 -36
  753. package/examples/ideal-gas-law.pl +0 -37
  754. package/examples/illegitimate-reasoning.pl +0 -88
  755. package/examples/kaprekar.pl +0 -32
  756. package/examples/law-of-cosines.pl +0 -31
  757. package/examples/least-squares-regression.pl +0 -81
  758. package/examples/list-collection.pl +0 -33
  759. package/examples/lldm.pl +0 -78
  760. package/examples/manufacturing-quality-control.pl +0 -73
  761. package/examples/matrix.pl +0 -296
  762. package/examples/microgrid-dispatch.pl +0 -85
  763. package/examples/monkey-bananas.pl +0 -45
  764. package/examples/n-queens.pl +0 -23
  765. package/examples/n3-builtins.n3 +0 -28
  766. package/examples/network-sla.pl +0 -48
  767. package/examples/newton-raphson.pl +0 -49
  768. package/examples/nixon-diamond.pl +0 -37
  769. package/examples/odrl-dpv-healthcare-risk-ranked.pl +0 -266
  770. package/examples/odrl-dpv-risk-ranked.pl +0 -320
  771. package/examples/orbital-transfer-design.pl +0 -113
  772. package/examples/output/annotation-rdf12.ttl +0 -1
  773. package/examples/output/basic-monadic.pl +0 -1518
  774. package/examples/output/collatz-1000.pl +0 -1000
  775. package/examples/output/complex-matrix-stability.pl +0 -5
  776. package/examples/output/complex.pl +0 -1
  777. package/examples/output/cryptarithmetic-send-more-money.pl +0 -6
  778. package/examples/output/dense-hamiltonian-cycle.pl +0 -4
  779. package/examples/output/directional-language.ttl +0 -1
  780. package/examples/output/exact-cover-sudoku.pl +0 -3
  781. package/examples/output/eyeling-ackermann.n3 +0 -12
  782. package/examples/output/eyeling-age-threshold.n3 +0 -4
  783. package/examples/output/eyeling-alignment-demo.n3 +0 -1
  784. package/examples/output/eyeling-allen-interval-calculus-small.n3 +0 -3
  785. package/examples/output/eyeling-backward-recursion.n3 +0 -9
  786. package/examples/output/eyeling-backward.n3 +0 -1
  787. package/examples/output/eyeling-basic-monadic-small.n3 +0 -8
  788. package/examples/output/eyeling-bmi.n3 +0 -2
  789. package/examples/output/eyeling-cat-koko.n3 +0 -3
  790. package/examples/output/eyeling-collatz-small.n3 +0 -3
  791. package/examples/output/eyeling-collection.n3 +0 -1
  792. package/examples/output/eyeling-complex-arithmetic.n3 +0 -5
  793. package/examples/output/eyeling-context-association.n3 +0 -4
  794. package/examples/output/eyeling-control-system-small.n3 +0 -4
  795. package/examples/output/eyeling-crypto-builtins-extra.n3 +0 -3
  796. package/examples/output/eyeling-crypto-builtins.n3 +0 -2
  797. package/examples/output/eyeling-deep-taxonomy-10.n3 +0 -32
  798. package/examples/output/eyeling-derived-backward-rule-flat.n3 +0 -4
  799. package/examples/output/eyeling-derived-rule-flat.n3 +0 -2
  800. package/examples/output/eyeling-digital-product-passport-small.n3 +0 -3
  801. package/examples/output/eyeling-dijkstra-tiny.n3 +0 -9
  802. package/examples/output/eyeling-dog-license.n3 +0 -1
  803. package/examples/output/eyeling-drone-corridor-planner-small.n3 +0 -5
  804. package/examples/output/eyeling-equals.n3 +0 -1
  805. package/examples/output/eyeling-equivalence-classes.n3 +0 -2
  806. package/examples/output/eyeling-euler-identity.n3 +0 -3
  807. package/examples/output/eyeling-existential-rule.n3 +0 -4
  808. package/examples/output/eyeling-expression-eval.n3 +0 -3
  809. package/examples/output/eyeling-family-cousins-extended.n3 +0 -6
  810. package/examples/output/eyeling-fastpow.n3 +0 -4
  811. package/examples/output/eyeling-fibonacci.n3 +0 -6
  812. package/examples/output/eyeling-french-cities-reachability.n3 +0 -25
  813. package/examples/output/eyeling-goldbach-small.n3 +0 -2
  814. package/examples/output/eyeling-good-cobbler.n3 +0 -2
  815. package/examples/output/eyeling-list-builtins.n3 +0 -6
  816. package/examples/output/eyeling-list-collection-extra.n3 +0 -5
  817. package/examples/output/eyeling-math-builtins.n3 +0 -5
  818. package/examples/output/eyeling-string-builtins-extra.n3 +0 -3
  819. package/examples/output/eyeling-string-builtins.n3 +0 -4
  820. package/examples/output/eyeling-time-builtins.n3 +0 -4
  821. package/examples/output/eyeling-time-components-extra.n3 +0 -5
  822. package/examples/output/eyeling-witch.n3 +0 -2
  823. package/examples/output/family-cousins.n3 +0 -8
  824. package/examples/output/gcd-bezout-identity.pl +0 -36
  825. package/examples/output/goldbach-1000.pl +0 -667
  826. package/examples/output/hamiltonian-cycle.pl +0 -4
  827. package/examples/output/kaprekar.pl +0 -8
  828. package/examples/output/matrix.pl +0 -10
  829. package/examples/output/n-queens.pl +0 -93
  830. package/examples/output/n3-builtins.n3 +0 -6
  831. package/examples/output/path-discovery.pl +0 -3
  832. package/examples/output/project-portfolio-optimization.pl +0 -6
  833. package/examples/output/quine-mccluskey.pl +0 -3
  834. package/examples/output/resilient-city-orchestration.pl +0 -67
  835. package/examples/output/sat-dpll.pl +0 -5
  836. package/examples/output/socrates.n3 +0 -1
  837. package/examples/output/sudoku.pl +0 -2
  838. package/examples/output/traveling-salesman.pl +0 -1
  839. package/examples/output/triple-term.n3 +0 -2
  840. package/examples/path-discovery.pl +0 -44998
  841. package/examples/peano-arithmetic.pl +0 -31
  842. package/examples/peasant.pl +0 -30
  843. package/examples/pendulum-period.pl +0 -50
  844. package/examples/polynomial.pl +0 -124
  845. package/examples/project-portfolio-optimization.pl +0 -101
  846. package/examples/proof/age.pl +0 -71
  847. package/examples/proof/aliases-and-namespaces.pl +0 -78
  848. package/examples/proof/ancestor.pl +0 -140
  849. package/examples/proof/animal.pl +0 -68
  850. package/examples/proof/annotation.pl +0 -80
  851. package/examples/proof/backward.pl +0 -22
  852. package/examples/proof/cat-koko.pl +0 -86
  853. package/examples/proof/data-negotiation.pl +0 -76
  854. package/examples/proof/derived-rule.pl +0 -43
  855. package/examples/proof/dog.pl +0 -31
  856. package/examples/proof/electrical-rc-filter.pl +0 -105
  857. package/examples/proof/existential-rule.pl +0 -40
  858. package/examples/proof/floating-point.pl +0 -160
  859. package/examples/proof/good-cobbler.pl +0 -16
  860. package/examples/proof/group-inverse-uniqueness.pl +0 -84
  861. package/examples/proof/list-collection.pl +0 -52
  862. package/examples/proof/proof-contrapositive.pl +0 -78
  863. package/examples/proof/socket-age.pl +0 -32
  864. package/examples/proof/socket-family.pl +0 -59
  865. package/examples/proof/socrates.pl +0 -38
  866. package/examples/proof-contrapositive.pl +0 -27
  867. package/examples/quadratic-formula.pl +0 -54
  868. package/examples/quine-mccluskey.pl +0 -143
  869. package/examples/radioactive-decay.pl +0 -56
  870. package/examples/resilient-city-orchestration.pl +0 -303
  871. package/examples/riemann-hypothesis.pl +0 -110
  872. package/examples/sat-dpll.pl +0 -80
  873. package/examples/security-incident-correlation.pl +0 -69
  874. package/examples/service-impact.pl +0 -41
  875. package/examples/sieve.pl +0 -20
  876. package/examples/skolem-functions.pl +0 -52
  877. package/examples/socket-age.pl +0 -39
  878. package/examples/socket-family.pl +0 -28
  879. package/examples/socrates.n3 +0 -11
  880. package/examples/socrates.pl +0 -19
  881. package/examples/statistics-summary.pl +0 -54
  882. package/examples/sudoku.pl +0 -20
  883. package/examples/superdense-coding.pl +0 -84
  884. package/examples/traveling-salesman.pl +0 -64
  885. package/examples/triple-term.n3 +0 -9
  886. package/examples/turing.pl +0 -67
  887. package/examples/vector-similarity.pl +0 -56
  888. package/examples/witch.pl +0 -38
  889. package/examples/wolf-goat-cabbage.pl +0 -56
  890. package/examples/zebra.pl +0 -44
  891. package/playground-worker.mjs +0 -141
  892. package/src/builtins/alphametic.js +0 -144
  893. package/src/builtins/formula.js +0 -42
  894. package/src/builtins/matrix.js +0 -226
  895. package/src/builtins/n3.js +0 -483
  896. package/src/builtins/number-theory.js +0 -114
  897. package/src/builtins/portfolio.js +0 -73
  898. package/src/builtins/search.js +0 -579
  899. package/src/builtins/sudoku.js +0 -141
  900. package/src/rdf.js +0 -747
  901. package/test/run-all.js +0 -20
  902. package/test/run-conformance.js +0 -80
  903. package/test/run-examples.js +0 -125
  904. package/test/run-regression.js +0 -603
  905. package/test/test-style.js +0 -91
  906. /package/examples/output/{access-control-policy.pl → access-control-policy.eye} +0 -0
  907. /package/examples/output/{ackermann.pl → ackermann.eye} +0 -0
  908. /package/examples/output/{age.pl → age.eye} +0 -0
  909. /package/examples/output/{aliases-and-namespaces.pl → aliases-and-namespaces.eye} +0 -0
  910. /package/examples/output/{alignment-demo.pl → alignment-demo.eye} +0 -0
  911. /package/examples/output/{allen-interval-calculus.pl → allen-interval-calculus.eye} +0 -0
  912. /package/examples/output/{ancestor.pl → ancestor.eye} +0 -0
  913. /package/examples/output/{animal.pl → animal.eye} +0 -0
  914. /package/examples/output/{annotation.pl → annotation.eye} +0 -0
  915. /package/examples/output/{auroracare.pl → auroracare.eye} +0 -0
  916. /package/examples/output/{backward.pl → backward.eye} +0 -0
  917. /package/examples/output/{bayes-diagnosis.pl → bayes-diagnosis.eye} +0 -0
  918. /package/examples/output/{bayes-therapy.pl → bayes-therapy.eye} +0 -0
  919. /package/examples/output/{beam-deflection.pl → beam-deflection.eye} +0 -0
  920. /package/examples/output/{blocks-world-planning.pl → blocks-world-planning.eye} +0 -0
  921. /package/examples/output/{bmi.pl → bmi.eye} +0 -0
  922. /package/examples/output/{braking-safety-worlds.pl → braking-safety-worlds.eye} +0 -0
  923. /package/examples/output/{buck-converter-design.pl → buck-converter-design.eye} +0 -0
  924. /package/examples/output/{cache-performance.pl → cache-performance.eye} +0 -0
  925. /package/examples/output/{canary-release.pl → canary-release.eye} +0 -0
  926. /package/examples/output/{cat-koko.pl → cat-koko.eye} +0 -0
  927. /package/examples/output/{clinical-trial-screening.pl → clinical-trial-screening.eye} +0 -0
  928. /package/examples/output/{combinatorics-findall-sort.pl → combinatorics-findall-sort.eye} +0 -0
  929. /package/examples/output/{competitive-enzyme-kinetics.pl → competitive-enzyme-kinetics.eye} +0 -0
  930. /package/examples/output/{composition-of-injective-functions-is-injective.pl → composition-of-injective-functions-is-injective.eye} +0 -0
  931. /package/examples/output/{context-association.pl → context-association.eye} +0 -0
  932. /package/examples/output/{control-system.pl → control-system.eye} +0 -0
  933. /package/examples/output/{cyclic-path.pl → cyclic-path.eye} +0 -0
  934. /package/examples/output/{d3-group.pl → d3-group.eye} +0 -0
  935. /package/examples/output/{dairy-energy-balance.pl → dairy-energy-balance.eye} +0 -0
  936. /package/examples/output/{data-negotiation.pl → data-negotiation.eye} +0 -0
  937. /package/examples/output/{deep-taxonomy-10.pl → deep-taxonomy-10.eye} +0 -0
  938. /package/examples/output/{deep-taxonomy-100.pl → deep-taxonomy-100.eye} +0 -0
  939. /package/examples/output/{deep-taxonomy-1000.pl → deep-taxonomy-1000.eye} +0 -0
  940. /package/examples/output/{deep-taxonomy-10000.pl → deep-taxonomy-10000.eye} +0 -0
  941. /package/examples/output/{deep-taxonomy-100000.pl → deep-taxonomy-100000.eye} +0 -0
  942. /package/examples/output/{delfour.pl → delfour.eye} +0 -0
  943. /package/examples/output/{deontic-logic.pl → deontic-logic.eye} +0 -0
  944. /package/examples/output/{derived-backward-rule.pl → derived-backward-rule.eye} +0 -0
  945. /package/examples/output/{derived-rule.pl → derived-rule.eye} +0 -0
  946. /package/examples/output/{diamond-property.pl → diamond-property.eye} +0 -0
  947. /package/examples/output/{dijkstra-findall-sort.pl → dijkstra-findall-sort.eye} +0 -0
  948. /package/examples/output/{dijkstra-risk-path.pl → dijkstra-risk-path.eye} +0 -0
  949. /package/examples/output/{dijkstra.pl → dijkstra.eye} +0 -0
  950. /package/examples/output/{dining-philosophers.pl → dining-philosophers.eye} +0 -0
  951. /package/examples/output/{dog.pl → dog.eye} +0 -0
  952. /package/examples/output/{drone-corridor-planner.pl → drone-corridor-planner.eye} +0 -0
  953. /package/examples/output/{easter-computus.pl → easter-computus.eye} +0 -0
  954. /package/examples/output/{electrical-rc-filter.pl → electrical-rc-filter.eye} +0 -0
  955. /package/examples/output/{epidemic-policy.pl → epidemic-policy.eye} +0 -0
  956. /package/examples/output/{equivalence-classes-overlap-implies-same-class.pl → equivalence-classes-overlap-implies-same-class.eye} +0 -0
  957. /package/examples/output/{eulerian-path.pl → eulerian-path.eye} +0 -0
  958. /package/examples/output/{ev-range-worlds.pl → ev-range-worlds.eye} +0 -0
  959. /package/examples/output/{existential-rule.pl → existential-rule.eye} +0 -0
  960. /package/examples/output/{exoplanet-validation-worlds.pl → exoplanet-validation-worlds.eye} +0 -0
  961. /package/examples/output/{expression-eval.pl → expression-eval.eye} +0 -0
  962. /package/examples/output/{family-cousins.pl → family-cousins.eye} +0 -0
  963. /package/examples/output/{fastpow.pl → fastpow.eye} +0 -0
  964. /package/examples/output/{fft8-numeric.pl → fft8-numeric.eye} +0 -0
  965. /package/examples/output/{fibonacci.pl → fibonacci.eye} +0 -0
  966. /package/examples/output/{field-nitrogen-balance.pl → field-nitrogen-balance.eye} +0 -0
  967. /package/examples/output/{flandor.pl → flandor.eye} +0 -0
  968. /package/examples/output/{floating-point.pl → floating-point.eye} +0 -0
  969. /package/examples/output/{four-color-map.pl → four-color-map.eye} +0 -0
  970. /package/examples/output/{fundamental-theorem-arithmetic.pl → fundamental-theorem-arithmetic.eye} +0 -0
  971. /package/examples/output/{gd-step-certified.pl → gd-step-certified.eye} +0 -0
  972. /package/examples/output/{gdpr-compliance.pl → gdpr-compliance.eye} +0 -0
  973. /package/examples/output/{good-cobbler.pl → good-cobbler.eye} +0 -0
  974. /package/examples/output/{gps.pl → gps.eye} +0 -0
  975. /package/examples/output/{graph-reachability.pl → graph-reachability.eye} +0 -0
  976. /package/examples/output/{gray-code-counter.pl → gray-code-counter.eye} +0 -0
  977. /package/examples/output/{greatest-lower-bound-uniqueness.pl → greatest-lower-bound-uniqueness.eye} +0 -0
  978. /package/examples/output/{group-inverse-uniqueness.pl → group-inverse-uniqueness.eye} +0 -0
  979. /package/examples/output/{hamiltonian-path.pl → hamiltonian-path.eye} +0 -0
  980. /package/examples/output/{hamming-code.pl → hamming-code.eye} +0 -0
  981. /package/examples/output/{hanoi.pl → hanoi.eye} +0 -0
  982. /package/examples/output/{heat-loss.pl → heat-loss.eye} +0 -0
  983. /package/examples/output/{heron-theorem.pl → heron-theorem.eye} +0 -0
  984. /package/examples/output/{ideal-gas-law.pl → ideal-gas-law.eye} +0 -0
  985. /package/examples/output/{illegitimate-reasoning.pl → illegitimate-reasoning.eye} +0 -0
  986. /package/examples/output/{law-of-cosines.pl → law-of-cosines.eye} +0 -0
  987. /package/examples/output/{least-squares-regression.pl → least-squares-regression.eye} +0 -0
  988. /package/examples/output/{list-collection.pl → list-collection.eye} +0 -0
  989. /package/examples/output/{lldm.pl → lldm.eye} +0 -0
  990. /package/examples/output/{manufacturing-quality-control.pl → manufacturing-quality-control.eye} +0 -0
  991. /package/examples/output/{microgrid-dispatch.pl → microgrid-dispatch.eye} +0 -0
  992. /package/examples/output/{monkey-bananas.pl → monkey-bananas.eye} +0 -0
  993. /package/examples/output/{network-sla.pl → network-sla.eye} +0 -0
  994. /package/examples/output/{newton-raphson.pl → newton-raphson.eye} +0 -0
  995. /package/examples/output/{nixon-diamond.pl → nixon-diamond.eye} +0 -0
  996. /package/examples/output/{odrl-dpv-healthcare-risk-ranked.pl → odrl-dpv-healthcare-risk-ranked.eye} +0 -0
  997. /package/examples/output/{odrl-dpv-risk-ranked.pl → odrl-dpv-risk-ranked.eye} +0 -0
  998. /package/examples/output/{orbital-transfer-design.pl → orbital-transfer-design.eye} +0 -0
  999. /package/examples/output/{peano-arithmetic.pl → peano-arithmetic.eye} +0 -0
  1000. /package/examples/output/{peasant.pl → peasant.eye} +0 -0
  1001. /package/examples/output/{pendulum-period.pl → pendulum-period.eye} +0 -0
  1002. /package/examples/output/{polynomial.pl → polynomial.eye} +0 -0
  1003. /package/examples/output/{proof-contrapositive.pl → proof-contrapositive.eye} +0 -0
  1004. /package/examples/output/{quadratic-formula.pl → quadratic-formula.eye} +0 -0
  1005. /package/examples/output/{radioactive-decay.pl → radioactive-decay.eye} +0 -0
  1006. /package/examples/output/{riemann-hypothesis.pl → riemann-hypothesis.eye} +0 -0
  1007. /package/examples/output/{security-incident-correlation.pl → security-incident-correlation.eye} +0 -0
  1008. /package/examples/output/{service-impact.pl → service-impact.eye} +0 -0
  1009. /package/examples/output/{sieve.pl → sieve.eye} +0 -0
  1010. /package/examples/output/{skolem-functions.pl → skolem-functions.eye} +0 -0
  1011. /package/examples/output/{socket-age.pl → socket-age.eye} +0 -0
  1012. /package/{conformance/expected/extension/001_default_derived_output.out → examples/output/socket-family.eye} +0 -0
  1013. /package/examples/output/{socrates.pl → socrates.eye} +0 -0
  1014. /package/examples/output/{statistics-summary.pl → statistics-summary.eye} +0 -0
  1015. /package/examples/output/{superdense-coding.pl → superdense-coding.eye} +0 -0
  1016. /package/examples/output/{turing.pl → turing.eye} +0 -0
  1017. /package/examples/output/{vector-similarity.pl → vector-similarity.eye} +0 -0
  1018. /package/examples/output/{witch.pl → witch.eye} +0 -0
  1019. /package/examples/output/{wolf-goat-cabbage.pl → wolf-goat-cabbage.eye} +0 -0
  1020. /package/examples/output/{zebra.pl → zebra.eye} +0 -0
  1021. /package/{conformance/expected/core/001_fact_output.out → test/conformance/expected/001_fact_output.eye} +0 -0
  1022. /package/{conformance/expected/core/002_rule_recursion.out → test/conformance/expected/002_rule_recursion.eye} +0 -0
  1023. /package/{conformance/expected/core/004_conjunction_and_parentheses.out → test/conformance/expected/004_conjunction_and_parentheses.eye} +0 -0
  1024. /package/{conformance/expected/core/005_list_deconstruction.out → test/conformance/expected/005_list_deconstruction.eye} +0 -0
  1025. /package/{conformance/expected/core/006_comma_formula_data.out → test/conformance/expected/006_comma_formula_data.eye} +0 -0
  1026. /package/{conformance/expected/core/007_anonymous_variables.out → test/conformance/expected/007_anonymous_variables.eye} +0 -0
  1027. /package/{conformance/expected/core/008_graphic_atoms.out → test/conformance/expected/008_graphic_atoms.eye} +0 -0
  1028. /package/{conformance/expected/core/009_comments_and_whitespace.out → test/conformance/expected/009_comments_and_whitespace.eye} +0 -0
  1029. /package/{conformance/expected/core/010_variable_scope_and_reuse.out → test/conformance/expected/010_variable_scope_and_reuse.eye} +0 -0
  1030. /package/{conformance/expected/core/011_predicate_arity.out → test/conformance/expected/011_predicate_arity.eye} +0 -0
  1031. /package/{conformance/expected/core/012_nested_compound_unification.out → test/conformance/expected/012_nested_compound_unification.eye} +0 -0
  1032. /package/{conformance/expected/core/013_multiple_clauses_order.out → test/conformance/expected/013_multiple_clauses_order.eye} +0 -0
  1033. /package/{conformance/expected/core/014_failure_filters_answers.out → test/conformance/expected/014_failure_filters_answers.eye} +0 -0
  1034. /package/{conformance/expected/core/015_improper_list_unification.out → test/conformance/expected/015_improper_list_unification.eye} +0 -0
  1035. /package/{conformance/expected/core/017_three_step_recursion.out → test/conformance/expected/017_three_step_recursion.eye} +0 -0
  1036. /package/{conformance/expected/core/018_quoted_atom_readback.out → test/conformance/expected/018_quoted_atom_readback.eye} +0 -0
  1037. /package/{conformance/expected/core/019_parenthesized_three_conjuncts.out → test/conformance/expected/019_parenthesized_three_conjuncts.eye} +0 -0
  1038. /package/{conformance/expected/core/020_nested_list_terms.out → test/conformance/expected/020_nested_list_terms.eye} +0 -0
  1039. /package/{conformance/expected/core/021_repeated_variable_head.out → test/conformance/expected/021_repeated_variable_head.eye} +0 -0
  1040. /package/{conformance/expected/core/022_rule_head_structure.out → test/conformance/expected/022_rule_head_structure.eye} +0 -0
  1041. /package/{conformance/expected/core/023_quoted_escapes_readback.out → test/conformance/expected/023_quoted_escapes_readback.eye} +0 -0
  1042. /package/{conformance/expected/core/024_numeric_literal_readback.out → test/conformance/expected/024_numeric_literal_readback.eye} +0 -0
  1043. /package/{conformance/expected/core/025_body_parentheses_with_formula_data.out → test/conformance/expected/025_body_parentheses_with_formula_data.eye} +0 -0
  1044. /package/{conformance/expected/core/026_underscore_named_variable_reuse.out → test/conformance/expected/026_question_underscore_named_variable_reuse.eye} +0 -0
  1045. /package/{examples/output/socket-family.pl → test/conformance/expected/027_default_derived_output.eye} +0 -0
  1046. /package/{conformance/expected/extension/002_materialize_focus.out → test/conformance/expected/028_materialize_focus.eye} +0 -0
  1047. /package/{conformance/expected/extension/005_lists_aggregation_ordering.out → test/conformance/expected/031_lists_aggregation_ordering.eye} +0 -0
  1048. /package/{conformance/expected/extension/007_negation_once_generators.out → test/conformance/expected/033_negation_once_generators.eye} +0 -0
  1049. /package/{conformance/expected/extension/008_equality_and_inequality.out → test/conformance/expected/034_equality_and_inequality.eye} +0 -0
  1050. /package/{conformance/expected/extension/010_append_splits.out → test/conformance/expected/036_append_splits.eye} +0 -0
  1051. /package/{conformance/expected/extension/011_matching_and_comparison.out → test/conformance/expected/037_matching_and_comparison.eye} +0 -0
  1052. /package/{conformance/expected/extension/012_memoize_declaration.out → test/conformance/expected/038_table_declaration.eye} +0 -0
  1053. /package/{conformance/expected/extension/013_numeric_functions.out → test/conformance/expected/039_numeric_functions.eye} +0 -0
  1054. /package/{conformance/expected/extension/014_between_enumeration.out → test/conformance/expected/040_between_enumeration.eye} +0 -0
  1055. /package/{conformance/expected/extension/015_smallest_divisor.out → test/conformance/expected/041_smallest_divisor.eye} +0 -0
  1056. /package/{conformance/expected/extension/016_negation_filter.out → test/conformance/expected/042_negation_filter.eye} +0 -0
  1057. /package/{conformance/expected/extension/017_once_user_predicate.out → test/conformance/expected/043_once_user_predicate.eye} +0 -0
  1058. /package/{conformance/expected/extension/018_findall_user_goal.out → test/conformance/expected/044_findall_user_goal.eye} +0 -0
  1059. /package/{conformance/expected/extension/019_sort_deduplicates_atoms.out → test/conformance/expected/045_sort_deduplicates_atoms.eye} +0 -0
  1060. /package/{conformance/expected/extension/020_append_bound_prefix_suffix.out → test/conformance/expected/046_append_bound_prefix_suffix.eye} +0 -0
  1061. /package/{conformance/expected/extension/021_nth0_index_generation.out → test/conformance/expected/047_nth0_index_generation.eye} +0 -0
  1062. /package/{conformance/expected/extension/022_set_nth0_edges.out → test/conformance/expected/048_set_nth0_edges.eye} +0 -0
  1063. /package/{conformance/expected/extension/023_select_duplicate_occurrences.out → test/conformance/expected/049_select_duplicate_occurrences.eye} +0 -0
  1064. /package/{conformance/expected/extension/024_not_member_filter.out → test/conformance/expected/050_not_member_filter.eye} +0 -0
  1065. /package/{conformance/expected/extension/027_materialize_excludes_source_fact.out → test/conformance/expected/053_materialize_excludes_source_fact.eye} +0 -0
  1066. /package/{conformance/expected/extension/028_numeric_and_lexical_comparison.out → test/conformance/expected/054_numeric_and_lexical_comparison.eye} +0 -0
  1067. /package/{conformance/expected/extension/029_string_matching_filters.out → test/conformance/expected/055_string_matching_filters.eye} +0 -0
  1068. /package/{conformance/expected/extension/031_countall_empty_and_nonempty.out → test/conformance/expected/057_countall_empty_and_nonempty.eye} +0 -0
  1069. /package/{conformance/expected/extension/032_sumall_numeric_template.out → test/conformance/expected/058_sumall_numeric_template.eye} +0 -0
  1070. /package/{conformance/expected/extension/033_aggregate_min_template.out → test/conformance/expected/059_aggregate_min_template.eye} +0 -0
  1071. /package/{conformance/expected/extension/034_aggregate_max_compound_key.out → test/conformance/expected/060_aggregate_max_compound_key.eye} +0 -0
  1072. /package/{conformance/expected/extension/035_date_difference.out → test/conformance/expected/061_date_difference.eye} +0 -0
@@ -1,667 +0,0 @@
1
- isPrime(2, true).
2
- isPrime(3, true).
3
- isPrime(5, true).
4
- isPrime(7, true).
5
- isPrime(11, true).
6
- isPrime(13, true).
7
- isPrime(17, true).
8
- isPrime(19, true).
9
- isPrime(23, true).
10
- isPrime(29, true).
11
- isPrime(31, true).
12
- isPrime(37, true).
13
- isPrime(41, true).
14
- isPrime(43, true).
15
- isPrime(47, true).
16
- isPrime(53, true).
17
- isPrime(59, true).
18
- isPrime(61, true).
19
- isPrime(67, true).
20
- isPrime(71, true).
21
- isPrime(73, true).
22
- isPrime(79, true).
23
- isPrime(83, true).
24
- isPrime(89, true).
25
- isPrime(97, true).
26
- isPrime(101, true).
27
- isPrime(103, true).
28
- isPrime(107, true).
29
- isPrime(109, true).
30
- isPrime(113, true).
31
- isPrime(127, true).
32
- isPrime(131, true).
33
- isPrime(137, true).
34
- isPrime(139, true).
35
- isPrime(149, true).
36
- isPrime(151, true).
37
- isPrime(157, true).
38
- isPrime(163, true).
39
- isPrime(167, true).
40
- isPrime(173, true).
41
- isPrime(179, true).
42
- isPrime(181, true).
43
- isPrime(191, true).
44
- isPrime(193, true).
45
- isPrime(197, true).
46
- isPrime(199, true).
47
- isPrime(211, true).
48
- isPrime(223, true).
49
- isPrime(227, true).
50
- isPrime(229, true).
51
- isPrime(233, true).
52
- isPrime(239, true).
53
- isPrime(241, true).
54
- isPrime(251, true).
55
- isPrime(257, true).
56
- isPrime(263, true).
57
- isPrime(269, true).
58
- isPrime(271, true).
59
- isPrime(277, true).
60
- isPrime(281, true).
61
- isPrime(283, true).
62
- isPrime(293, true).
63
- isPrime(307, true).
64
- isPrime(311, true).
65
- isPrime(313, true).
66
- isPrime(317, true).
67
- isPrime(331, true).
68
- isPrime(337, true).
69
- isPrime(347, true).
70
- isPrime(349, true).
71
- isPrime(353, true).
72
- isPrime(359, true).
73
- isPrime(367, true).
74
- isPrime(373, true).
75
- isPrime(379, true).
76
- isPrime(383, true).
77
- isPrime(389, true).
78
- isPrime(397, true).
79
- isPrime(401, true).
80
- isPrime(409, true).
81
- isPrime(419, true).
82
- isPrime(421, true).
83
- isPrime(431, true).
84
- isPrime(433, true).
85
- isPrime(439, true).
86
- isPrime(443, true).
87
- isPrime(449, true).
88
- isPrime(457, true).
89
- isPrime(461, true).
90
- isPrime(463, true).
91
- isPrime(467, true).
92
- isPrime(479, true).
93
- isPrime(487, true).
94
- isPrime(491, true).
95
- isPrime(499, true).
96
- isPrime(503, true).
97
- isPrime(509, true).
98
- isPrime(521, true).
99
- isPrime(523, true).
100
- isPrime(541, true).
101
- isPrime(547, true).
102
- isPrime(557, true).
103
- isPrime(563, true).
104
- isPrime(569, true).
105
- isPrime(571, true).
106
- isPrime(577, true).
107
- isPrime(587, true).
108
- isPrime(593, true).
109
- isPrime(599, true).
110
- isPrime(601, true).
111
- isPrime(607, true).
112
- isPrime(613, true).
113
- isPrime(617, true).
114
- isPrime(619, true).
115
- isPrime(631, true).
116
- isPrime(641, true).
117
- isPrime(643, true).
118
- isPrime(647, true).
119
- isPrime(653, true).
120
- isPrime(659, true).
121
- isPrime(661, true).
122
- isPrime(673, true).
123
- isPrime(677, true).
124
- isPrime(683, true).
125
- isPrime(691, true).
126
- isPrime(701, true).
127
- isPrime(709, true).
128
- isPrime(719, true).
129
- isPrime(727, true).
130
- isPrime(733, true).
131
- isPrime(739, true).
132
- isPrime(743, true).
133
- isPrime(751, true).
134
- isPrime(757, true).
135
- isPrime(761, true).
136
- isPrime(769, true).
137
- isPrime(773, true).
138
- isPrime(787, true).
139
- isPrime(797, true).
140
- isPrime(809, true).
141
- isPrime(811, true).
142
- isPrime(821, true).
143
- isPrime(823, true).
144
- isPrime(827, true).
145
- isPrime(829, true).
146
- isPrime(839, true).
147
- isPrime(853, true).
148
- isPrime(857, true).
149
- isPrime(859, true).
150
- isPrime(863, true).
151
- isPrime(877, true).
152
- isPrime(881, true).
153
- isPrime(883, true).
154
- isPrime(887, true).
155
- isPrime(907, true).
156
- isPrime(911, true).
157
- isPrime(919, true).
158
- isPrime(929, true).
159
- isPrime(937, true).
160
- isPrime(941, true).
161
- isPrime(947, true).
162
- isPrime(953, true).
163
- isPrime(967, true).
164
- isPrime(971, true).
165
- isPrime(977, true).
166
- isPrime(983, true).
167
- isPrime(991, true).
168
- isPrime(997, true).
169
- goldbachOk(4, true).
170
- goldbachOk(6, true).
171
- goldbachOk(8, true).
172
- goldbachOk(10, true).
173
- goldbachOk(12, true).
174
- goldbachOk(14, true).
175
- goldbachOk(16, true).
176
- goldbachOk(18, true).
177
- goldbachOk(20, true).
178
- goldbachOk(22, true).
179
- goldbachOk(24, true).
180
- goldbachOk(26, true).
181
- goldbachOk(28, true).
182
- goldbachOk(30, true).
183
- goldbachOk(32, true).
184
- goldbachOk(34, true).
185
- goldbachOk(36, true).
186
- goldbachOk(38, true).
187
- goldbachOk(40, true).
188
- goldbachOk(42, true).
189
- goldbachOk(44, true).
190
- goldbachOk(46, true).
191
- goldbachOk(48, true).
192
- goldbachOk(50, true).
193
- goldbachOk(52, true).
194
- goldbachOk(54, true).
195
- goldbachOk(56, true).
196
- goldbachOk(58, true).
197
- goldbachOk(60, true).
198
- goldbachOk(62, true).
199
- goldbachOk(64, true).
200
- goldbachOk(66, true).
201
- goldbachOk(68, true).
202
- goldbachOk(70, true).
203
- goldbachOk(72, true).
204
- goldbachOk(74, true).
205
- goldbachOk(76, true).
206
- goldbachOk(78, true).
207
- goldbachOk(80, true).
208
- goldbachOk(82, true).
209
- goldbachOk(84, true).
210
- goldbachOk(86, true).
211
- goldbachOk(88, true).
212
- goldbachOk(90, true).
213
- goldbachOk(92, true).
214
- goldbachOk(94, true).
215
- goldbachOk(96, true).
216
- goldbachOk(98, true).
217
- goldbachOk(100, true).
218
- goldbachOk(102, true).
219
- goldbachOk(104, true).
220
- goldbachOk(106, true).
221
- goldbachOk(108, true).
222
- goldbachOk(110, true).
223
- goldbachOk(112, true).
224
- goldbachOk(114, true).
225
- goldbachOk(116, true).
226
- goldbachOk(118, true).
227
- goldbachOk(120, true).
228
- goldbachOk(122, true).
229
- goldbachOk(124, true).
230
- goldbachOk(126, true).
231
- goldbachOk(128, true).
232
- goldbachOk(130, true).
233
- goldbachOk(132, true).
234
- goldbachOk(134, true).
235
- goldbachOk(136, true).
236
- goldbachOk(138, true).
237
- goldbachOk(140, true).
238
- goldbachOk(142, true).
239
- goldbachOk(144, true).
240
- goldbachOk(146, true).
241
- goldbachOk(148, true).
242
- goldbachOk(150, true).
243
- goldbachOk(152, true).
244
- goldbachOk(154, true).
245
- goldbachOk(156, true).
246
- goldbachOk(158, true).
247
- goldbachOk(160, true).
248
- goldbachOk(162, true).
249
- goldbachOk(164, true).
250
- goldbachOk(166, true).
251
- goldbachOk(168, true).
252
- goldbachOk(170, true).
253
- goldbachOk(172, true).
254
- goldbachOk(174, true).
255
- goldbachOk(176, true).
256
- goldbachOk(178, true).
257
- goldbachOk(180, true).
258
- goldbachOk(182, true).
259
- goldbachOk(184, true).
260
- goldbachOk(186, true).
261
- goldbachOk(188, true).
262
- goldbachOk(190, true).
263
- goldbachOk(192, true).
264
- goldbachOk(194, true).
265
- goldbachOk(196, true).
266
- goldbachOk(198, true).
267
- goldbachOk(200, true).
268
- goldbachOk(202, true).
269
- goldbachOk(204, true).
270
- goldbachOk(206, true).
271
- goldbachOk(208, true).
272
- goldbachOk(210, true).
273
- goldbachOk(212, true).
274
- goldbachOk(214, true).
275
- goldbachOk(216, true).
276
- goldbachOk(218, true).
277
- goldbachOk(220, true).
278
- goldbachOk(222, true).
279
- goldbachOk(224, true).
280
- goldbachOk(226, true).
281
- goldbachOk(228, true).
282
- goldbachOk(230, true).
283
- goldbachOk(232, true).
284
- goldbachOk(234, true).
285
- goldbachOk(236, true).
286
- goldbachOk(238, true).
287
- goldbachOk(240, true).
288
- goldbachOk(242, true).
289
- goldbachOk(244, true).
290
- goldbachOk(246, true).
291
- goldbachOk(248, true).
292
- goldbachOk(250, true).
293
- goldbachOk(252, true).
294
- goldbachOk(254, true).
295
- goldbachOk(256, true).
296
- goldbachOk(258, true).
297
- goldbachOk(260, true).
298
- goldbachOk(262, true).
299
- goldbachOk(264, true).
300
- goldbachOk(266, true).
301
- goldbachOk(268, true).
302
- goldbachOk(270, true).
303
- goldbachOk(272, true).
304
- goldbachOk(274, true).
305
- goldbachOk(276, true).
306
- goldbachOk(278, true).
307
- goldbachOk(280, true).
308
- goldbachOk(282, true).
309
- goldbachOk(284, true).
310
- goldbachOk(286, true).
311
- goldbachOk(288, true).
312
- goldbachOk(290, true).
313
- goldbachOk(292, true).
314
- goldbachOk(294, true).
315
- goldbachOk(296, true).
316
- goldbachOk(298, true).
317
- goldbachOk(300, true).
318
- goldbachOk(302, true).
319
- goldbachOk(304, true).
320
- goldbachOk(306, true).
321
- goldbachOk(308, true).
322
- goldbachOk(310, true).
323
- goldbachOk(312, true).
324
- goldbachOk(314, true).
325
- goldbachOk(316, true).
326
- goldbachOk(318, true).
327
- goldbachOk(320, true).
328
- goldbachOk(322, true).
329
- goldbachOk(324, true).
330
- goldbachOk(326, true).
331
- goldbachOk(328, true).
332
- goldbachOk(330, true).
333
- goldbachOk(332, true).
334
- goldbachOk(334, true).
335
- goldbachOk(336, true).
336
- goldbachOk(338, true).
337
- goldbachOk(340, true).
338
- goldbachOk(342, true).
339
- goldbachOk(344, true).
340
- goldbachOk(346, true).
341
- goldbachOk(348, true).
342
- goldbachOk(350, true).
343
- goldbachOk(352, true).
344
- goldbachOk(354, true).
345
- goldbachOk(356, true).
346
- goldbachOk(358, true).
347
- goldbachOk(360, true).
348
- goldbachOk(362, true).
349
- goldbachOk(364, true).
350
- goldbachOk(366, true).
351
- goldbachOk(368, true).
352
- goldbachOk(370, true).
353
- goldbachOk(372, true).
354
- goldbachOk(374, true).
355
- goldbachOk(376, true).
356
- goldbachOk(378, true).
357
- goldbachOk(380, true).
358
- goldbachOk(382, true).
359
- goldbachOk(384, true).
360
- goldbachOk(386, true).
361
- goldbachOk(388, true).
362
- goldbachOk(390, true).
363
- goldbachOk(392, true).
364
- goldbachOk(394, true).
365
- goldbachOk(396, true).
366
- goldbachOk(398, true).
367
- goldbachOk(400, true).
368
- goldbachOk(402, true).
369
- goldbachOk(404, true).
370
- goldbachOk(406, true).
371
- goldbachOk(408, true).
372
- goldbachOk(410, true).
373
- goldbachOk(412, true).
374
- goldbachOk(414, true).
375
- goldbachOk(416, true).
376
- goldbachOk(418, true).
377
- goldbachOk(420, true).
378
- goldbachOk(422, true).
379
- goldbachOk(424, true).
380
- goldbachOk(426, true).
381
- goldbachOk(428, true).
382
- goldbachOk(430, true).
383
- goldbachOk(432, true).
384
- goldbachOk(434, true).
385
- goldbachOk(436, true).
386
- goldbachOk(438, true).
387
- goldbachOk(440, true).
388
- goldbachOk(442, true).
389
- goldbachOk(444, true).
390
- goldbachOk(446, true).
391
- goldbachOk(448, true).
392
- goldbachOk(450, true).
393
- goldbachOk(452, true).
394
- goldbachOk(454, true).
395
- goldbachOk(456, true).
396
- goldbachOk(458, true).
397
- goldbachOk(460, true).
398
- goldbachOk(462, true).
399
- goldbachOk(464, true).
400
- goldbachOk(466, true).
401
- goldbachOk(468, true).
402
- goldbachOk(470, true).
403
- goldbachOk(472, true).
404
- goldbachOk(474, true).
405
- goldbachOk(476, true).
406
- goldbachOk(478, true).
407
- goldbachOk(480, true).
408
- goldbachOk(482, true).
409
- goldbachOk(484, true).
410
- goldbachOk(486, true).
411
- goldbachOk(488, true).
412
- goldbachOk(490, true).
413
- goldbachOk(492, true).
414
- goldbachOk(494, true).
415
- goldbachOk(496, true).
416
- goldbachOk(498, true).
417
- goldbachOk(500, true).
418
- goldbachOk(502, true).
419
- goldbachOk(504, true).
420
- goldbachOk(506, true).
421
- goldbachOk(508, true).
422
- goldbachOk(510, true).
423
- goldbachOk(512, true).
424
- goldbachOk(514, true).
425
- goldbachOk(516, true).
426
- goldbachOk(518, true).
427
- goldbachOk(520, true).
428
- goldbachOk(522, true).
429
- goldbachOk(524, true).
430
- goldbachOk(526, true).
431
- goldbachOk(528, true).
432
- goldbachOk(530, true).
433
- goldbachOk(532, true).
434
- goldbachOk(534, true).
435
- goldbachOk(536, true).
436
- goldbachOk(538, true).
437
- goldbachOk(540, true).
438
- goldbachOk(542, true).
439
- goldbachOk(544, true).
440
- goldbachOk(546, true).
441
- goldbachOk(548, true).
442
- goldbachOk(550, true).
443
- goldbachOk(552, true).
444
- goldbachOk(554, true).
445
- goldbachOk(556, true).
446
- goldbachOk(558, true).
447
- goldbachOk(560, true).
448
- goldbachOk(562, true).
449
- goldbachOk(564, true).
450
- goldbachOk(566, true).
451
- goldbachOk(568, true).
452
- goldbachOk(570, true).
453
- goldbachOk(572, true).
454
- goldbachOk(574, true).
455
- goldbachOk(576, true).
456
- goldbachOk(578, true).
457
- goldbachOk(580, true).
458
- goldbachOk(582, true).
459
- goldbachOk(584, true).
460
- goldbachOk(586, true).
461
- goldbachOk(588, true).
462
- goldbachOk(590, true).
463
- goldbachOk(592, true).
464
- goldbachOk(594, true).
465
- goldbachOk(596, true).
466
- goldbachOk(598, true).
467
- goldbachOk(600, true).
468
- goldbachOk(602, true).
469
- goldbachOk(604, true).
470
- goldbachOk(606, true).
471
- goldbachOk(608, true).
472
- goldbachOk(610, true).
473
- goldbachOk(612, true).
474
- goldbachOk(614, true).
475
- goldbachOk(616, true).
476
- goldbachOk(618, true).
477
- goldbachOk(620, true).
478
- goldbachOk(622, true).
479
- goldbachOk(624, true).
480
- goldbachOk(626, true).
481
- goldbachOk(628, true).
482
- goldbachOk(630, true).
483
- goldbachOk(632, true).
484
- goldbachOk(634, true).
485
- goldbachOk(636, true).
486
- goldbachOk(638, true).
487
- goldbachOk(640, true).
488
- goldbachOk(642, true).
489
- goldbachOk(644, true).
490
- goldbachOk(646, true).
491
- goldbachOk(648, true).
492
- goldbachOk(650, true).
493
- goldbachOk(652, true).
494
- goldbachOk(654, true).
495
- goldbachOk(656, true).
496
- goldbachOk(658, true).
497
- goldbachOk(660, true).
498
- goldbachOk(662, true).
499
- goldbachOk(664, true).
500
- goldbachOk(666, true).
501
- goldbachOk(668, true).
502
- goldbachOk(670, true).
503
- goldbachOk(672, true).
504
- goldbachOk(674, true).
505
- goldbachOk(676, true).
506
- goldbachOk(678, true).
507
- goldbachOk(680, true).
508
- goldbachOk(682, true).
509
- goldbachOk(684, true).
510
- goldbachOk(686, true).
511
- goldbachOk(688, true).
512
- goldbachOk(690, true).
513
- goldbachOk(692, true).
514
- goldbachOk(694, true).
515
- goldbachOk(696, true).
516
- goldbachOk(698, true).
517
- goldbachOk(700, true).
518
- goldbachOk(702, true).
519
- goldbachOk(704, true).
520
- goldbachOk(706, true).
521
- goldbachOk(708, true).
522
- goldbachOk(710, true).
523
- goldbachOk(712, true).
524
- goldbachOk(714, true).
525
- goldbachOk(716, true).
526
- goldbachOk(718, true).
527
- goldbachOk(720, true).
528
- goldbachOk(722, true).
529
- goldbachOk(724, true).
530
- goldbachOk(726, true).
531
- goldbachOk(728, true).
532
- goldbachOk(730, true).
533
- goldbachOk(732, true).
534
- goldbachOk(734, true).
535
- goldbachOk(736, true).
536
- goldbachOk(738, true).
537
- goldbachOk(740, true).
538
- goldbachOk(742, true).
539
- goldbachOk(744, true).
540
- goldbachOk(746, true).
541
- goldbachOk(748, true).
542
- goldbachOk(750, true).
543
- goldbachOk(752, true).
544
- goldbachOk(754, true).
545
- goldbachOk(756, true).
546
- goldbachOk(758, true).
547
- goldbachOk(760, true).
548
- goldbachOk(762, true).
549
- goldbachOk(764, true).
550
- goldbachOk(766, true).
551
- goldbachOk(768, true).
552
- goldbachOk(770, true).
553
- goldbachOk(772, true).
554
- goldbachOk(774, true).
555
- goldbachOk(776, true).
556
- goldbachOk(778, true).
557
- goldbachOk(780, true).
558
- goldbachOk(782, true).
559
- goldbachOk(784, true).
560
- goldbachOk(786, true).
561
- goldbachOk(788, true).
562
- goldbachOk(790, true).
563
- goldbachOk(792, true).
564
- goldbachOk(794, true).
565
- goldbachOk(796, true).
566
- goldbachOk(798, true).
567
- goldbachOk(800, true).
568
- goldbachOk(802, true).
569
- goldbachOk(804, true).
570
- goldbachOk(806, true).
571
- goldbachOk(808, true).
572
- goldbachOk(810, true).
573
- goldbachOk(812, true).
574
- goldbachOk(814, true).
575
- goldbachOk(816, true).
576
- goldbachOk(818, true).
577
- goldbachOk(820, true).
578
- goldbachOk(822, true).
579
- goldbachOk(824, true).
580
- goldbachOk(826, true).
581
- goldbachOk(828, true).
582
- goldbachOk(830, true).
583
- goldbachOk(832, true).
584
- goldbachOk(834, true).
585
- goldbachOk(836, true).
586
- goldbachOk(838, true).
587
- goldbachOk(840, true).
588
- goldbachOk(842, true).
589
- goldbachOk(844, true).
590
- goldbachOk(846, true).
591
- goldbachOk(848, true).
592
- goldbachOk(850, true).
593
- goldbachOk(852, true).
594
- goldbachOk(854, true).
595
- goldbachOk(856, true).
596
- goldbachOk(858, true).
597
- goldbachOk(860, true).
598
- goldbachOk(862, true).
599
- goldbachOk(864, true).
600
- goldbachOk(866, true).
601
- goldbachOk(868, true).
602
- goldbachOk(870, true).
603
- goldbachOk(872, true).
604
- goldbachOk(874, true).
605
- goldbachOk(876, true).
606
- goldbachOk(878, true).
607
- goldbachOk(880, true).
608
- goldbachOk(882, true).
609
- goldbachOk(884, true).
610
- goldbachOk(886, true).
611
- goldbachOk(888, true).
612
- goldbachOk(890, true).
613
- goldbachOk(892, true).
614
- goldbachOk(894, true).
615
- goldbachOk(896, true).
616
- goldbachOk(898, true).
617
- goldbachOk(900, true).
618
- goldbachOk(902, true).
619
- goldbachOk(904, true).
620
- goldbachOk(906, true).
621
- goldbachOk(908, true).
622
- goldbachOk(910, true).
623
- goldbachOk(912, true).
624
- goldbachOk(914, true).
625
- goldbachOk(916, true).
626
- goldbachOk(918, true).
627
- goldbachOk(920, true).
628
- goldbachOk(922, true).
629
- goldbachOk(924, true).
630
- goldbachOk(926, true).
631
- goldbachOk(928, true).
632
- goldbachOk(930, true).
633
- goldbachOk(932, true).
634
- goldbachOk(934, true).
635
- goldbachOk(936, true).
636
- goldbachOk(938, true).
637
- goldbachOk(940, true).
638
- goldbachOk(942, true).
639
- goldbachOk(944, true).
640
- goldbachOk(946, true).
641
- goldbachOk(948, true).
642
- goldbachOk(950, true).
643
- goldbachOk(952, true).
644
- goldbachOk(954, true).
645
- goldbachOk(956, true).
646
- goldbachOk(958, true).
647
- goldbachOk(960, true).
648
- goldbachOk(962, true).
649
- goldbachOk(964, true).
650
- goldbachOk(966, true).
651
- goldbachOk(968, true).
652
- goldbachOk(970, true).
653
- goldbachOk(972, true).
654
- goldbachOk(974, true).
655
- goldbachOk(976, true).
656
- goldbachOk(978, true).
657
- goldbachOk(980, true).
658
- goldbachOk(982, true).
659
- goldbachOk(984, true).
660
- goldbachOk(986, true).
661
- goldbachOk(988, true).
662
- goldbachOk(990, true).
663
- goldbachOk(992, true).
664
- goldbachOk(994, true).
665
- goldbachOk(996, true).
666
- goldbachOk(998, true).
667
- goldbachOk(1000, true).
@@ -1,4 +0,0 @@
1
- status(hamiltonian_cycle, exists).
2
- witness(hamiltonian_cycle, [a, b, c, d, e, f, g, h, a]).
3
- vertexCount(hamiltonian_cycle, 8).
4
- cycleCountFromA(hamiltonian_cycle, 72).
@@ -1,8 +0,0 @@
1
- kaprekarSteps(3524, 3).
2
- kaprekarSteps(2111, 5).
3
- kaprekarSteps(9831, 7).
4
- kaprekarSteps(6174, 0).
5
- reachesConstant(kaprekar, 3524).
6
- reachesConstant(kaprekar, 2111).
7
- reachesConstant(kaprekar, 9831).
8
- reachesConstant(kaprekar, 6174).
@@ -1,10 +0,0 @@
1
- result(det3, determinant([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], 4.0)).
2
- result(inv3, matrix_inversion([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], [[0.74999999999999978, 0.5, 0.25], [0.5, 1.0000000000000004, 0.50000000000000022], [0.25, 0.50000000000000022, 0.75000000000000011]])).
3
- result(inv4, matrix_inversion([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.5156250000000067, 0.48437500000000011, -1.2968749999999987, 0.35937499999999561], [0.48437500000000011, 0.14062499999999961, -0.32812499999999822, 0.14062499999999797], [-1.2968749999999987, -0.32812499999999822, 1.0156249999999925, -0.57812499999999201], [0.35937499999999561, 0.14062499999999797, -0.57812499999999201, 0.51562499999999278]])).
4
- result(invtri3, matrix_inv_triang([[2, 0, 0], [-1, 2, 0], [0, -1, 2]], [[0.5, 0, 0], [0.25, 0.5, 0], [0.125, 0.25, 0.5]])).
5
- result(mul_small, matrix_multiply([[[1, 2], [3, 4], [5, 6]], [[1, 1, 1], [1, 1, 1]]], [[3, 3, 3], [7, 7, 7], [11, 11, 11]])).
6
- result(mul_identity_check, matrix_multiply([[[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.515624999999984, 0.4843749999999933, -1.296874999999973, 0.3593749999999767], [0.4843749999999933, 0.1406249999999978, -0.3281249999999918, 0.1406249999999936], [-1.296874999999973, -0.3281249999999918, 1.015624999999971, -0.5781249999999781], [0.3593749999999767, 0.1406249999999936, -0.5781249999999781, 0.5156249999999853]]], [[1.0000000000000497, 5.3290705182007514e-15, 1.7763568394002505e-14, 4.4408920985006262e-15], [5.6843418860808015e-14, 1.0000000000000089, 2.8421709430404007e-14, 1.0658141036401503e-14], [1.7053025658242404e-13, 1.7763568394002505e-14, 1.0000000000000426, 3.907985046680551e-14], [8.5265128291212022e-14, 3.5527136788005009e-15, 7.1054273576010019e-14, 0.99999999999999467]])).
7
- result(sum_small, matrix_sum([[[1, 2], [3, 4], [5, 6]], [[1, 2], [3, 4], [5, 6]]], [[2, 4], [6, 8], [10, 12]])).
8
- result(chol3, cholesky_decomposition([[25, 15, -5], [15, 18, 0], [-5, 0, 11]], [[5.0, 0, 0], [3.0, 3.0, 0], [-1.0, 1.0, 3.0]])).
9
- result(chol4, cholesky_decomposition([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[4.2426406871192848, 0, 0, 0], [5.1854497287013492, 6.5659052011974026, 0, 0], [12.727922061357857, 3.0460384954008553, 1.6497422479090704, 0], [9.8994949366116654, 1.6245538642137891, 1.8497110052313821, 1.3926212476455924]])).
10
- checksConsistentWithTreallaReference(matrix, true).