eyeling 1.34.4 → 1.34.6

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