eyelang 0.1.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 (553) hide show
  1. package/LICENSE.md +9 -0
  2. package/README.md +61 -0
  3. package/bin/eyelang.js +7 -0
  4. package/docs/guide.md +525 -0
  5. package/docs/language-reference.md +697 -0
  6. package/examples/access-control-policy.pl +52 -0
  7. package/examples/ackermann.pl +46 -0
  8. package/examples/age.pl +28 -0
  9. package/examples/aliases-and-namespaces.pl +22 -0
  10. package/examples/alignment-demo.pl +44 -0
  11. package/examples/allen-interval-calculus.pl +64 -0
  12. package/examples/ancestor.pl +21 -0
  13. package/examples/animal.pl +21 -0
  14. package/examples/annotation.pl +34 -0
  15. package/examples/auroracare.pl +309 -0
  16. package/examples/backward.pl +12 -0
  17. package/examples/basic-monadic.pl +10032 -0
  18. package/examples/bayes-diagnosis.pl +108 -0
  19. package/examples/bayes-therapy.pl +182 -0
  20. package/examples/beam-deflection.pl +50 -0
  21. package/examples/blocks-world-planning.pl +75 -0
  22. package/examples/bmi.pl +232 -0
  23. package/examples/braking-safety-worlds.pl +69 -0
  24. package/examples/buck-converter-design.pl +78 -0
  25. package/examples/cache-performance.pl +54 -0
  26. package/examples/canary-release.pl +49 -0
  27. package/examples/cat-koko.pl +24 -0
  28. package/examples/clinical-trial-screening.pl +92 -0
  29. package/examples/combinatorics-findall-sort.pl +37 -0
  30. package/examples/competitive-enzyme-kinetics.pl +78 -0
  31. package/examples/complex.pl +121 -0
  32. package/examples/composition-of-injective-functions-is-injective.pl +50 -0
  33. package/examples/context-association.pl +53 -0
  34. package/examples/context-schema-audit.pl +46 -0
  35. package/examples/control-system.pl +72 -0
  36. package/examples/cyclic-path.pl +16 -0
  37. package/examples/d3-group.pl +100 -0
  38. package/examples/dairy-energy-balance.pl +65 -0
  39. package/examples/data-negotiation.pl +39 -0
  40. package/examples/deep-taxonomy-10.pl +115 -0
  41. package/examples/deep-taxonomy-100.pl +385 -0
  42. package/examples/deep-taxonomy-1000.pl +3085 -0
  43. package/examples/deep-taxonomy-10000.pl +30094 -0
  44. package/examples/deep-taxonomy-100000.pl +300184 -0
  45. package/examples/delfour.pl +281 -0
  46. package/examples/deontic-logic.pl +52 -0
  47. package/examples/derived-backward-rule.pl +30 -0
  48. package/examples/derived-rule.pl +27 -0
  49. package/examples/diamond-property.pl +38 -0
  50. package/examples/dijkstra-findall-sort.pl +44 -0
  51. package/examples/dijkstra-risk-path.pl +86 -0
  52. package/examples/dijkstra.pl +46 -0
  53. package/examples/dining-philosophers.pl +140 -0
  54. package/examples/dog.pl +25 -0
  55. package/examples/dpv-odrl-purpose-mapping.pl +46 -0
  56. package/examples/drone-corridor-planner.pl +51 -0
  57. package/examples/easter-computus.pl +89 -0
  58. package/examples/electrical-rc-filter.pl +36 -0
  59. package/examples/epidemic-policy.pl +67 -0
  60. package/examples/equivalence-classes-overlap-implies-same-class.pl +27 -0
  61. package/examples/eulerian-path.pl +85 -0
  62. package/examples/ev-range-worlds.pl +82 -0
  63. package/examples/existential-rule.pl +18 -0
  64. package/examples/exoplanet-validation-worlds.pl +88 -0
  65. package/examples/expression-eval.pl +43 -0
  66. package/examples/family-cousins.pl +65 -0
  67. package/examples/fastpow.pl +53 -0
  68. package/examples/fft8-numeric.pl +83 -0
  69. package/examples/fibonacci.pl +53 -0
  70. package/examples/field-nitrogen-balance.pl +70 -0
  71. package/examples/flandor.pl +296 -0
  72. package/examples/floating-point.pl +23 -0
  73. package/examples/four-color-map.pl +127 -0
  74. package/examples/fundamental-theorem-arithmetic.pl +113 -0
  75. package/examples/gd-step-certified.pl +158 -0
  76. package/examples/gdpr-compliance.pl +69 -0
  77. package/examples/good-cobbler.pl +14 -0
  78. package/examples/gps.pl +152 -0
  79. package/examples/graph-reachability.pl +36 -0
  80. package/examples/gray-code-counter.pl +48 -0
  81. package/examples/greatest-lower-bound-uniqueness.pl +28 -0
  82. package/examples/group-inverse-uniqueness.pl +34 -0
  83. package/examples/hamiltonian-path.pl +49 -0
  84. package/examples/hamming-code.pl +105 -0
  85. package/examples/hanoi.pl +20 -0
  86. package/examples/heat-loss.pl +51 -0
  87. package/examples/heron-theorem.pl +36 -0
  88. package/examples/ideal-gas-law.pl +37 -0
  89. package/examples/illegitimate-reasoning.pl +88 -0
  90. package/examples/knowledge-engineering-alignment-flow.pl +40 -0
  91. package/examples/law-of-cosines.pl +31 -0
  92. package/examples/least-squares-regression.pl +81 -0
  93. package/examples/list-collection.pl +33 -0
  94. package/examples/lldm.pl +78 -0
  95. package/examples/manufacturing-quality-control.pl +73 -0
  96. package/examples/microgrid-dispatch.pl +85 -0
  97. package/examples/monkey-bananas.pl +45 -0
  98. package/examples/network-sla.pl +48 -0
  99. package/examples/newton-raphson.pl +49 -0
  100. package/examples/nixon-diamond.pl +37 -0
  101. package/examples/observability-log-correlation.pl +34 -0
  102. package/examples/odrl-dpv-fpv-trust-flow.pl +43 -0
  103. package/examples/odrl-dpv-healthcare-risk-ranked.pl +266 -0
  104. package/examples/odrl-dpv-risk-ranked.pl +320 -0
  105. package/examples/orbital-transfer-design.pl +113 -0
  106. package/examples/output/access-control-policy.pl +2 -0
  107. package/examples/output/ackermann.pl +12 -0
  108. package/examples/output/age.pl +2 -0
  109. package/examples/output/aliases-and-namespaces.pl +5 -0
  110. package/examples/output/alignment-demo.pl +32 -0
  111. package/examples/output/allen-interval-calculus.pl +154 -0
  112. package/examples/output/ancestor.pl +6 -0
  113. package/examples/output/animal.pl +4 -0
  114. package/examples/output/annotation.pl +4 -0
  115. package/examples/output/auroracare.pl +117 -0
  116. package/examples/output/backward.pl +1 -0
  117. package/examples/output/basic-monadic.pl +1518 -0
  118. package/examples/output/bayes-diagnosis.pl +13 -0
  119. package/examples/output/bayes-therapy.pl +23 -0
  120. package/examples/output/beam-deflection.pl +5 -0
  121. package/examples/output/blocks-world-planning.pl +4 -0
  122. package/examples/output/bmi.pl +32 -0
  123. package/examples/output/braking-safety-worlds.pl +18 -0
  124. package/examples/output/buck-converter-design.pl +6 -0
  125. package/examples/output/cache-performance.pl +4 -0
  126. package/examples/output/canary-release.pl +5 -0
  127. package/examples/output/cat-koko.pl +3 -0
  128. package/examples/output/clinical-trial-screening.pl +9 -0
  129. package/examples/output/combinatorics-findall-sort.pl +2 -0
  130. package/examples/output/competitive-enzyme-kinetics.pl +6 -0
  131. package/examples/output/complex.pl +1 -0
  132. package/examples/output/composition-of-injective-functions-is-injective.pl +2 -0
  133. package/examples/output/context-association.pl +3 -0
  134. package/examples/output/context-schema-audit.pl +12 -0
  135. package/examples/output/control-system.pl +6 -0
  136. package/examples/output/cyclic-path.pl +16 -0
  137. package/examples/output/d3-group.pl +2 -0
  138. package/examples/output/dairy-energy-balance.pl +13 -0
  139. package/examples/output/data-negotiation.pl +1 -0
  140. package/examples/output/deep-taxonomy-10.pl +16 -0
  141. package/examples/output/deep-taxonomy-100.pl +16 -0
  142. package/examples/output/deep-taxonomy-1000.pl +16 -0
  143. package/examples/output/deep-taxonomy-10000.pl +16 -0
  144. package/examples/output/deep-taxonomy-100000.pl +16 -0
  145. package/examples/output/delfour.pl +31 -0
  146. package/examples/output/deontic-logic.pl +4 -0
  147. package/examples/output/derived-backward-rule.pl +3 -0
  148. package/examples/output/derived-rule.pl +2 -0
  149. package/examples/output/diamond-property.pl +4 -0
  150. package/examples/output/dijkstra-findall-sort.pl +2 -0
  151. package/examples/output/dijkstra-risk-path.pl +29 -0
  152. package/examples/output/dijkstra.pl +16 -0
  153. package/examples/output/dining-philosophers.pl +350 -0
  154. package/examples/output/dog.pl +1 -0
  155. package/examples/output/dpv-odrl-purpose-mapping.pl +18 -0
  156. package/examples/output/drone-corridor-planner.pl +17 -0
  157. package/examples/output/easter-computus.pl +30 -0
  158. package/examples/output/electrical-rc-filter.pl +3 -0
  159. package/examples/output/epidemic-policy.pl +14 -0
  160. package/examples/output/equivalence-classes-overlap-implies-same-class.pl +18 -0
  161. package/examples/output/eulerian-path.pl +3 -0
  162. package/examples/output/ev-range-worlds.pl +19 -0
  163. package/examples/output/existential-rule.pl +2 -0
  164. package/examples/output/exoplanet-validation-worlds.pl +22 -0
  165. package/examples/output/expression-eval.pl +1 -0
  166. package/examples/output/family-cousins.pl +28 -0
  167. package/examples/output/fastpow.pl +6 -0
  168. package/examples/output/fft8-numeric.pl +4 -0
  169. package/examples/output/fibonacci.pl +6 -0
  170. package/examples/output/field-nitrogen-balance.pl +21 -0
  171. package/examples/output/flandor.pl +43 -0
  172. package/examples/output/floating-point.pl +9 -0
  173. package/examples/output/four-color-map.pl +3 -0
  174. package/examples/output/fundamental-theorem-arithmetic.pl +9 -0
  175. package/examples/output/gd-step-certified.pl +79 -0
  176. package/examples/output/gdpr-compliance.pl +6 -0
  177. package/examples/output/good-cobbler.pl +1 -0
  178. package/examples/output/gps.pl +21 -0
  179. package/examples/output/graph-reachability.pl +3 -0
  180. package/examples/output/gray-code-counter.pl +1 -0
  181. package/examples/output/greatest-lower-bound-uniqueness.pl +2 -0
  182. package/examples/output/group-inverse-uniqueness.pl +2 -0
  183. package/examples/output/hamiltonian-path.pl +121 -0
  184. package/examples/output/hamming-code.pl +6 -0
  185. package/examples/output/hanoi.pl +1 -0
  186. package/examples/output/heat-loss.pl +5 -0
  187. package/examples/output/heron-theorem.pl +4 -0
  188. package/examples/output/ideal-gas-law.pl +3 -0
  189. package/examples/output/illegitimate-reasoning.pl +15 -0
  190. package/examples/output/knowledge-engineering-alignment-flow.pl +17 -0
  191. package/examples/output/law-of-cosines.pl +3 -0
  192. package/examples/output/least-squares-regression.pl +5 -0
  193. package/examples/output/list-collection.pl +3 -0
  194. package/examples/output/lldm.pl +6 -0
  195. package/examples/output/manufacturing-quality-control.pl +6 -0
  196. package/examples/output/microgrid-dispatch.pl +6 -0
  197. package/examples/output/monkey-bananas.pl +5 -0
  198. package/examples/output/network-sla.pl +4 -0
  199. package/examples/output/newton-raphson.pl +3 -0
  200. package/examples/output/nixon-diamond.pl +5 -0
  201. package/examples/output/observability-log-correlation.pl +28 -0
  202. package/examples/output/odrl-dpv-fpv-trust-flow.pl +9 -0
  203. package/examples/output/odrl-dpv-healthcare-risk-ranked.pl +42 -0
  204. package/examples/output/odrl-dpv-risk-ranked.pl +120 -0
  205. package/examples/output/orbital-transfer-design.pl +7 -0
  206. package/examples/output/path-discovery.pl +3 -0
  207. package/examples/output/peano-arithmetic.pl +3 -0
  208. package/examples/output/peasant.pl +10 -0
  209. package/examples/output/pendulum-period.pl +4 -0
  210. package/examples/output/polynomial.pl +14 -0
  211. package/examples/output/proof-contrapositive.pl +3 -0
  212. package/examples/output/quadratic-formula.pl +6 -0
  213. package/examples/output/radioactive-decay.pl +5 -0
  214. package/examples/output/reusable-builtins.pl +5 -0
  215. package/examples/output/riemann-hypothesis.pl +12 -0
  216. package/examples/output/security-incident-correlation.pl +3 -0
  217. package/examples/output/service-impact.pl +11 -0
  218. package/examples/output/sieve.pl +1 -0
  219. package/examples/output/skolem-functions.pl +16 -0
  220. package/examples/output/socket-age.pl +1 -0
  221. package/examples/output/socket-family.pl +3 -0
  222. package/examples/output/socrates.pl +2 -0
  223. package/examples/output/statistics-summary.pl +4 -0
  224. package/examples/output/superdense-coding.pl +6 -0
  225. package/examples/output/term-tools.pl +6 -0
  226. package/examples/output/trust-flow-provenance-threshold.pl +6 -0
  227. package/examples/output/turing.pl +12 -0
  228. package/examples/output/vector-similarity.pl +4 -0
  229. package/examples/output/vulnerability-impact.pl +20 -0
  230. package/examples/output/witch.pl +7 -0
  231. package/examples/output/wolf-goat-cabbage.pl +3 -0
  232. package/examples/output/zebra.pl +3 -0
  233. package/examples/path-discovery.pl +45013 -0
  234. package/examples/peano-arithmetic.pl +31 -0
  235. package/examples/peasant.pl +30 -0
  236. package/examples/pendulum-period.pl +50 -0
  237. package/examples/polynomial.pl +124 -0
  238. package/examples/proof/age.pl +71 -0
  239. package/examples/proof/aliases-and-namespaces.pl +78 -0
  240. package/examples/proof/ancestor.pl +140 -0
  241. package/examples/proof/animal.pl +68 -0
  242. package/examples/proof/annotation.pl +80 -0
  243. package/examples/proof/backward.pl +22 -0
  244. package/examples/proof/cat-koko.pl +86 -0
  245. package/examples/proof/data-negotiation.pl +76 -0
  246. package/examples/proof/derived-rule.pl +43 -0
  247. package/examples/proof/dog.pl +31 -0
  248. package/examples/proof/electrical-rc-filter.pl +105 -0
  249. package/examples/proof/existential-rule.pl +40 -0
  250. package/examples/proof/floating-point.pl +160 -0
  251. package/examples/proof/good-cobbler.pl +16 -0
  252. package/examples/proof/group-inverse-uniqueness.pl +84 -0
  253. package/examples/proof/list-collection.pl +52 -0
  254. package/examples/proof/proof-contrapositive.pl +78 -0
  255. package/examples/proof/socket-age.pl +32 -0
  256. package/examples/proof/socket-family.pl +59 -0
  257. package/examples/proof/socrates.pl +38 -0
  258. package/examples/proof-contrapositive.pl +27 -0
  259. package/examples/quadratic-formula.pl +54 -0
  260. package/examples/radioactive-decay.pl +56 -0
  261. package/examples/reusable-builtins.pl +32 -0
  262. package/examples/riemann-hypothesis.pl +110 -0
  263. package/examples/security-incident-correlation.pl +69 -0
  264. package/examples/service-impact.pl +41 -0
  265. package/examples/sieve.pl +20 -0
  266. package/examples/skolem-functions.pl +52 -0
  267. package/examples/socket-age.pl +39 -0
  268. package/examples/socket-family.pl +28 -0
  269. package/examples/socrates.pl +19 -0
  270. package/examples/statistics-summary.pl +54 -0
  271. package/examples/superdense-coding.pl +84 -0
  272. package/examples/term-tools.pl +23 -0
  273. package/examples/trust-flow-provenance-threshold.pl +40 -0
  274. package/examples/turing.pl +67 -0
  275. package/examples/vector-similarity.pl +56 -0
  276. package/examples/vulnerability-impact.pl +70 -0
  277. package/examples/witch.pl +38 -0
  278. package/examples/wolf-goat-cabbage.pl +56 -0
  279. package/examples/zebra.pl +44 -0
  280. package/index.d.ts +80 -0
  281. package/index.js +4 -0
  282. package/package.json +48 -0
  283. package/src/bin.js +7 -0
  284. package/src/builtins/aggregation.js +81 -0
  285. package/src/builtins/arithmetic.js +208 -0
  286. package/src/builtins/context.js +42 -0
  287. package/src/builtins/control.js +34 -0
  288. package/src/builtins/core.js +78 -0
  289. package/src/builtins/lists.js +283 -0
  290. package/src/builtins/registry.js +48 -0
  291. package/src/builtins/strings.js +234 -0
  292. package/src/builtins/terms.js +66 -0
  293. package/src/cli.js +180 -0
  294. package/src/explain.js +324 -0
  295. package/src/hash.js +294 -0
  296. package/src/index.js +47 -0
  297. package/src/parser.js +428 -0
  298. package/src/program.js +237 -0
  299. package/src/solver.js +237 -0
  300. package/src/term.js +328 -0
  301. package/test/conformance/README.md +43 -0
  302. package/test/conformance/cases/001_fact_output.pl +4 -0
  303. package/test/conformance/cases/002_rule_recursion.pl +7 -0
  304. package/test/conformance/cases/002_rule_recursion.query +1 -0
  305. package/test/conformance/cases/003_terms_and_readback.pl +16 -0
  306. package/test/conformance/cases/003_terms_and_readback.query +1 -0
  307. package/test/conformance/cases/004_conjunction_and_parentheses.pl +5 -0
  308. package/test/conformance/cases/004_conjunction_and_parentheses.query +1 -0
  309. package/test/conformance/cases/005_list_deconstruction.pl +6 -0
  310. package/test/conformance/cases/005_list_deconstruction.query +1 -0
  311. package/test/conformance/cases/006_comma_formula_data.pl +4 -0
  312. package/test/conformance/cases/006_comma_formula_data.query +1 -0
  313. package/test/conformance/cases/007_anonymous_variables.pl +5 -0
  314. package/test/conformance/cases/007_anonymous_variables.query +1 -0
  315. package/test/conformance/cases/008_graphic_atoms.pl +6 -0
  316. package/test/conformance/cases/008_graphic_atoms.query +1 -0
  317. package/test/conformance/cases/009_comments_and_whitespace.pl +5 -0
  318. package/test/conformance/cases/009_comments_and_whitespace.query +1 -0
  319. package/test/conformance/cases/010_variable_scope_and_reuse.pl +8 -0
  320. package/test/conformance/cases/010_variable_scope_and_reuse.query +1 -0
  321. package/test/conformance/cases/011_predicate_arity.pl +6 -0
  322. package/test/conformance/cases/011_predicate_arity.query +1 -0
  323. package/test/conformance/cases/012_nested_compound_unification.pl +5 -0
  324. package/test/conformance/cases/012_nested_compound_unification.query +1 -0
  325. package/test/conformance/cases/013_multiple_clauses_order.pl +6 -0
  326. package/test/conformance/cases/013_multiple_clauses_order.query +1 -0
  327. package/test/conformance/cases/014_failure_filters_answers.pl +7 -0
  328. package/test/conformance/cases/014_failure_filters_answers.query +1 -0
  329. package/test/conformance/cases/015_improper_list_unification.pl +6 -0
  330. package/test/conformance/cases/015_improper_list_unification.query +1 -0
  331. package/test/conformance/cases/016_zero_arity_compound.pl +4 -0
  332. package/test/conformance/cases/016_zero_arity_compound.query +1 -0
  333. package/test/conformance/cases/017_three_step_recursion.pl +8 -0
  334. package/test/conformance/cases/017_three_step_recursion.query +1 -0
  335. package/test/conformance/cases/018_quoted_atom_readback.pl +6 -0
  336. package/test/conformance/cases/018_quoted_atom_readback.query +1 -0
  337. package/test/conformance/cases/019_parenthesized_three_conjuncts.pl +7 -0
  338. package/test/conformance/cases/019_parenthesized_three_conjuncts.query +1 -0
  339. package/test/conformance/cases/020_nested_list_terms.pl +5 -0
  340. package/test/conformance/cases/020_nested_list_terms.query +1 -0
  341. package/test/conformance/cases/021_repeated_variable_head.pl +7 -0
  342. package/test/conformance/cases/022_rule_head_structure.pl +5 -0
  343. package/test/conformance/cases/023_quoted_escapes_readback.pl +5 -0
  344. package/test/conformance/cases/024_numeric_literal_readback.pl +6 -0
  345. package/test/conformance/cases/025_body_parentheses_with_formula_data.pl +5 -0
  346. package/test/conformance/cases/026_underscore_named_variable_reuse.pl +5 -0
  347. package/test/conformance/cases/027_default_derived_output.pl +5 -0
  348. package/test/conformance/cases/028_materialize_focus.pl +5 -0
  349. package/test/conformance/cases/029_arithmetic_and_comparison.pl +11 -0
  350. package/test/conformance/cases/029_arithmetic_and_comparison.query +1 -0
  351. package/test/conformance/cases/030_strings_and_atoms.pl +4 -0
  352. package/test/conformance/cases/030_strings_and_atoms.query +1 -0
  353. package/test/conformance/cases/031_lists_aggregation_ordering.pl +10 -0
  354. package/test/conformance/cases/031_lists_aggregation_ordering.query +1 -0
  355. package/test/conformance/cases/032_holds_parts.pl +4 -0
  356. package/test/conformance/cases/033_negation_once_generators.pl +7 -0
  357. package/test/conformance/cases/033_negation_once_generators.query +1 -0
  358. package/test/conformance/cases/034_equality_and_inequality.pl +6 -0
  359. package/test/conformance/cases/034_equality_and_inequality.query +1 -0
  360. package/test/conformance/cases/035_list_relations.pl +5 -0
  361. package/test/conformance/cases/035_list_relations.query +1 -0
  362. package/test/conformance/cases/036_append_splits.pl +3 -0
  363. package/test/conformance/cases/036_append_splits.query +1 -0
  364. package/test/conformance/cases/037_matching_and_comparison.pl +7 -0
  365. package/test/conformance/cases/037_matching_and_comparison.query +1 -0
  366. package/test/conformance/cases/038_memoize_declaration.pl +8 -0
  367. package/test/conformance/cases/038_memoize_declaration.query +1 -0
  368. package/test/conformance/cases/039_numeric_functions.pl +9 -0
  369. package/test/conformance/cases/039_numeric_functions.query +1 -0
  370. package/test/conformance/cases/040_between_enumeration.pl +3 -0
  371. package/test/conformance/cases/040_between_enumeration.query +1 -0
  372. package/test/conformance/cases/041_smallest_divisor.pl +3 -0
  373. package/test/conformance/cases/041_smallest_divisor.query +1 -0
  374. package/test/conformance/cases/042_negation_filter.pl +7 -0
  375. package/test/conformance/cases/042_negation_filter.query +1 -0
  376. package/test/conformance/cases/043_once_user_predicate.pl +5 -0
  377. package/test/conformance/cases/043_once_user_predicate.query +1 -0
  378. package/test/conformance/cases/044_findall_user_goal.pl +6 -0
  379. package/test/conformance/cases/044_findall_user_goal.query +1 -0
  380. package/test/conformance/cases/045_sort_deduplicates_atoms.pl +3 -0
  381. package/test/conformance/cases/045_sort_deduplicates_atoms.query +1 -0
  382. package/test/conformance/cases/046_append_bound_prefix_suffix.pl +4 -0
  383. package/test/conformance/cases/046_append_bound_prefix_suffix.query +1 -0
  384. package/test/conformance/cases/047_nth0_index_generation.pl +3 -0
  385. package/test/conformance/cases/047_nth0_index_generation.query +1 -0
  386. package/test/conformance/cases/048_set_nth0_edges.pl +4 -0
  387. package/test/conformance/cases/048_set_nth0_edges.query +1 -0
  388. package/test/conformance/cases/049_select_duplicate_occurrences.pl +3 -0
  389. package/test/conformance/cases/049_select_duplicate_occurrences.query +1 -0
  390. package/test/conformance/cases/050_not_member_filter.pl +6 -0
  391. package/test/conformance/cases/050_not_member_filter.query +1 -0
  392. package/test/conformance/cases/051_nested_holds_parts.pl +4 -0
  393. package/test/conformance/cases/052_holds_member.pl +3 -0
  394. package/test/conformance/cases/053_materialize_excludes_source_fact.pl +6 -0
  395. package/test/conformance/cases/054_numeric_and_lexical_comparison.pl +5 -0
  396. package/test/conformance/cases/054_numeric_and_lexical_comparison.query +1 -0
  397. package/test/conformance/cases/055_string_matching_filters.pl +6 -0
  398. package/test/conformance/cases/055_string_matching_filters.query +1 -0
  399. package/test/conformance/cases/056_string_and_atom_concat.pl +3 -0
  400. package/test/conformance/cases/056_string_and_atom_concat.query +1 -0
  401. package/test/conformance/cases/057_countall_empty_and_nonempty.pl +4 -0
  402. package/test/conformance/cases/057_countall_empty_and_nonempty.query +1 -0
  403. package/test/conformance/cases/058_sumall_numeric_template.pl +5 -0
  404. package/test/conformance/cases/058_sumall_numeric_template.query +1 -0
  405. package/test/conformance/cases/059_aggregate_min_template.pl +5 -0
  406. package/test/conformance/cases/059_aggregate_min_template.query +1 -0
  407. package/test/conformance/cases/060_aggregate_max_compound_key.pl +5 -0
  408. package/test/conformance/cases/060_aggregate_max_compound_key.query +1 -0
  409. package/test/conformance/cases/061_date_difference.pl +4 -0
  410. package/test/conformance/cases/062_reusable_numeric_builtins.pl +10 -0
  411. package/test/conformance/cases/063_reusable_list_builtins.pl +11 -0
  412. package/test/conformance/cases/064_reusable_string_builtins.pl +12 -0
  413. package/test/conformance/cases/065_reusable_term_control_builtins.pl +11 -0
  414. package/test/conformance/cases/066_numeric_edges.pl +14 -0
  415. package/test/conformance/cases/067_list_edges.pl +10 -0
  416. package/test/conformance/cases/068_list_generation_order.pl +7 -0
  417. package/test/conformance/cases/069_list_summaries_and_sets.pl +9 -0
  418. package/test/conformance/cases/070_matches_named_captures.pl +13 -0
  419. package/test/conformance/cases/071_string_edges.pl +10 -0
  420. package/test/conformance/cases/072_string_conversions.pl +10 -0
  421. package/test/conformance/cases/073_term_introspection_edges.pl +10 -0
  422. package/test/conformance/cases/074_forall_edges.pl +10 -0
  423. package/test/conformance/cases/075_aggregation_edges.pl +12 -0
  424. package/test/conformance/cases/076_composed_reusable_builtins.pl +8 -0
  425. package/test/conformance/cases/077_recursive_path_with_lists.pl +10 -0
  426. package/test/conformance/cases/078_mutual_recursion_with_arithmetic.pl +7 -0
  427. package/test/conformance/cases/079_big_integer_arithmetic.pl +8 -0
  428. package/test/conformance/cases/080_rounding_modes.pl +10 -0
  429. package/test/conformance/cases/081_zero_safe_numeric_functions.pl +9 -0
  430. package/test/conformance/cases/082_comparison_semantics.pl +10 -0
  431. package/test/conformance/cases/083_between_modes_and_empty_ranges.pl +8 -0
  432. package/test/conformance/cases/084_append_and_select_composition.pl +7 -0
  433. package/test/conformance/cases/085_nth_and_update_edges.pl +8 -0
  434. package/test/conformance/cases/086_slicing_pipeline.pl +10 -0
  435. package/test/conformance/cases/087_sort_reverse_length.pl +8 -0
  436. package/test/conformance/cases/088_list_summaries_failures.pl +8 -0
  437. package/test/conformance/cases/089_string_split_join_pipeline.pl +7 -0
  438. package/test/conformance/cases/090_string_substring_replace_edges.pl +9 -0
  439. package/test/conformance/cases/091_string_case_and_trim.pl +7 -0
  440. package/test/conformance/cases/092_scalar_string_conversions.pl +9 -0
  441. package/test/conformance/cases/093_regex_named_captures_context.pl +8 -0
  442. package/test/conformance/cases/094_context_holds_enumeration.pl +7 -0
  443. package/test/conformance/cases/095_term_introspection_roundtrip.pl +8 -0
  444. package/test/conformance/cases/096_functor_scalar_edges.pl +8 -0
  445. package/test/conformance/cases/097_control_negation_once_forall.pl +13 -0
  446. package/test/conformance/cases/098_aggregation_nested_templates.pl +11 -0
  447. package/test/conformance/cases/099_materialize_multiple_arities.pl +8 -0
  448. package/test/conformance/cases/100_reusable_builtin_workflow.pl +10 -0
  449. package/test/conformance/expected/001_fact_output.pl +1 -0
  450. package/test/conformance/expected/002_rule_recursion.pl +2 -0
  451. package/test/conformance/expected/003_terms_and_readback.pl +13 -0
  452. package/test/conformance/expected/004_conjunction_and_parentheses.pl +1 -0
  453. package/test/conformance/expected/005_list_deconstruction.pl +2 -0
  454. package/test/conformance/expected/006_comma_formula_data.pl +1 -0
  455. package/test/conformance/expected/007_anonymous_variables.pl +1 -0
  456. package/test/conformance/expected/008_graphic_atoms.pl +3 -0
  457. package/test/conformance/expected/009_comments_and_whitespace.pl +2 -0
  458. package/test/conformance/expected/010_variable_scope_and_reuse.pl +2 -0
  459. package/test/conformance/expected/011_predicate_arity.pl +2 -0
  460. package/test/conformance/expected/012_nested_compound_unification.pl +2 -0
  461. package/test/conformance/expected/013_multiple_clauses_order.pl +2 -0
  462. package/test/conformance/expected/014_failure_filters_answers.pl +1 -0
  463. package/test/conformance/expected/015_improper_list_unification.pl +3 -0
  464. package/test/conformance/expected/016_zero_arity_compound.pl +1 -0
  465. package/test/conformance/expected/017_three_step_recursion.pl +3 -0
  466. package/test/conformance/expected/018_quoted_atom_readback.pl +3 -0
  467. package/test/conformance/expected/019_parenthesized_three_conjuncts.pl +1 -0
  468. package/test/conformance/expected/020_nested_list_terms.pl +2 -0
  469. package/test/conformance/expected/021_repeated_variable_head.pl +2 -0
  470. package/test/conformance/expected/022_rule_head_structure.pl +2 -0
  471. package/test/conformance/expected/023_quoted_escapes_readback.pl +2 -0
  472. package/test/conformance/expected/024_numeric_literal_readback.pl +3 -0
  473. package/test/conformance/expected/025_body_parentheses_with_formula_data.pl +1 -0
  474. package/test/conformance/expected/026_underscore_named_variable_reuse.pl +1 -0
  475. package/test/conformance/expected/027_default_derived_output.pl +3 -0
  476. package/test/conformance/expected/028_materialize_focus.pl +1 -0
  477. package/test/conformance/expected/029_arithmetic_and_comparison.pl +9 -0
  478. package/test/conformance/expected/030_strings_and_atoms.pl +2 -0
  479. package/test/conformance/expected/031_lists_aggregation_ordering.pl +9 -0
  480. package/test/conformance/expected/032_holds_parts.pl +3 -0
  481. package/test/conformance/expected/033_negation_once_generators.pl +2 -0
  482. package/test/conformance/expected/034_equality_and_inequality.pl +4 -0
  483. package/test/conformance/expected/035_list_relations.pl +4 -0
  484. package/test/conformance/expected/036_append_splits.pl +3 -0
  485. package/test/conformance/expected/037_matching_and_comparison.pl +5 -0
  486. package/test/conformance/expected/038_memoize_declaration.pl +2 -0
  487. package/test/conformance/expected/039_numeric_functions.pl +7 -0
  488. package/test/conformance/expected/040_between_enumeration.pl +3 -0
  489. package/test/conformance/expected/041_smallest_divisor.pl +1 -0
  490. package/test/conformance/expected/042_negation_filter.pl +2 -0
  491. package/test/conformance/expected/043_once_user_predicate.pl +1 -0
  492. package/test/conformance/expected/044_findall_user_goal.pl +1 -0
  493. package/test/conformance/expected/045_sort_deduplicates_atoms.pl +1 -0
  494. package/test/conformance/expected/046_append_bound_prefix_suffix.pl +2 -0
  495. package/test/conformance/expected/047_nth0_index_generation.pl +1 -0
  496. package/test/conformance/expected/048_set_nth0_edges.pl +2 -0
  497. package/test/conformance/expected/049_select_duplicate_occurrences.pl +2 -0
  498. package/test/conformance/expected/050_not_member_filter.pl +1 -0
  499. package/test/conformance/expected/051_nested_holds_parts.pl +3 -0
  500. package/test/conformance/expected/052_holds_member.pl +2 -0
  501. package/test/conformance/expected/053_materialize_excludes_source_fact.pl +1 -0
  502. package/test/conformance/expected/054_numeric_and_lexical_comparison.pl +3 -0
  503. package/test/conformance/expected/055_string_matching_filters.pl +2 -0
  504. package/test/conformance/expected/056_string_and_atom_concat.pl +1 -0
  505. package/test/conformance/expected/057_countall_empty_and_nonempty.pl +1 -0
  506. package/test/conformance/expected/058_sumall_numeric_template.pl +1 -0
  507. package/test/conformance/expected/059_aggregate_min_template.pl +1 -0
  508. package/test/conformance/expected/060_aggregate_max_compound_key.pl +1 -0
  509. package/test/conformance/expected/061_date_difference.pl +2 -0
  510. package/test/conformance/expected/062_reusable_numeric_builtins.pl +8 -0
  511. package/test/conformance/expected/063_reusable_list_builtins.pl +9 -0
  512. package/test/conformance/expected/064_reusable_string_builtins.pl +10 -0
  513. package/test/conformance/expected/065_reusable_term_control_builtins.pl +6 -0
  514. package/test/conformance/expected/066_numeric_edges.pl +12 -0
  515. package/test/conformance/expected/067_list_edges.pl +8 -0
  516. package/test/conformance/expected/068_list_generation_order.pl +10 -0
  517. package/test/conformance/expected/069_list_summaries_and_sets.pl +7 -0
  518. package/test/conformance/expected/070_matches_named_captures.pl +1 -0
  519. package/test/conformance/expected/071_string_edges.pl +8 -0
  520. package/test/conformance/expected/072_string_conversions.pl +8 -0
  521. package/test/conformance/expected/073_term_introspection_edges.pl +8 -0
  522. package/test/conformance/expected/074_forall_edges.pl +5 -0
  523. package/test/conformance/expected/075_aggregation_edges.pl +7 -0
  524. package/test/conformance/expected/076_composed_reusable_builtins.pl +5 -0
  525. package/test/conformance/expected/077_recursive_path_with_lists.pl +3 -0
  526. package/test/conformance/expected/078_mutual_recursion_with_arithmetic.pl +7 -0
  527. package/test/conformance/expected/079_big_integer_arithmetic.pl +6 -0
  528. package/test/conformance/expected/080_rounding_modes.pl +8 -0
  529. package/test/conformance/expected/081_zero_safe_numeric_functions.pl +7 -0
  530. package/test/conformance/expected/082_comparison_semantics.pl +8 -0
  531. package/test/conformance/expected/083_between_modes_and_empty_ranges.pl +8 -0
  532. package/test/conformance/expected/084_append_and_select_composition.pl +10 -0
  533. package/test/conformance/expected/085_nth_and_update_edges.pl +8 -0
  534. package/test/conformance/expected/086_slicing_pipeline.pl +7 -0
  535. package/test/conformance/expected/087_sort_reverse_length.pl +6 -0
  536. package/test/conformance/expected/088_list_summaries_failures.pl +6 -0
  537. package/test/conformance/expected/089_string_split_join_pipeline.pl +4 -0
  538. package/test/conformance/expected/090_string_substring_replace_edges.pl +7 -0
  539. package/test/conformance/expected/091_string_case_and_trim.pl +5 -0
  540. package/test/conformance/expected/092_scalar_string_conversions.pl +7 -0
  541. package/test/conformance/expected/093_regex_named_captures_context.pl +5 -0
  542. package/test/conformance/expected/094_context_holds_enumeration.pl +8 -0
  543. package/test/conformance/expected/095_term_introspection_roundtrip.pl +6 -0
  544. package/test/conformance/expected/096_functor_scalar_edges.pl +6 -0
  545. package/test/conformance/expected/097_control_negation_once_forall.pl +5 -0
  546. package/test/conformance/expected/098_aggregation_nested_templates.pl +5 -0
  547. package/test/conformance/expected/099_materialize_multiple_arities.pl +4 -0
  548. package/test/conformance/expected/100_reusable_builtin_workflow.pl +6 -0
  549. package/test/run-all.mjs +20 -0
  550. package/test/run-conformance.mjs +78 -0
  551. package/test/run-examples.mjs +125 -0
  552. package/test/run-regression.mjs +612 -0
  553. package/test/test-style.mjs +94 -0

There are too many changes on this page to be displayed.

The amount of changes on this page would crash your brower.

You can still verify the content by downloading the package file manually.