eyeling 1.32.1 → 1.33.1

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 (629) hide show
  1. package/README.md +87 -16
  2. package/bin/eyeling.cjs +56 -4
  3. package/dist/browser/eyeling.browser.js +2 -11
  4. package/examples/eyelang/INTEGRATION.md +13 -0
  5. package/examples/eyelang/README.md +628 -0
  6. package/examples/eyelang/SPEC.md +684 -0
  7. package/examples/eyelang/access-control-policy.pl +52 -0
  8. package/examples/eyelang/ackermann.pl +46 -0
  9. package/examples/eyelang/age.pl +28 -0
  10. package/examples/eyelang/aliases-and-namespaces.pl +22 -0
  11. package/examples/eyelang/alignment-demo.pl +44 -0
  12. package/examples/eyelang/allen-interval-calculus.pl +64 -0
  13. package/examples/eyelang/ancestor.pl +21 -0
  14. package/examples/eyelang/animal.pl +21 -0
  15. package/examples/eyelang/annotation-rdf12.ttl +12 -0
  16. package/examples/eyelang/annotation.pl +34 -0
  17. package/examples/eyelang/auroracare.pl +309 -0
  18. package/examples/eyelang/backward.pl +12 -0
  19. package/examples/eyelang/basic-monadic.pl +10018 -0
  20. package/examples/eyelang/bayes-diagnosis.pl +108 -0
  21. package/examples/eyelang/bayes-therapy.pl +182 -0
  22. package/examples/eyelang/beam-deflection.pl +50 -0
  23. package/examples/eyelang/blocks-world-planning.pl +75 -0
  24. package/examples/eyelang/bmi.pl +232 -0
  25. package/examples/eyelang/braking-safety-worlds.pl +69 -0
  26. package/examples/eyelang/buck-converter-design.pl +78 -0
  27. package/examples/eyelang/cache-performance.pl +54 -0
  28. package/examples/eyelang/canary-release.pl +49 -0
  29. package/examples/eyelang/cat-koko.pl +24 -0
  30. package/examples/eyelang/clinical-trial-screening.pl +92 -0
  31. package/examples/eyelang/collatz-1000.pl +14 -0
  32. package/examples/eyelang/combinatorics-findall-sort.pl +37 -0
  33. package/examples/eyelang/competitive-enzyme-kinetics.pl +78 -0
  34. package/examples/eyelang/complex-matrix-stability.pl +45 -0
  35. package/examples/eyelang/complex.pl +121 -0
  36. package/examples/eyelang/composition-of-injective-functions-is-injective.pl +50 -0
  37. package/examples/eyelang/context-association.pl +53 -0
  38. package/examples/eyelang/control-system.pl +72 -0
  39. package/examples/eyelang/cryptarithmetic-send-more-money.pl +49 -0
  40. package/examples/eyelang/cyclic-path.pl +16 -0
  41. package/examples/eyelang/d3-group.pl +100 -0
  42. package/examples/eyelang/dairy-energy-balance.pl +65 -0
  43. package/examples/eyelang/data-negotiation.pl +39 -0
  44. package/examples/eyelang/deep-taxonomy-10.pl +115 -0
  45. package/examples/eyelang/deep-taxonomy-100.pl +385 -0
  46. package/examples/eyelang/deep-taxonomy-1000.pl +3085 -0
  47. package/examples/eyelang/deep-taxonomy-10000.pl +30094 -0
  48. package/examples/eyelang/deep-taxonomy-100000.pl +300184 -0
  49. package/examples/eyelang/delfour.pl +281 -0
  50. package/examples/eyelang/dense-hamiltonian-cycle.pl +92 -0
  51. package/examples/eyelang/deontic-logic.pl +52 -0
  52. package/examples/eyelang/derived-backward-rule.pl +30 -0
  53. package/examples/eyelang/derived-rule.pl +27 -0
  54. package/examples/eyelang/diamond-property.pl +38 -0
  55. package/examples/eyelang/dijkstra-findall-sort.pl +44 -0
  56. package/examples/eyelang/dijkstra-risk-path.pl +86 -0
  57. package/examples/eyelang/dijkstra.pl +46 -0
  58. package/examples/eyelang/dining-philosophers.pl +140 -0
  59. package/examples/eyelang/directional-language.ttl +9 -0
  60. package/examples/eyelang/dog.pl +25 -0
  61. package/examples/eyelang/drone-corridor-planner.pl +51 -0
  62. package/examples/eyelang/easter-computus.pl +89 -0
  63. package/examples/eyelang/electrical-rc-filter.pl +36 -0
  64. package/examples/eyelang/epidemic-policy.pl +67 -0
  65. package/examples/eyelang/equivalence-classes-overlap-implies-same-class.pl +27 -0
  66. package/examples/eyelang/eulerian-path.pl +85 -0
  67. package/examples/eyelang/ev-range-worlds.pl +82 -0
  68. package/examples/eyelang/exact-cover-sudoku.pl +113 -0
  69. package/examples/eyelang/existential-rule.pl +18 -0
  70. package/examples/eyelang/exoplanet-validation-worlds.pl +88 -0
  71. package/examples/eyelang/expression-eval.pl +43 -0
  72. package/examples/eyelang/eyeling-ackermann.n3 +41 -0
  73. package/examples/eyelang/eyeling-age-threshold.n3 +12 -0
  74. package/examples/eyelang/eyeling-alignment-demo.n3 +11 -0
  75. package/examples/eyelang/eyeling-allen-interval-calculus-small.n3 +13 -0
  76. package/examples/eyelang/eyeling-backward-recursion.n3 +11 -0
  77. package/examples/eyelang/eyeling-backward.n3 +10 -0
  78. package/examples/eyelang/eyeling-basic-monadic-small.n3 +11 -0
  79. package/examples/eyelang/eyeling-bmi.n3 +10 -0
  80. package/examples/eyelang/eyeling-cat-koko.n3 +15 -0
  81. package/examples/eyelang/eyeling-collatz-small.n3 +11 -0
  82. package/examples/eyelang/eyeling-collection.n3 +11 -0
  83. package/examples/eyelang/eyeling-complex-arithmetic.n3 +10 -0
  84. package/examples/eyelang/eyeling-context-association.n3 +11 -0
  85. package/examples/eyelang/eyeling-control-system-small.n3 +11 -0
  86. package/examples/eyelang/eyeling-crypto-builtins-extra.n3 +10 -0
  87. package/examples/eyelang/eyeling-crypto-builtins.n3 +8 -0
  88. package/examples/eyelang/eyeling-deep-taxonomy-10.n3 +18 -0
  89. package/examples/eyelang/eyeling-derived-backward-rule-flat.n3 +10 -0
  90. package/examples/eyelang/eyeling-derived-rule-flat.n3 +9 -0
  91. package/examples/eyelang/eyeling-digital-product-passport-small.n3 +11 -0
  92. package/examples/eyelang/eyeling-dijkstra-tiny.n3 +14 -0
  93. package/examples/eyelang/eyeling-dog-license.n3 +13 -0
  94. package/examples/eyelang/eyeling-drone-corridor-planner-small.n3 +13 -0
  95. package/examples/eyelang/eyeling-equals.n3 +8 -0
  96. package/examples/eyelang/eyeling-equivalence-classes.n3 +11 -0
  97. package/examples/eyelang/eyeling-euler-identity.n3 +9 -0
  98. package/examples/eyelang/eyeling-existential-rule.n3 +9 -0
  99. package/examples/eyelang/eyeling-expression-eval.n3 +11 -0
  100. package/examples/eyelang/eyeling-family-cousins-extended.n3 +12 -0
  101. package/examples/eyelang/eyeling-fastpow.n3 +10 -0
  102. package/examples/eyelang/eyeling-fibonacci.n3 +44 -0
  103. package/examples/eyelang/eyeling-french-cities-reachability.n3 +22 -0
  104. package/examples/eyelang/eyeling-goldbach-small.n3 +22 -0
  105. package/examples/eyelang/eyeling-good-cobbler.n3 +9 -0
  106. package/examples/eyelang/eyeling-list-builtins.n3 +10 -0
  107. package/examples/eyelang/eyeling-list-collection-extra.n3 +9 -0
  108. package/examples/eyelang/eyeling-math-builtins.n3 +9 -0
  109. package/examples/eyelang/eyeling-string-builtins-extra.n3 +9 -0
  110. package/examples/eyelang/eyeling-string-builtins.n3 +10 -0
  111. package/examples/eyelang/eyeling-time-builtins.n3 +11 -0
  112. package/examples/eyelang/eyeling-time-components-extra.n3 +10 -0
  113. package/examples/eyelang/eyeling-witch.n3 +10 -0
  114. package/examples/eyelang/family-cousins.n3 +17 -0
  115. package/examples/eyelang/family-cousins.pl +65 -0
  116. package/examples/eyelang/fastpow.pl +53 -0
  117. package/examples/eyelang/fft8-numeric.pl +83 -0
  118. package/examples/eyelang/fibonacci.pl +53 -0
  119. package/examples/eyelang/field-nitrogen-balance.pl +70 -0
  120. package/examples/eyelang/flandor.pl +296 -0
  121. package/examples/eyelang/floating-point.pl +23 -0
  122. package/examples/eyelang/four-color-map.pl +127 -0
  123. package/examples/eyelang/fundamental-theorem-arithmetic.pl +113 -0
  124. package/examples/eyelang/gcd-bezout-identity.pl +48 -0
  125. package/examples/eyelang/gd-step-certified.pl +158 -0
  126. package/examples/eyelang/gdpr-compliance.pl +69 -0
  127. package/examples/eyelang/goldbach-1000.pl +185 -0
  128. package/examples/eyelang/good-cobbler.pl +14 -0
  129. package/examples/eyelang/gps.pl +152 -0
  130. package/examples/eyelang/graph-reachability.pl +36 -0
  131. package/examples/eyelang/gray-code-counter.pl +48 -0
  132. package/examples/eyelang/greatest-lower-bound-uniqueness.pl +28 -0
  133. package/examples/eyelang/group-inverse-uniqueness.pl +34 -0
  134. package/examples/eyelang/hamiltonian-cycle.pl +55 -0
  135. package/examples/eyelang/hamiltonian-path.pl +49 -0
  136. package/examples/eyelang/hamming-code.pl +105 -0
  137. package/examples/eyelang/hanoi.pl +20 -0
  138. package/examples/eyelang/heat-loss.pl +51 -0
  139. package/examples/eyelang/heron-theorem.pl +36 -0
  140. package/examples/eyelang/ideal-gas-law.pl +37 -0
  141. package/examples/eyelang/illegitimate-reasoning.pl +88 -0
  142. package/examples/eyelang/kaprekar.pl +32 -0
  143. package/examples/eyelang/law-of-cosines.pl +31 -0
  144. package/examples/eyelang/least-squares-regression.pl +81 -0
  145. package/examples/eyelang/list-collection.pl +33 -0
  146. package/examples/eyelang/lldm.pl +78 -0
  147. package/examples/eyelang/manufacturing-quality-control.pl +73 -0
  148. package/examples/eyelang/matrix.pl +296 -0
  149. package/examples/eyelang/microgrid-dispatch.pl +85 -0
  150. package/examples/eyelang/monkey-bananas.pl +45 -0
  151. package/examples/eyelang/n-queens.pl +23 -0
  152. package/examples/eyelang/n3-builtins.n3 +28 -0
  153. package/examples/eyelang/network-sla.pl +48 -0
  154. package/examples/eyelang/newton-raphson.pl +49 -0
  155. package/examples/eyelang/nixon-diamond.pl +37 -0
  156. package/examples/eyelang/odrl-dpv-healthcare-risk-ranked.pl +266 -0
  157. package/examples/eyelang/odrl-dpv-risk-ranked.pl +320 -0
  158. package/examples/eyelang/orbital-transfer-design.pl +113 -0
  159. package/examples/eyelang/output/access-control-policy.pl +2 -0
  160. package/examples/eyelang/output/ackermann.pl +12 -0
  161. package/examples/eyelang/output/age.pl +2 -0
  162. package/examples/eyelang/output/aliases-and-namespaces.pl +5 -0
  163. package/examples/eyelang/output/alignment-demo.pl +32 -0
  164. package/examples/eyelang/output/allen-interval-calculus.pl +154 -0
  165. package/examples/eyelang/output/ancestor.pl +6 -0
  166. package/examples/eyelang/output/animal.pl +4 -0
  167. package/examples/eyelang/output/annotation-rdf12.ttl +1 -0
  168. package/examples/eyelang/output/annotation.pl +4 -0
  169. package/examples/eyelang/output/auroracare.pl +117 -0
  170. package/examples/eyelang/output/backward.pl +1 -0
  171. package/examples/eyelang/output/basic-monadic.pl +1518 -0
  172. package/examples/eyelang/output/bayes-diagnosis.pl +13 -0
  173. package/examples/eyelang/output/bayes-therapy.pl +23 -0
  174. package/examples/eyelang/output/beam-deflection.pl +5 -0
  175. package/examples/eyelang/output/blocks-world-planning.pl +4 -0
  176. package/examples/eyelang/output/bmi.pl +32 -0
  177. package/examples/eyelang/output/braking-safety-worlds.pl +18 -0
  178. package/examples/eyelang/output/buck-converter-design.pl +6 -0
  179. package/examples/eyelang/output/cache-performance.pl +4 -0
  180. package/examples/eyelang/output/canary-release.pl +5 -0
  181. package/examples/eyelang/output/cat-koko.pl +3 -0
  182. package/examples/eyelang/output/clinical-trial-screening.pl +9 -0
  183. package/examples/eyelang/output/collatz-1000.pl +1000 -0
  184. package/examples/eyelang/output/combinatorics-findall-sort.pl +2 -0
  185. package/examples/eyelang/output/competitive-enzyme-kinetics.pl +6 -0
  186. package/examples/eyelang/output/complex-matrix-stability.pl +5 -0
  187. package/examples/eyelang/output/complex.pl +1 -0
  188. package/examples/eyelang/output/composition-of-injective-functions-is-injective.pl +2 -0
  189. package/examples/eyelang/output/context-association.pl +3 -0
  190. package/examples/eyelang/output/control-system.pl +6 -0
  191. package/examples/eyelang/output/cryptarithmetic-send-more-money.pl +6 -0
  192. package/examples/eyelang/output/cyclic-path.pl +16 -0
  193. package/examples/eyelang/output/d3-group.pl +2 -0
  194. package/examples/eyelang/output/dairy-energy-balance.pl +13 -0
  195. package/examples/eyelang/output/data-negotiation.pl +1 -0
  196. package/examples/eyelang/output/deep-taxonomy-10.pl +16 -0
  197. package/examples/eyelang/output/deep-taxonomy-100.pl +16 -0
  198. package/examples/eyelang/output/deep-taxonomy-1000.pl +16 -0
  199. package/examples/eyelang/output/deep-taxonomy-10000.pl +16 -0
  200. package/examples/eyelang/output/deep-taxonomy-100000.pl +16 -0
  201. package/examples/eyelang/output/delfour.pl +31 -0
  202. package/examples/eyelang/output/dense-hamiltonian-cycle.pl +4 -0
  203. package/examples/eyelang/output/deontic-logic.pl +4 -0
  204. package/examples/eyelang/output/derived-backward-rule.pl +3 -0
  205. package/examples/eyelang/output/derived-rule.pl +2 -0
  206. package/examples/eyelang/output/diamond-property.pl +4 -0
  207. package/examples/eyelang/output/dijkstra-findall-sort.pl +2 -0
  208. package/examples/eyelang/output/dijkstra-risk-path.pl +29 -0
  209. package/examples/eyelang/output/dijkstra.pl +16 -0
  210. package/examples/eyelang/output/dining-philosophers.pl +350 -0
  211. package/examples/eyelang/output/directional-language.ttl +1 -0
  212. package/examples/eyelang/output/dog.pl +1 -0
  213. package/examples/eyelang/output/drone-corridor-planner.pl +17 -0
  214. package/examples/eyelang/output/easter-computus.pl +30 -0
  215. package/examples/eyelang/output/electrical-rc-filter.pl +3 -0
  216. package/examples/eyelang/output/epidemic-policy.pl +14 -0
  217. package/examples/eyelang/output/equivalence-classes-overlap-implies-same-class.pl +18 -0
  218. package/examples/eyelang/output/eulerian-path.pl +3 -0
  219. package/examples/eyelang/output/ev-range-worlds.pl +19 -0
  220. package/examples/eyelang/output/exact-cover-sudoku.pl +3 -0
  221. package/examples/eyelang/output/existential-rule.pl +2 -0
  222. package/examples/eyelang/output/exoplanet-validation-worlds.pl +22 -0
  223. package/examples/eyelang/output/expression-eval.pl +1 -0
  224. package/examples/eyelang/output/eyeling-ackermann.n3 +12 -0
  225. package/examples/eyelang/output/eyeling-age-threshold.n3 +4 -0
  226. package/examples/eyelang/output/eyeling-alignment-demo.n3 +1 -0
  227. package/examples/eyelang/output/eyeling-allen-interval-calculus-small.n3 +3 -0
  228. package/examples/eyelang/output/eyeling-backward-recursion.n3 +9 -0
  229. package/examples/eyelang/output/eyeling-backward.n3 +1 -0
  230. package/examples/eyelang/output/eyeling-basic-monadic-small.n3 +8 -0
  231. package/examples/eyelang/output/eyeling-bmi.n3 +2 -0
  232. package/examples/eyelang/output/eyeling-cat-koko.n3 +3 -0
  233. package/examples/eyelang/output/eyeling-collatz-small.n3 +3 -0
  234. package/examples/eyelang/output/eyeling-collection.n3 +1 -0
  235. package/examples/eyelang/output/eyeling-complex-arithmetic.n3 +5 -0
  236. package/examples/eyelang/output/eyeling-context-association.n3 +4 -0
  237. package/examples/eyelang/output/eyeling-control-system-small.n3 +4 -0
  238. package/examples/eyelang/output/eyeling-crypto-builtins-extra.n3 +3 -0
  239. package/examples/eyelang/output/eyeling-crypto-builtins.n3 +2 -0
  240. package/examples/eyelang/output/eyeling-deep-taxonomy-10.n3 +32 -0
  241. package/examples/eyelang/output/eyeling-derived-backward-rule-flat.n3 +4 -0
  242. package/examples/eyelang/output/eyeling-derived-rule-flat.n3 +2 -0
  243. package/examples/eyelang/output/eyeling-digital-product-passport-small.n3 +3 -0
  244. package/examples/eyelang/output/eyeling-dijkstra-tiny.n3 +9 -0
  245. package/examples/eyelang/output/eyeling-dog-license.n3 +1 -0
  246. package/examples/eyelang/output/eyeling-drone-corridor-planner-small.n3 +5 -0
  247. package/examples/eyelang/output/eyeling-equals.n3 +1 -0
  248. package/examples/eyelang/output/eyeling-equivalence-classes.n3 +2 -0
  249. package/examples/eyelang/output/eyeling-euler-identity.n3 +3 -0
  250. package/examples/eyelang/output/eyeling-existential-rule.n3 +4 -0
  251. package/examples/eyelang/output/eyeling-expression-eval.n3 +3 -0
  252. package/examples/eyelang/output/eyeling-family-cousins-extended.n3 +6 -0
  253. package/examples/eyelang/output/eyeling-fastpow.n3 +4 -0
  254. package/examples/eyelang/output/eyeling-fibonacci.n3 +6 -0
  255. package/examples/eyelang/output/eyeling-french-cities-reachability.n3 +25 -0
  256. package/examples/eyelang/output/eyeling-goldbach-small.n3 +2 -0
  257. package/examples/eyelang/output/eyeling-good-cobbler.n3 +2 -0
  258. package/examples/eyelang/output/eyeling-list-builtins.n3 +6 -0
  259. package/examples/eyelang/output/eyeling-list-collection-extra.n3 +5 -0
  260. package/examples/eyelang/output/eyeling-math-builtins.n3 +5 -0
  261. package/examples/eyelang/output/eyeling-string-builtins-extra.n3 +3 -0
  262. package/examples/eyelang/output/eyeling-string-builtins.n3 +4 -0
  263. package/examples/eyelang/output/eyeling-time-builtins.n3 +4 -0
  264. package/examples/eyelang/output/eyeling-time-components-extra.n3 +5 -0
  265. package/examples/eyelang/output/eyeling-witch.n3 +2 -0
  266. package/examples/eyelang/output/family-cousins.n3 +8 -0
  267. package/examples/eyelang/output/family-cousins.pl +28 -0
  268. package/examples/eyelang/output/fastpow.pl +6 -0
  269. package/examples/eyelang/output/fft8-numeric.pl +4 -0
  270. package/examples/eyelang/output/fibonacci.pl +6 -0
  271. package/examples/eyelang/output/field-nitrogen-balance.pl +21 -0
  272. package/examples/eyelang/output/flandor.pl +43 -0
  273. package/examples/eyelang/output/floating-point.pl +9 -0
  274. package/examples/eyelang/output/four-color-map.pl +3 -0
  275. package/examples/eyelang/output/fundamental-theorem-arithmetic.pl +9 -0
  276. package/examples/eyelang/output/gcd-bezout-identity.pl +36 -0
  277. package/examples/eyelang/output/gd-step-certified.pl +79 -0
  278. package/examples/eyelang/output/gdpr-compliance.pl +6 -0
  279. package/examples/eyelang/output/goldbach-1000.pl +667 -0
  280. package/examples/eyelang/output/good-cobbler.pl +1 -0
  281. package/examples/eyelang/output/gps.pl +21 -0
  282. package/examples/eyelang/output/graph-reachability.pl +3 -0
  283. package/examples/eyelang/output/gray-code-counter.pl +1 -0
  284. package/examples/eyelang/output/greatest-lower-bound-uniqueness.pl +2 -0
  285. package/examples/eyelang/output/group-inverse-uniqueness.pl +2 -0
  286. package/examples/eyelang/output/hamiltonian-cycle.pl +4 -0
  287. package/examples/eyelang/output/hamiltonian-path.pl +121 -0
  288. package/examples/eyelang/output/hamming-code.pl +6 -0
  289. package/examples/eyelang/output/hanoi.pl +1 -0
  290. package/examples/eyelang/output/heat-loss.pl +5 -0
  291. package/examples/eyelang/output/heron-theorem.pl +4 -0
  292. package/examples/eyelang/output/ideal-gas-law.pl +3 -0
  293. package/examples/eyelang/output/illegitimate-reasoning.pl +15 -0
  294. package/examples/eyelang/output/kaprekar.pl +8 -0
  295. package/examples/eyelang/output/law-of-cosines.pl +3 -0
  296. package/examples/eyelang/output/least-squares-regression.pl +5 -0
  297. package/examples/eyelang/output/list-collection.pl +3 -0
  298. package/examples/eyelang/output/lldm.pl +6 -0
  299. package/examples/eyelang/output/manufacturing-quality-control.pl +6 -0
  300. package/examples/eyelang/output/matrix.pl +10 -0
  301. package/examples/eyelang/output/microgrid-dispatch.pl +6 -0
  302. package/examples/eyelang/output/monkey-bananas.pl +5 -0
  303. package/examples/eyelang/output/n-queens.pl +93 -0
  304. package/examples/eyelang/output/n3-builtins.n3 +6 -0
  305. package/examples/eyelang/output/network-sla.pl +4 -0
  306. package/examples/eyelang/output/newton-raphson.pl +3 -0
  307. package/examples/eyelang/output/nixon-diamond.pl +5 -0
  308. package/examples/eyelang/output/odrl-dpv-healthcare-risk-ranked.pl +42 -0
  309. package/examples/eyelang/output/odrl-dpv-risk-ranked.pl +120 -0
  310. package/examples/eyelang/output/orbital-transfer-design.pl +7 -0
  311. package/examples/eyelang/output/path-discovery.pl +3 -0
  312. package/examples/eyelang/output/peano-arithmetic.pl +3 -0
  313. package/examples/eyelang/output/peasant.pl +10 -0
  314. package/examples/eyelang/output/pendulum-period.pl +4 -0
  315. package/examples/eyelang/output/polynomial.pl +14 -0
  316. package/examples/eyelang/output/project-portfolio-optimization.pl +6 -0
  317. package/examples/eyelang/output/proof-contrapositive.pl +3 -0
  318. package/examples/eyelang/output/quadratic-formula.pl +6 -0
  319. package/examples/eyelang/output/quine-mccluskey.pl +3 -0
  320. package/examples/eyelang/output/radioactive-decay.pl +5 -0
  321. package/examples/eyelang/output/resilient-city-orchestration.pl +67 -0
  322. package/examples/eyelang/output/riemann-hypothesis.pl +12 -0
  323. package/examples/eyelang/output/sat-dpll.pl +5 -0
  324. package/examples/eyelang/output/security-incident-correlation.pl +3 -0
  325. package/examples/eyelang/output/service-impact.pl +11 -0
  326. package/examples/eyelang/output/sieve.pl +1 -0
  327. package/examples/eyelang/output/skolem-functions.pl +16 -0
  328. package/examples/eyelang/output/socket-age.pl +1 -0
  329. package/examples/eyelang/output/socket-family.pl +3 -0
  330. package/examples/eyelang/output/socrates.n3 +1 -0
  331. package/examples/eyelang/output/socrates.pl +2 -0
  332. package/examples/eyelang/output/statistics-summary.pl +4 -0
  333. package/examples/eyelang/output/sudoku.pl +2 -0
  334. package/examples/eyelang/output/superdense-coding.pl +6 -0
  335. package/examples/eyelang/output/traveling-salesman.pl +1 -0
  336. package/examples/eyelang/output/triple-term.n3 +2 -0
  337. package/examples/eyelang/output/turing.pl +12 -0
  338. package/examples/eyelang/output/vector-similarity.pl +4 -0
  339. package/examples/eyelang/output/witch.pl +7 -0
  340. package/examples/eyelang/output/wolf-goat-cabbage.pl +3 -0
  341. package/examples/eyelang/output/zebra.pl +3 -0
  342. package/examples/eyelang/path-discovery.pl +44998 -0
  343. package/examples/eyelang/peano-arithmetic.pl +31 -0
  344. package/examples/eyelang/peasant.pl +30 -0
  345. package/examples/eyelang/pendulum-period.pl +50 -0
  346. package/examples/eyelang/polynomial.pl +124 -0
  347. package/examples/eyelang/project-portfolio-optimization.pl +101 -0
  348. package/examples/eyelang/proof/age.pl +71 -0
  349. package/examples/eyelang/proof/aliases-and-namespaces.pl +78 -0
  350. package/examples/eyelang/proof/ancestor.pl +140 -0
  351. package/examples/eyelang/proof/animal.pl +68 -0
  352. package/examples/eyelang/proof/annotation.pl +80 -0
  353. package/examples/eyelang/proof/backward.pl +22 -0
  354. package/examples/eyelang/proof/cat-koko.pl +86 -0
  355. package/examples/eyelang/proof/data-negotiation.pl +76 -0
  356. package/examples/eyelang/proof/derived-rule.pl +43 -0
  357. package/examples/eyelang/proof/dog.pl +31 -0
  358. package/examples/eyelang/proof/electrical-rc-filter.pl +105 -0
  359. package/examples/eyelang/proof/existential-rule.pl +40 -0
  360. package/examples/eyelang/proof/floating-point.pl +160 -0
  361. package/examples/eyelang/proof/good-cobbler.pl +16 -0
  362. package/examples/eyelang/proof/group-inverse-uniqueness.pl +84 -0
  363. package/examples/eyelang/proof/list-collection.pl +52 -0
  364. package/examples/eyelang/proof/proof-contrapositive.pl +78 -0
  365. package/examples/eyelang/proof/socket-age.pl +32 -0
  366. package/examples/eyelang/proof/socket-family.pl +59 -0
  367. package/examples/eyelang/proof/socrates.pl +38 -0
  368. package/examples/eyelang/proof-contrapositive.pl +27 -0
  369. package/examples/eyelang/quadratic-formula.pl +54 -0
  370. package/examples/eyelang/quine-mccluskey.pl +143 -0
  371. package/examples/eyelang/radioactive-decay.pl +56 -0
  372. package/examples/eyelang/resilient-city-orchestration.pl +303 -0
  373. package/examples/eyelang/riemann-hypothesis.pl +110 -0
  374. package/examples/eyelang/sat-dpll.pl +80 -0
  375. package/examples/eyelang/security-incident-correlation.pl +69 -0
  376. package/examples/eyelang/service-impact.pl +41 -0
  377. package/examples/eyelang/sieve.pl +20 -0
  378. package/examples/eyelang/skolem-functions.pl +52 -0
  379. package/examples/eyelang/socket-age.pl +39 -0
  380. package/examples/eyelang/socket-family.pl +28 -0
  381. package/examples/eyelang/socrates.n3 +11 -0
  382. package/examples/eyelang/socrates.pl +19 -0
  383. package/examples/eyelang/statistics-summary.pl +54 -0
  384. package/examples/eyelang/sudoku.pl +20 -0
  385. package/examples/eyelang/superdense-coding.pl +84 -0
  386. package/examples/eyelang/traveling-salesman.pl +64 -0
  387. package/examples/eyelang/triple-term.n3 +9 -0
  388. package/examples/eyelang/turing.pl +67 -0
  389. package/examples/eyelang/vector-similarity.pl +56 -0
  390. package/examples/eyelang/witch.pl +38 -0
  391. package/examples/eyelang/wolf-goat-cabbage.pl +56 -0
  392. package/examples/eyelang/zebra.pl +44 -0
  393. package/eyelang.d.ts +92 -0
  394. package/eyeling-builtins.ttl +1 -1
  395. package/eyeling.js +2 -11
  396. package/index.d.ts +50 -2
  397. package/index.js +95 -1
  398. package/lib/builtins.js +1 -11
  399. package/lib/cli.js +1 -0
  400. package/lib/eyelang/bin.js +7 -0
  401. package/lib/eyelang/builtins/aggregation.mjs +81 -0
  402. package/lib/eyelang/builtins/alphametic.mjs +144 -0
  403. package/lib/eyelang/builtins/arithmetic.mjs +197 -0
  404. package/lib/eyelang/builtins/control.mjs +22 -0
  405. package/lib/eyelang/builtins/core.mjs +78 -0
  406. package/lib/eyelang/builtins/formula.mjs +42 -0
  407. package/lib/eyelang/builtins/lists.mjs +149 -0
  408. package/lib/eyelang/builtins/matrix.mjs +226 -0
  409. package/lib/eyelang/builtins/n3.mjs +483 -0
  410. package/lib/eyelang/builtins/number-theory.mjs +114 -0
  411. package/lib/eyelang/builtins/portfolio.mjs +73 -0
  412. package/lib/eyelang/builtins/registry.mjs +54 -0
  413. package/lib/eyelang/builtins/search.mjs +579 -0
  414. package/lib/eyelang/builtins/strings.mjs +41 -0
  415. package/lib/eyelang/builtins/sudoku.mjs +141 -0
  416. package/lib/eyelang/cli.mjs +192 -0
  417. package/lib/eyelang/explain.mjs +324 -0
  418. package/lib/eyelang/hash.mjs +294 -0
  419. package/lib/eyelang/index.mjs +48 -0
  420. package/lib/eyelang/parser.mjs +428 -0
  421. package/lib/eyelang/program.mjs +244 -0
  422. package/lib/eyelang/rdf.mjs +747 -0
  423. package/lib/eyelang/solver.mjs +237 -0
  424. package/lib/eyelang/term.mjs +328 -0
  425. package/package.json +12 -3
  426. package/test/builtins.test.js +15 -2
  427. package/test/eyelang/conformance/README.md +45 -0
  428. package/test/eyelang/conformance/cases/core/001_fact_output.pl +4 -0
  429. package/test/eyelang/conformance/cases/core/001_fact_query.query +1 -0
  430. package/test/eyelang/conformance/cases/core/002_rule_recursion.pl +7 -0
  431. package/test/eyelang/conformance/cases/core/002_rule_recursion.query +1 -0
  432. package/test/eyelang/conformance/cases/core/003_terms_and_readback.pl +16 -0
  433. package/test/eyelang/conformance/cases/core/003_terms_and_readback.query +1 -0
  434. package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.pl +5 -0
  435. package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.query +1 -0
  436. package/test/eyelang/conformance/cases/core/005_list_deconstruction.pl +6 -0
  437. package/test/eyelang/conformance/cases/core/005_list_deconstruction.query +1 -0
  438. package/test/eyelang/conformance/cases/core/006_comma_formula_data.pl +4 -0
  439. package/test/eyelang/conformance/cases/core/006_comma_formula_data.query +1 -0
  440. package/test/eyelang/conformance/cases/core/007_anonymous_variables.pl +5 -0
  441. package/test/eyelang/conformance/cases/core/007_anonymous_variables.query +1 -0
  442. package/test/eyelang/conformance/cases/core/008_graphic_atoms.pl +6 -0
  443. package/test/eyelang/conformance/cases/core/008_graphic_atoms.query +1 -0
  444. package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.pl +5 -0
  445. package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.query +1 -0
  446. package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.pl +8 -0
  447. package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.query +1 -0
  448. package/test/eyelang/conformance/cases/core/011_predicate_arity.pl +6 -0
  449. package/test/eyelang/conformance/cases/core/011_predicate_arity.query +1 -0
  450. package/test/eyelang/conformance/cases/core/012_nested_compound_unification.pl +5 -0
  451. package/test/eyelang/conformance/cases/core/012_nested_compound_unification.query +1 -0
  452. package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.pl +6 -0
  453. package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.query +1 -0
  454. package/test/eyelang/conformance/cases/core/014_failure_filters_answers.pl +7 -0
  455. package/test/eyelang/conformance/cases/core/014_failure_filters_answers.query +1 -0
  456. package/test/eyelang/conformance/cases/core/015_improper_list_unification.pl +6 -0
  457. package/test/eyelang/conformance/cases/core/015_improper_list_unification.query +1 -0
  458. package/test/eyelang/conformance/cases/core/016_zero_arity_compound.pl +4 -0
  459. package/test/eyelang/conformance/cases/core/016_zero_arity_compound.query +1 -0
  460. package/test/eyelang/conformance/cases/core/017_three_step_recursion.pl +8 -0
  461. package/test/eyelang/conformance/cases/core/017_three_step_recursion.query +1 -0
  462. package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.pl +6 -0
  463. package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.query +1 -0
  464. package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.pl +7 -0
  465. package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.query +1 -0
  466. package/test/eyelang/conformance/cases/core/020_nested_list_terms.pl +5 -0
  467. package/test/eyelang/conformance/cases/core/020_nested_list_terms.query +1 -0
  468. package/test/eyelang/conformance/cases/core/021_repeated_variable_head.pl +7 -0
  469. package/test/eyelang/conformance/cases/core/022_rule_head_structure.pl +5 -0
  470. package/test/eyelang/conformance/cases/core/023_quoted_escapes_readback.pl +5 -0
  471. package/test/eyelang/conformance/cases/core/024_numeric_literal_readback.pl +6 -0
  472. package/test/eyelang/conformance/cases/core/025_body_parentheses_with_formula_data.pl +5 -0
  473. package/test/eyelang/conformance/cases/core/026_underscore_named_variable_reuse.pl +5 -0
  474. package/test/eyelang/conformance/cases/extension/001_default_derived_output.pl +5 -0
  475. package/test/eyelang/conformance/cases/extension/002_materialize_focus.pl +5 -0
  476. package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.pl +12 -0
  477. package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.query +1 -0
  478. package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.pl +6 -0
  479. package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.query +1 -0
  480. package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.pl +10 -0
  481. package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.query +1 -0
  482. package/test/eyelang/conformance/cases/extension/006_formula_terms.pl +5 -0
  483. package/test/eyelang/conformance/cases/extension/006_formula_terms.query +1 -0
  484. package/test/eyelang/conformance/cases/extension/007_negation_once_generators.pl +7 -0
  485. package/test/eyelang/conformance/cases/extension/007_negation_once_generators.query +1 -0
  486. package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.pl +6 -0
  487. package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.query +1 -0
  488. package/test/eyelang/conformance/cases/extension/009_list_relations.pl +6 -0
  489. package/test/eyelang/conformance/cases/extension/009_list_relations.query +1 -0
  490. package/test/eyelang/conformance/cases/extension/010_append_splits.pl +3 -0
  491. package/test/eyelang/conformance/cases/extension/010_append_splits.query +1 -0
  492. package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.pl +7 -0
  493. package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.query +1 -0
  494. package/test/eyelang/conformance/cases/extension/012_memoize_declaration.pl +8 -0
  495. package/test/eyelang/conformance/cases/extension/012_memoize_declaration.query +1 -0
  496. package/test/eyelang/conformance/cases/extension/013_numeric_functions.pl +9 -0
  497. package/test/eyelang/conformance/cases/extension/013_numeric_functions.query +1 -0
  498. package/test/eyelang/conformance/cases/extension/014_between_enumeration.pl +3 -0
  499. package/test/eyelang/conformance/cases/extension/014_between_enumeration.query +1 -0
  500. package/test/eyelang/conformance/cases/extension/015_smallest_divisor.pl +3 -0
  501. package/test/eyelang/conformance/cases/extension/015_smallest_divisor.query +1 -0
  502. package/test/eyelang/conformance/cases/extension/016_negation_filter.pl +7 -0
  503. package/test/eyelang/conformance/cases/extension/016_negation_filter.query +1 -0
  504. package/test/eyelang/conformance/cases/extension/017_once_user_predicate.pl +5 -0
  505. package/test/eyelang/conformance/cases/extension/017_once_user_predicate.query +1 -0
  506. package/test/eyelang/conformance/cases/extension/018_findall_user_goal.pl +6 -0
  507. package/test/eyelang/conformance/cases/extension/018_findall_user_goal.query +1 -0
  508. package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.pl +3 -0
  509. package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.query +1 -0
  510. package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.pl +4 -0
  511. package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.query +1 -0
  512. package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.pl +3 -0
  513. package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.query +1 -0
  514. package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.pl +4 -0
  515. package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.query +1 -0
  516. package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.pl +3 -0
  517. package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.query +1 -0
  518. package/test/eyelang/conformance/cases/extension/024_not_member_filter.pl +6 -0
  519. package/test/eyelang/conformance/cases/extension/024_not_member_filter.query +1 -0
  520. package/test/eyelang/conformance/cases/extension/025_is_list_filter.pl +5 -0
  521. package/test/eyelang/conformance/cases/extension/025_is_list_filter.query +1 -0
  522. package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.pl +5 -0
  523. package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.query +1 -0
  524. package/test/eyelang/conformance/cases/extension/027_materialize_excludes_source_fact.pl +6 -0
  525. package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.pl +5 -0
  526. package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.query +1 -0
  527. package/test/eyelang/conformance/cases/extension/029_string_matching_filters.pl +6 -0
  528. package/test/eyelang/conformance/cases/extension/029_string_matching_filters.query +1 -0
  529. package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.pl +4 -0
  530. package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.query +1 -0
  531. package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.pl +4 -0
  532. package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.query +1 -0
  533. package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.pl +5 -0
  534. package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.query +1 -0
  535. package/test/eyelang/conformance/cases/extension/033_aggregate_min_template.pl +5 -0
  536. package/test/eyelang/conformance/cases/extension/033_aggregate_min_template.query +1 -0
  537. package/test/eyelang/conformance/cases/extension/034_aggregate_max_compound_key.pl +5 -0
  538. package/test/eyelang/conformance/cases/extension/034_aggregate_max_compound_key.query +1 -0
  539. package/test/eyelang/conformance/cases/extension/035_date_difference.pl +4 -0
  540. package/test/eyelang/conformance/cases/extension/036_extended_gcd.pl +3 -0
  541. package/test/eyelang/conformance/cases/extension/037_collatz_trajectory.pl +3 -0
  542. package/test/eyelang/conformance/cases/extension/038_kaprekar_steps.pl +3 -0
  543. package/test/eyelang/conformance/cases/extension/039_goldbach_pair.pl +3 -0
  544. package/test/eyelang/conformance/cases/extension/040_matrix_operations.pl +5 -0
  545. package/test/eyelang/conformance/cases/extension/041_atom_range_generators.pl +5 -0
  546. package/test/eyelang/conformance/cases/extension/042_n_queens_small.pl +3 -0
  547. package/test/eyelang/conformance/cases/extension/043_cnf_model.pl +3 -0
  548. package/test/eyelang/conformance/cases/extension/044_cover9_filter.pl +6 -0
  549. package/test/eyelang/conformance/cases/extension/045_alphametic_sum_small.pl +3 -0
  550. package/test/eyelang/conformance/cases/extension/046_bounded_subset.pl +4 -0
  551. package/test/eyelang/conformance/expected/core/001_fact_output.out +1 -0
  552. package/test/eyelang/conformance/expected/core/002_rule_recursion.out +2 -0
  553. package/test/eyelang/conformance/expected/core/003_terms_and_readback.out +13 -0
  554. package/test/eyelang/conformance/expected/core/004_conjunction_and_parentheses.out +1 -0
  555. package/test/eyelang/conformance/expected/core/005_list_deconstruction.out +2 -0
  556. package/test/eyelang/conformance/expected/core/006_comma_formula_data.out +1 -0
  557. package/test/eyelang/conformance/expected/core/007_anonymous_variables.out +1 -0
  558. package/test/eyelang/conformance/expected/core/008_graphic_atoms.out +3 -0
  559. package/test/eyelang/conformance/expected/core/009_comments_and_whitespace.out +2 -0
  560. package/test/eyelang/conformance/expected/core/010_variable_scope_and_reuse.out +2 -0
  561. package/test/eyelang/conformance/expected/core/011_predicate_arity.out +2 -0
  562. package/test/eyelang/conformance/expected/core/012_nested_compound_unification.out +2 -0
  563. package/test/eyelang/conformance/expected/core/013_multiple_clauses_order.out +2 -0
  564. package/test/eyelang/conformance/expected/core/014_failure_filters_answers.out +1 -0
  565. package/test/eyelang/conformance/expected/core/015_improper_list_unification.out +3 -0
  566. package/test/eyelang/conformance/expected/core/016_zero_arity_compound.out +1 -0
  567. package/test/eyelang/conformance/expected/core/017_three_step_recursion.out +3 -0
  568. package/test/eyelang/conformance/expected/core/018_quoted_atom_readback.out +3 -0
  569. package/test/eyelang/conformance/expected/core/019_parenthesized_three_conjuncts.out +1 -0
  570. package/test/eyelang/conformance/expected/core/020_nested_list_terms.out +2 -0
  571. package/test/eyelang/conformance/expected/core/021_repeated_variable_head.out +2 -0
  572. package/test/eyelang/conformance/expected/core/022_rule_head_structure.out +2 -0
  573. package/test/eyelang/conformance/expected/core/023_quoted_escapes_readback.out +2 -0
  574. package/test/eyelang/conformance/expected/core/024_numeric_literal_readback.out +3 -0
  575. package/test/eyelang/conformance/expected/core/025_body_parentheses_with_formula_data.out +1 -0
  576. package/test/eyelang/conformance/expected/core/026_underscore_named_variable_reuse.out +1 -0
  577. package/test/eyelang/conformance/expected/extension/001_default_derived_output.out +3 -0
  578. package/test/eyelang/conformance/expected/extension/002_materialize_focus.out +1 -0
  579. package/test/eyelang/conformance/expected/extension/003_arithmetic_and_comparison.out +10 -0
  580. package/test/eyelang/conformance/expected/extension/004_strings_and_atoms.out +4 -0
  581. package/test/eyelang/conformance/expected/extension/005_lists_aggregation_ordering.out +9 -0
  582. package/test/eyelang/conformance/expected/extension/006_formula_terms.out +4 -0
  583. package/test/eyelang/conformance/expected/extension/007_negation_once_generators.out +2 -0
  584. package/test/eyelang/conformance/expected/extension/008_equality_and_inequality.out +4 -0
  585. package/test/eyelang/conformance/expected/extension/009_list_relations.out +5 -0
  586. package/test/eyelang/conformance/expected/extension/010_append_splits.out +3 -0
  587. package/test/eyelang/conformance/expected/extension/011_matching_and_comparison.out +5 -0
  588. package/test/eyelang/conformance/expected/extension/012_memoize_declaration.out +2 -0
  589. package/test/eyelang/conformance/expected/extension/013_numeric_functions.out +7 -0
  590. package/test/eyelang/conformance/expected/extension/014_between_enumeration.out +3 -0
  591. package/test/eyelang/conformance/expected/extension/015_smallest_divisor.out +1 -0
  592. package/test/eyelang/conformance/expected/extension/016_negation_filter.out +2 -0
  593. package/test/eyelang/conformance/expected/extension/017_once_user_predicate.out +1 -0
  594. package/test/eyelang/conformance/expected/extension/018_findall_user_goal.out +1 -0
  595. package/test/eyelang/conformance/expected/extension/019_sort_deduplicates_atoms.out +1 -0
  596. package/test/eyelang/conformance/expected/extension/020_append_bound_prefix_suffix.out +2 -0
  597. package/test/eyelang/conformance/expected/extension/021_nth0_index_generation.out +1 -0
  598. package/test/eyelang/conformance/expected/extension/022_set_nth0_edges.out +2 -0
  599. package/test/eyelang/conformance/expected/extension/023_select_duplicate_occurrences.out +2 -0
  600. package/test/eyelang/conformance/expected/extension/024_not_member_filter.out +1 -0
  601. package/test/eyelang/conformance/expected/extension/025_is_list_filter.out +1 -0
  602. package/test/eyelang/conformance/expected/extension/026_nested_formula_terms.out +6 -0
  603. package/test/eyelang/conformance/expected/extension/027_materialize_excludes_source_fact.out +1 -0
  604. package/test/eyelang/conformance/expected/extension/028_numeric_and_lexical_comparison.out +3 -0
  605. package/test/eyelang/conformance/expected/extension/029_string_matching_filters.out +2 -0
  606. package/test/eyelang/conformance/expected/extension/030_string_and_atom_concat.out +2 -0
  607. package/test/eyelang/conformance/expected/extension/031_countall_empty_and_nonempty.out +1 -0
  608. package/test/eyelang/conformance/expected/extension/032_sumall_numeric_template.out +1 -0
  609. package/test/eyelang/conformance/expected/extension/033_aggregate_min_template.out +1 -0
  610. package/test/eyelang/conformance/expected/extension/034_aggregate_max_compound_key.out +1 -0
  611. package/test/eyelang/conformance/expected/extension/035_date_difference.out +2 -0
  612. package/test/eyelang/conformance/expected/extension/036_extended_gcd.out +1 -0
  613. package/test/eyelang/conformance/expected/extension/037_collatz_trajectory.out +1 -0
  614. package/test/eyelang/conformance/expected/extension/038_kaprekar_steps.out +1 -0
  615. package/test/eyelang/conformance/expected/extension/039_goldbach_pair.out +2 -0
  616. package/test/eyelang/conformance/expected/extension/040_matrix_operations.out +3 -0
  617. package/test/eyelang/conformance/expected/extension/041_atom_range_generators.out +8 -0
  618. package/test/eyelang/conformance/expected/extension/042_n_queens_small.out +2 -0
  619. package/test/eyelang/conformance/expected/extension/043_cnf_model.out +1 -0
  620. package/test/eyelang/conformance/expected/extension/044_cover9_filter.out +2 -0
  621. package/test/eyelang/conformance/expected/extension/045_alphametic_sum_small.out +4 -0
  622. package/test/eyelang/conformance/expected/extension/046_bounded_subset.out +5 -0
  623. package/test/eyelang/run-all.mjs +20 -0
  624. package/test/eyelang/run-conformance.mjs +80 -0
  625. package/test/eyelang/run-examples.mjs +126 -0
  626. package/test/eyelang/run-regression.mjs +640 -0
  627. package/test/eyelang/test-style.mjs +91 -0
  628. package/test/eyelang.test.js +58 -0
  629. package/test/run.js +1 -0
package/examples/eyelang/output/goldbach-1000.pl ADDED
@@ -0,0 +1,667 @@
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).
package/examples/eyelang/output/good-cobbler.pl ADDED
@@ -0,0 +1 @@
1
+ is(test, is(joe, good(cobbler))).
package/examples/eyelang/output/gps.pl ADDED
@@ -0,0 +1,21 @@
1
+ outcome(decision, "Take the direct route via Brugge.").
2
+ recommendedRoute(decision, routeDirect).
3
+ statement(check, c1, true).
4
+ statement(check, c2, true).
5
+ statement(check, c3, true).
6
+ statement(check, c4, true).
7
+ statement(check, c5, true).
8
+ label(routeDirect, "Gent -> Brugge -> Oostende").
9
+ label(routeViaKortrijk, "Gent -> Kortrijk -> Brugge -> Oostende").
10
+ actionSequence(routeDirect, [drive_gent_brugge, drive_brugge_oostende]).
11
+ actionSequence(routeViaKortrijk, [drive_gent_kortrijk, drive_kortrijk_brugge, drive_brugge_oostende]).
12
+ durationSeconds(routeDirect, 2400.0).
13
+ durationSeconds(routeViaKortrijk, 4100.0).
14
+ cost(routeDirect, 0.01).
15
+ cost(routeViaKortrijk, 0.017999999999999999).
16
+ belief(routeDirect, 0.94079999999999997).
17
+ belief(routeViaKortrijk, 0.90316799999999997).
18
+ comfort(routeDirect, 0.98999999999999999).
19
+ comfort(routeViaKortrijk, 0.98009999999999997).
20
+ selectedRoute(report, route(routeDirect, [drive_gent_brugge, drive_brugge_oostende], 2400.0, 0.01, 0.94079999999999997, 0.98999999999999999)).
21
+ comparison(report, dominates(routeDirect, routeViaKortrijk)).
package/examples/eyelang/output/graph-reachability.pl ADDED
@@ -0,0 +1,3 @@
1
+ reachable(reachability_case, path(a, f)).
2
+ reachable(reachability_case, path(c, g)).
3
+ not_reachable(reachability_case, path(b, e)).
package/examples/eyelang/output/gray-code-counter.pl ADDED
@@ -0,0 +1 @@
1
+ isgcc([[1, 1, 1, 1, 1, 1, 1, 1, 1], [0, 0, 0]], [[0, 0, 1], [0, 1, 1], [0, 1, 0], [1, 1, 0], [1, 1, 1], [1, 0, 1], [1, 0, 0], [0, 0, 0], [0, 0, 1]]).
package/examples/eyelang/output/greatest-lower-bound-uniqueness.pl ADDED
@@ -0,0 +1,2 @@
1
+ sameGreatestLowerBound(a, b, g1, g2).
2
+ sameGreatestLowerBound(a, b, g2, g1).
package/examples/eyelang/output/group-inverse-uniqueness.pl ADDED
@@ -0,0 +1,2 @@
1
+ sameInverse(x, i, j).
2
+ sameInverse(x, j, i).
package/examples/eyelang/output/hamiltonian-cycle.pl ADDED
@@ -0,0 +1,4 @@
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).