eyeling 1.34.6 → 2.34.7

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 (438) hide show
  1. package/package.json +1 -1
  2. package/test/eyelang/conformance/README.md +0 -43
  3. package/test/eyelang/conformance/cases/001_fact_output.pl +0 -4
  4. package/test/eyelang/conformance/cases/002_rule_recursion.pl +0 -7
  5. package/test/eyelang/conformance/cases/002_rule_recursion.query +0 -1
  6. package/test/eyelang/conformance/cases/003_terms_and_readback.pl +0 -16
  7. package/test/eyelang/conformance/cases/003_terms_and_readback.query +0 -1
  8. package/test/eyelang/conformance/cases/004_conjunction_and_parentheses.pl +0 -5
  9. package/test/eyelang/conformance/cases/004_conjunction_and_parentheses.query +0 -1
  10. package/test/eyelang/conformance/cases/005_list_deconstruction.pl +0 -6
  11. package/test/eyelang/conformance/cases/005_list_deconstruction.query +0 -1
  12. package/test/eyelang/conformance/cases/006_comma_formula_data.pl +0 -4
  13. package/test/eyelang/conformance/cases/006_comma_formula_data.query +0 -1
  14. package/test/eyelang/conformance/cases/007_anonymous_variables.pl +0 -5
  15. package/test/eyelang/conformance/cases/007_anonymous_variables.query +0 -1
  16. package/test/eyelang/conformance/cases/008_graphic_atoms.pl +0 -6
  17. package/test/eyelang/conformance/cases/008_graphic_atoms.query +0 -1
  18. package/test/eyelang/conformance/cases/009_comments_and_whitespace.pl +0 -5
  19. package/test/eyelang/conformance/cases/009_comments_and_whitespace.query +0 -1
  20. package/test/eyelang/conformance/cases/010_variable_scope_and_reuse.pl +0 -8
  21. package/test/eyelang/conformance/cases/010_variable_scope_and_reuse.query +0 -1
  22. package/test/eyelang/conformance/cases/011_predicate_arity.pl +0 -6
  23. package/test/eyelang/conformance/cases/011_predicate_arity.query +0 -1
  24. package/test/eyelang/conformance/cases/012_nested_compound_unification.pl +0 -5
  25. package/test/eyelang/conformance/cases/012_nested_compound_unification.query +0 -1
  26. package/test/eyelang/conformance/cases/013_multiple_clauses_order.pl +0 -6
  27. package/test/eyelang/conformance/cases/013_multiple_clauses_order.query +0 -1
  28. package/test/eyelang/conformance/cases/014_failure_filters_answers.pl +0 -7
  29. package/test/eyelang/conformance/cases/014_failure_filters_answers.query +0 -1
  30. package/test/eyelang/conformance/cases/015_improper_list_unification.pl +0 -6
  31. package/test/eyelang/conformance/cases/015_improper_list_unification.query +0 -1
  32. package/test/eyelang/conformance/cases/016_zero_arity_compound.pl +0 -4
  33. package/test/eyelang/conformance/cases/016_zero_arity_compound.query +0 -1
  34. package/test/eyelang/conformance/cases/017_three_step_recursion.pl +0 -8
  35. package/test/eyelang/conformance/cases/017_three_step_recursion.query +0 -1
  36. package/test/eyelang/conformance/cases/018_quoted_atom_readback.pl +0 -6
  37. package/test/eyelang/conformance/cases/018_quoted_atom_readback.query +0 -1
  38. package/test/eyelang/conformance/cases/019_parenthesized_three_conjuncts.pl +0 -7
  39. package/test/eyelang/conformance/cases/019_parenthesized_three_conjuncts.query +0 -1
  40. package/test/eyelang/conformance/cases/020_nested_list_terms.pl +0 -5
  41. package/test/eyelang/conformance/cases/020_nested_list_terms.query +0 -1
  42. package/test/eyelang/conformance/cases/021_repeated_variable_head.pl +0 -7
  43. package/test/eyelang/conformance/cases/022_rule_head_structure.pl +0 -5
  44. package/test/eyelang/conformance/cases/023_quoted_escapes_readback.pl +0 -5
  45. package/test/eyelang/conformance/cases/024_numeric_literal_readback.pl +0 -6
  46. package/test/eyelang/conformance/cases/025_body_parentheses_with_formula_data.pl +0 -5
  47. package/test/eyelang/conformance/cases/026_underscore_named_variable_reuse.pl +0 -5
  48. package/test/eyelang/conformance/cases/027_default_derived_output.pl +0 -5
  49. package/test/eyelang/conformance/cases/028_materialize_focus.pl +0 -5
  50. package/test/eyelang/conformance/cases/029_arithmetic_and_comparison.pl +0 -11
  51. package/test/eyelang/conformance/cases/029_arithmetic_and_comparison.query +0 -1
  52. package/test/eyelang/conformance/cases/030_strings_and_atoms.pl +0 -4
  53. package/test/eyelang/conformance/cases/030_strings_and_atoms.query +0 -1
  54. package/test/eyelang/conformance/cases/031_lists_aggregation_ordering.pl +0 -10
  55. package/test/eyelang/conformance/cases/031_lists_aggregation_ordering.query +0 -1
  56. package/test/eyelang/conformance/cases/032_holds_parts.pl +0 -4
  57. package/test/eyelang/conformance/cases/033_negation_once_generators.pl +0 -7
  58. package/test/eyelang/conformance/cases/033_negation_once_generators.query +0 -1
  59. package/test/eyelang/conformance/cases/034_equality_and_inequality.pl +0 -6
  60. package/test/eyelang/conformance/cases/034_equality_and_inequality.query +0 -1
  61. package/test/eyelang/conformance/cases/035_list_relations.pl +0 -5
  62. package/test/eyelang/conformance/cases/035_list_relations.query +0 -1
  63. package/test/eyelang/conformance/cases/036_append_splits.pl +0 -3
  64. package/test/eyelang/conformance/cases/036_append_splits.query +0 -1
  65. package/test/eyelang/conformance/cases/037_matching_and_comparison.pl +0 -7
  66. package/test/eyelang/conformance/cases/037_matching_and_comparison.query +0 -1
  67. package/test/eyelang/conformance/cases/038_memoize_declaration.pl +0 -8
  68. package/test/eyelang/conformance/cases/038_memoize_declaration.query +0 -1
  69. package/test/eyelang/conformance/cases/039_numeric_functions.pl +0 -9
  70. package/test/eyelang/conformance/cases/039_numeric_functions.query +0 -1
  71. package/test/eyelang/conformance/cases/040_between_enumeration.pl +0 -3
  72. package/test/eyelang/conformance/cases/040_between_enumeration.query +0 -1
  73. package/test/eyelang/conformance/cases/041_smallest_divisor.pl +0 -3
  74. package/test/eyelang/conformance/cases/041_smallest_divisor.query +0 -1
  75. package/test/eyelang/conformance/cases/042_negation_filter.pl +0 -7
  76. package/test/eyelang/conformance/cases/042_negation_filter.query +0 -1
  77. package/test/eyelang/conformance/cases/043_once_user_predicate.pl +0 -5
  78. package/test/eyelang/conformance/cases/043_once_user_predicate.query +0 -1
  79. package/test/eyelang/conformance/cases/044_findall_user_goal.pl +0 -6
  80. package/test/eyelang/conformance/cases/044_findall_user_goal.query +0 -1
  81. package/test/eyelang/conformance/cases/045_sort_deduplicates_atoms.pl +0 -3
  82. package/test/eyelang/conformance/cases/045_sort_deduplicates_atoms.query +0 -1
  83. package/test/eyelang/conformance/cases/046_append_bound_prefix_suffix.pl +0 -4
  84. package/test/eyelang/conformance/cases/046_append_bound_prefix_suffix.query +0 -1
  85. package/test/eyelang/conformance/cases/047_nth0_index_generation.pl +0 -3
  86. package/test/eyelang/conformance/cases/047_nth0_index_generation.query +0 -1
  87. package/test/eyelang/conformance/cases/048_set_nth0_edges.pl +0 -4
  88. package/test/eyelang/conformance/cases/048_set_nth0_edges.query +0 -1
  89. package/test/eyelang/conformance/cases/049_select_duplicate_occurrences.pl +0 -3
  90. package/test/eyelang/conformance/cases/049_select_duplicate_occurrences.query +0 -1
  91. package/test/eyelang/conformance/cases/050_not_member_filter.pl +0 -6
  92. package/test/eyelang/conformance/cases/050_not_member_filter.query +0 -1
  93. package/test/eyelang/conformance/cases/051_nested_holds_parts.pl +0 -4
  94. package/test/eyelang/conformance/cases/052_holds_member.pl +0 -3
  95. package/test/eyelang/conformance/cases/053_materialize_excludes_source_fact.pl +0 -6
  96. package/test/eyelang/conformance/cases/054_numeric_and_lexical_comparison.pl +0 -5
  97. package/test/eyelang/conformance/cases/054_numeric_and_lexical_comparison.query +0 -1
  98. package/test/eyelang/conformance/cases/055_string_matching_filters.pl +0 -6
  99. package/test/eyelang/conformance/cases/055_string_matching_filters.query +0 -1
  100. package/test/eyelang/conformance/cases/056_string_and_atom_concat.pl +0 -3
  101. package/test/eyelang/conformance/cases/056_string_and_atom_concat.query +0 -1
  102. package/test/eyelang/conformance/cases/057_countall_empty_and_nonempty.pl +0 -4
  103. package/test/eyelang/conformance/cases/057_countall_empty_and_nonempty.query +0 -1
  104. package/test/eyelang/conformance/cases/058_sumall_numeric_template.pl +0 -5
  105. package/test/eyelang/conformance/cases/058_sumall_numeric_template.query +0 -1
  106. package/test/eyelang/conformance/cases/059_aggregate_min_template.pl +0 -5
  107. package/test/eyelang/conformance/cases/059_aggregate_min_template.query +0 -1
  108. package/test/eyelang/conformance/cases/060_aggregate_max_compound_key.pl +0 -5
  109. package/test/eyelang/conformance/cases/060_aggregate_max_compound_key.query +0 -1
  110. package/test/eyelang/conformance/cases/061_date_difference.pl +0 -4
  111. package/test/eyelang/conformance/cases/062_reusable_numeric_builtins.pl +0 -10
  112. package/test/eyelang/conformance/cases/063_reusable_list_builtins.pl +0 -11
  113. package/test/eyelang/conformance/cases/064_reusable_string_builtins.pl +0 -12
  114. package/test/eyelang/conformance/cases/065_reusable_term_control_builtins.pl +0 -11
  115. package/test/eyelang/conformance/cases/066_numeric_edges.pl +0 -14
  116. package/test/eyelang/conformance/cases/067_list_edges.pl +0 -10
  117. package/test/eyelang/conformance/cases/068_list_generation_order.pl +0 -7
  118. package/test/eyelang/conformance/cases/069_list_summaries_and_sets.pl +0 -9
  119. package/test/eyelang/conformance/cases/070_matches_named_captures.pl +0 -13
  120. package/test/eyelang/conformance/cases/071_string_edges.pl +0 -10
  121. package/test/eyelang/conformance/cases/072_string_conversions.pl +0 -10
  122. package/test/eyelang/conformance/cases/073_term_introspection_edges.pl +0 -10
  123. package/test/eyelang/conformance/cases/074_forall_edges.pl +0 -10
  124. package/test/eyelang/conformance/cases/075_aggregation_edges.pl +0 -12
  125. package/test/eyelang/conformance/cases/076_composed_reusable_builtins.pl +0 -8
  126. package/test/eyelang/conformance/cases/077_recursive_path_with_lists.pl +0 -10
  127. package/test/eyelang/conformance/cases/078_mutual_recursion_with_arithmetic.pl +0 -7
  128. package/test/eyelang/conformance/cases/079_big_integer_arithmetic.pl +0 -8
  129. package/test/eyelang/conformance/cases/080_rounding_modes.pl +0 -10
  130. package/test/eyelang/conformance/cases/081_zero_safe_numeric_functions.pl +0 -9
  131. package/test/eyelang/conformance/cases/082_comparison_semantics.pl +0 -10
  132. package/test/eyelang/conformance/cases/083_between_modes_and_empty_ranges.pl +0 -8
  133. package/test/eyelang/conformance/cases/084_append_and_select_composition.pl +0 -7
  134. package/test/eyelang/conformance/cases/085_nth_and_update_edges.pl +0 -8
  135. package/test/eyelang/conformance/cases/086_slicing_pipeline.pl +0 -10
  136. package/test/eyelang/conformance/cases/087_sort_reverse_length.pl +0 -8
  137. package/test/eyelang/conformance/cases/088_list_summaries_failures.pl +0 -8
  138. package/test/eyelang/conformance/cases/089_string_split_join_pipeline.pl +0 -7
  139. package/test/eyelang/conformance/cases/090_string_substring_replace_edges.pl +0 -9
  140. package/test/eyelang/conformance/cases/091_string_case_and_trim.pl +0 -7
  141. package/test/eyelang/conformance/cases/092_scalar_string_conversions.pl +0 -9
  142. package/test/eyelang/conformance/cases/093_regex_named_captures_context.pl +0 -8
  143. package/test/eyelang/conformance/cases/094_context_holds_enumeration.pl +0 -7
  144. package/test/eyelang/conformance/cases/095_term_introspection_roundtrip.pl +0 -8
  145. package/test/eyelang/conformance/cases/096_functor_scalar_edges.pl +0 -8
  146. package/test/eyelang/conformance/cases/097_control_negation_once_forall.pl +0 -13
  147. package/test/eyelang/conformance/cases/098_aggregation_nested_templates.pl +0 -11
  148. package/test/eyelang/conformance/cases/099_materialize_multiple_arities.pl +0 -8
  149. package/test/eyelang/conformance/cases/100_reusable_builtin_workflow.pl +0 -10
  150. package/test/eyelang/conformance/cases/core/001_fact_output.pl +0 -4
  151. package/test/eyelang/conformance/cases/core/001_fact_query.query +0 -1
  152. package/test/eyelang/conformance/cases/core/002_rule_recursion.pl +0 -7
  153. package/test/eyelang/conformance/cases/core/002_rule_recursion.query +0 -1
  154. package/test/eyelang/conformance/cases/core/003_terms_and_readback.pl +0 -16
  155. package/test/eyelang/conformance/cases/core/003_terms_and_readback.query +0 -1
  156. package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.pl +0 -5
  157. package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.query +0 -1
  158. package/test/eyelang/conformance/cases/core/005_list_deconstruction.pl +0 -6
  159. package/test/eyelang/conformance/cases/core/005_list_deconstruction.query +0 -1
  160. package/test/eyelang/conformance/cases/core/006_comma_formula_data.pl +0 -4
  161. package/test/eyelang/conformance/cases/core/006_comma_formula_data.query +0 -1
  162. package/test/eyelang/conformance/cases/core/007_anonymous_variables.pl +0 -5
  163. package/test/eyelang/conformance/cases/core/007_anonymous_variables.query +0 -1
  164. package/test/eyelang/conformance/cases/core/008_graphic_atoms.pl +0 -6
  165. package/test/eyelang/conformance/cases/core/008_graphic_atoms.query +0 -1
  166. package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.pl +0 -5
  167. package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.query +0 -1
  168. package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.pl +0 -8
  169. package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.query +0 -1
  170. package/test/eyelang/conformance/cases/core/011_predicate_arity.pl +0 -6
  171. package/test/eyelang/conformance/cases/core/011_predicate_arity.query +0 -1
  172. package/test/eyelang/conformance/cases/core/012_nested_compound_unification.pl +0 -5
  173. package/test/eyelang/conformance/cases/core/012_nested_compound_unification.query +0 -1
  174. package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.pl +0 -6
  175. package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.query +0 -1
  176. package/test/eyelang/conformance/cases/core/014_failure_filters_answers.pl +0 -7
  177. package/test/eyelang/conformance/cases/core/014_failure_filters_answers.query +0 -1
  178. package/test/eyelang/conformance/cases/core/015_improper_list_unification.pl +0 -6
  179. package/test/eyelang/conformance/cases/core/015_improper_list_unification.query +0 -1
  180. package/test/eyelang/conformance/cases/core/016_zero_arity_compound.pl +0 -4
  181. package/test/eyelang/conformance/cases/core/016_zero_arity_compound.query +0 -1
  182. package/test/eyelang/conformance/cases/core/017_three_step_recursion.pl +0 -8
  183. package/test/eyelang/conformance/cases/core/017_three_step_recursion.query +0 -1
  184. package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.pl +0 -6
  185. package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.query +0 -1
  186. package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.pl +0 -7
  187. package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.query +0 -1
  188. package/test/eyelang/conformance/cases/core/020_nested_list_terms.pl +0 -5
  189. package/test/eyelang/conformance/cases/core/020_nested_list_terms.query +0 -1
  190. package/test/eyelang/conformance/cases/core/021_repeated_variable_head.pl +0 -7
  191. package/test/eyelang/conformance/cases/core/022_rule_head_structure.pl +0 -5
  192. package/test/eyelang/conformance/cases/core/023_quoted_escapes_readback.pl +0 -5
  193. package/test/eyelang/conformance/cases/core/024_numeric_literal_readback.pl +0 -6
  194. package/test/eyelang/conformance/cases/core/025_body_parentheses_with_formula_data.pl +0 -5
  195. package/test/eyelang/conformance/cases/core/026_underscore_named_variable_reuse.pl +0 -5
  196. package/test/eyelang/conformance/cases/extension/001_default_derived_output.pl +0 -5
  197. package/test/eyelang/conformance/cases/extension/002_materialize_focus.pl +0 -5
  198. package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.pl +0 -11
  199. package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.query +0 -1
  200. package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.pl +0 -4
  201. package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.query +0 -1
  202. package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.pl +0 -10
  203. package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.query +0 -1
  204. package/test/eyelang/conformance/cases/extension/006_formula_terms.query +0 -1
  205. package/test/eyelang/conformance/cases/extension/006_holds_parts.pl +0 -4
  206. package/test/eyelang/conformance/cases/extension/007_negation_once_generators.pl +0 -7
  207. package/test/eyelang/conformance/cases/extension/007_negation_once_generators.query +0 -1
  208. package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.pl +0 -6
  209. package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.query +0 -1
  210. package/test/eyelang/conformance/cases/extension/009_list_relations.pl +0 -5
  211. package/test/eyelang/conformance/cases/extension/009_list_relations.query +0 -1
  212. package/test/eyelang/conformance/cases/extension/010_append_splits.pl +0 -3
  213. package/test/eyelang/conformance/cases/extension/010_append_splits.query +0 -1
  214. package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.pl +0 -7
  215. package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.query +0 -1
  216. package/test/eyelang/conformance/cases/extension/012_memoize_declaration.pl +0 -8
  217. package/test/eyelang/conformance/cases/extension/012_memoize_declaration.query +0 -1
  218. package/test/eyelang/conformance/cases/extension/013_numeric_functions.pl +0 -9
  219. package/test/eyelang/conformance/cases/extension/013_numeric_functions.query +0 -1
  220. package/test/eyelang/conformance/cases/extension/014_between_enumeration.pl +0 -3
  221. package/test/eyelang/conformance/cases/extension/014_between_enumeration.query +0 -1
  222. package/test/eyelang/conformance/cases/extension/015_smallest_divisor.pl +0 -3
  223. package/test/eyelang/conformance/cases/extension/015_smallest_divisor.query +0 -1
  224. package/test/eyelang/conformance/cases/extension/016_negation_filter.pl +0 -7
  225. package/test/eyelang/conformance/cases/extension/016_negation_filter.query +0 -1
  226. package/test/eyelang/conformance/cases/extension/017_once_user_predicate.pl +0 -5
  227. package/test/eyelang/conformance/cases/extension/017_once_user_predicate.query +0 -1
  228. package/test/eyelang/conformance/cases/extension/018_findall_user_goal.pl +0 -6
  229. package/test/eyelang/conformance/cases/extension/018_findall_user_goal.query +0 -1
  230. package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.pl +0 -3
  231. package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.query +0 -1
  232. package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.pl +0 -4
  233. package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.query +0 -1
  234. package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.pl +0 -3
  235. package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.query +0 -1
  236. package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.pl +0 -4
  237. package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.query +0 -1
  238. package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.pl +0 -3
  239. package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.query +0 -1
  240. package/test/eyelang/conformance/cases/extension/024_not_member_filter.pl +0 -6
  241. package/test/eyelang/conformance/cases/extension/024_not_member_filter.query +0 -1
  242. package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.query +0 -1
  243. package/test/eyelang/conformance/cases/extension/026_nested_holds_parts.pl +0 -4
  244. package/test/eyelang/conformance/cases/extension/027_formula_member.query +0 -1
  245. package/test/eyelang/conformance/cases/extension/027_holds_member.pl +0 -3
  246. package/test/eyelang/conformance/cases/extension/027_materialize_excludes_source_fact.pl +0 -6
  247. package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.pl +0 -5
  248. package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.query +0 -1
  249. package/test/eyelang/conformance/cases/extension/029_string_matching_filters.pl +0 -6
  250. package/test/eyelang/conformance/cases/extension/029_string_matching_filters.query +0 -1
  251. package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.pl +0 -3
  252. package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.query +0 -1
  253. package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.pl +0 -4
  254. package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.query +0 -1
  255. package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.pl +0 -5
  256. package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.query +0 -1
  257. package/test/eyelang/conformance/cases/extension/033_aggregate_min_template.pl +0 -5
  258. package/test/eyelang/conformance/cases/extension/033_aggregate_min_template.query +0 -1
  259. package/test/eyelang/conformance/cases/extension/034_aggregate_max_compound_key.pl +0 -5
  260. package/test/eyelang/conformance/cases/extension/034_aggregate_max_compound_key.query +0 -1
  261. package/test/eyelang/conformance/cases/extension/035_date_difference.pl +0 -4
  262. package/test/eyelang/conformance/cases/extension/036_reusable_numeric_builtins.pl +0 -10
  263. package/test/eyelang/conformance/cases/extension/037_reusable_list_builtins.pl +0 -11
  264. package/test/eyelang/conformance/cases/extension/038_reusable_string_builtins.pl +0 -12
  265. package/test/eyelang/conformance/cases/extension/039_reusable_term_control_builtins.pl +0 -11
  266. package/test/eyelang/conformance/cases/extension/044_matches_named_captures.pl +0 -13
  267. package/test/eyelang/conformance/expected/001_fact_output.pl +0 -1
  268. package/test/eyelang/conformance/expected/002_rule_recursion.pl +0 -2
  269. package/test/eyelang/conformance/expected/003_terms_and_readback.pl +0 -13
  270. package/test/eyelang/conformance/expected/004_conjunction_and_parentheses.pl +0 -1
  271. package/test/eyelang/conformance/expected/005_list_deconstruction.pl +0 -2
  272. package/test/eyelang/conformance/expected/006_comma_formula_data.pl +0 -1
  273. package/test/eyelang/conformance/expected/007_anonymous_variables.pl +0 -1
  274. package/test/eyelang/conformance/expected/008_graphic_atoms.pl +0 -3
  275. package/test/eyelang/conformance/expected/009_comments_and_whitespace.pl +0 -2
  276. package/test/eyelang/conformance/expected/010_variable_scope_and_reuse.pl +0 -2
  277. package/test/eyelang/conformance/expected/011_predicate_arity.pl +0 -2
  278. package/test/eyelang/conformance/expected/012_nested_compound_unification.pl +0 -2
  279. package/test/eyelang/conformance/expected/013_multiple_clauses_order.pl +0 -2
  280. package/test/eyelang/conformance/expected/014_failure_filters_answers.pl +0 -1
  281. package/test/eyelang/conformance/expected/015_improper_list_unification.pl +0 -3
  282. package/test/eyelang/conformance/expected/016_zero_arity_compound.pl +0 -1
  283. package/test/eyelang/conformance/expected/017_three_step_recursion.pl +0 -3
  284. package/test/eyelang/conformance/expected/018_quoted_atom_readback.pl +0 -3
  285. package/test/eyelang/conformance/expected/019_parenthesized_three_conjuncts.pl +0 -1
  286. package/test/eyelang/conformance/expected/020_nested_list_terms.pl +0 -2
  287. package/test/eyelang/conformance/expected/021_repeated_variable_head.pl +0 -2
  288. package/test/eyelang/conformance/expected/022_rule_head_structure.pl +0 -2
  289. package/test/eyelang/conformance/expected/023_quoted_escapes_readback.pl +0 -2
  290. package/test/eyelang/conformance/expected/024_numeric_literal_readback.pl +0 -3
  291. package/test/eyelang/conformance/expected/025_body_parentheses_with_formula_data.pl +0 -1
  292. package/test/eyelang/conformance/expected/026_underscore_named_variable_reuse.pl +0 -1
  293. package/test/eyelang/conformance/expected/027_default_derived_output.pl +0 -3
  294. package/test/eyelang/conformance/expected/028_materialize_focus.pl +0 -1
  295. package/test/eyelang/conformance/expected/029_arithmetic_and_comparison.pl +0 -9
  296. package/test/eyelang/conformance/expected/030_strings_and_atoms.pl +0 -2
  297. package/test/eyelang/conformance/expected/031_lists_aggregation_ordering.pl +0 -9
  298. package/test/eyelang/conformance/expected/032_holds_parts.pl +0 -3
  299. package/test/eyelang/conformance/expected/033_negation_once_generators.pl +0 -2
  300. package/test/eyelang/conformance/expected/034_equality_and_inequality.pl +0 -4
  301. package/test/eyelang/conformance/expected/035_list_relations.pl +0 -4
  302. package/test/eyelang/conformance/expected/036_append_splits.pl +0 -3
  303. package/test/eyelang/conformance/expected/037_matching_and_comparison.pl +0 -5
  304. package/test/eyelang/conformance/expected/038_memoize_declaration.pl +0 -2
  305. package/test/eyelang/conformance/expected/039_numeric_functions.pl +0 -7
  306. package/test/eyelang/conformance/expected/040_between_enumeration.pl +0 -3
  307. package/test/eyelang/conformance/expected/041_smallest_divisor.pl +0 -1
  308. package/test/eyelang/conformance/expected/042_negation_filter.pl +0 -2
  309. package/test/eyelang/conformance/expected/043_once_user_predicate.pl +0 -1
  310. package/test/eyelang/conformance/expected/044_findall_user_goal.pl +0 -1
  311. package/test/eyelang/conformance/expected/045_sort_deduplicates_atoms.pl +0 -1
  312. package/test/eyelang/conformance/expected/046_append_bound_prefix_suffix.pl +0 -2
  313. package/test/eyelang/conformance/expected/047_nth0_index_generation.pl +0 -1
  314. package/test/eyelang/conformance/expected/048_set_nth0_edges.pl +0 -2
  315. package/test/eyelang/conformance/expected/049_select_duplicate_occurrences.pl +0 -2
  316. package/test/eyelang/conformance/expected/050_not_member_filter.pl +0 -1
  317. package/test/eyelang/conformance/expected/051_nested_holds_parts.pl +0 -3
  318. package/test/eyelang/conformance/expected/052_holds_member.pl +0 -2
  319. package/test/eyelang/conformance/expected/053_materialize_excludes_source_fact.pl +0 -1
  320. package/test/eyelang/conformance/expected/054_numeric_and_lexical_comparison.pl +0 -3
  321. package/test/eyelang/conformance/expected/055_string_matching_filters.pl +0 -2
  322. package/test/eyelang/conformance/expected/056_string_and_atom_concat.pl +0 -1
  323. package/test/eyelang/conformance/expected/057_countall_empty_and_nonempty.pl +0 -1
  324. package/test/eyelang/conformance/expected/058_sumall_numeric_template.pl +0 -1
  325. package/test/eyelang/conformance/expected/059_aggregate_min_template.pl +0 -1
  326. package/test/eyelang/conformance/expected/060_aggregate_max_compound_key.pl +0 -1
  327. package/test/eyelang/conformance/expected/061_date_difference.pl +0 -2
  328. package/test/eyelang/conformance/expected/062_reusable_numeric_builtins.pl +0 -8
  329. package/test/eyelang/conformance/expected/063_reusable_list_builtins.pl +0 -9
  330. package/test/eyelang/conformance/expected/064_reusable_string_builtins.pl +0 -10
  331. package/test/eyelang/conformance/expected/065_reusable_term_control_builtins.pl +0 -6
  332. package/test/eyelang/conformance/expected/066_numeric_edges.pl +0 -12
  333. package/test/eyelang/conformance/expected/067_list_edges.pl +0 -8
  334. package/test/eyelang/conformance/expected/068_list_generation_order.pl +0 -10
  335. package/test/eyelang/conformance/expected/069_list_summaries_and_sets.pl +0 -7
  336. package/test/eyelang/conformance/expected/070_matches_named_captures.pl +0 -1
  337. package/test/eyelang/conformance/expected/071_string_edges.pl +0 -8
  338. package/test/eyelang/conformance/expected/072_string_conversions.pl +0 -8
  339. package/test/eyelang/conformance/expected/073_term_introspection_edges.pl +0 -8
  340. package/test/eyelang/conformance/expected/074_forall_edges.pl +0 -5
  341. package/test/eyelang/conformance/expected/075_aggregation_edges.pl +0 -7
  342. package/test/eyelang/conformance/expected/076_composed_reusable_builtins.pl +0 -5
  343. package/test/eyelang/conformance/expected/077_recursive_path_with_lists.pl +0 -3
  344. package/test/eyelang/conformance/expected/078_mutual_recursion_with_arithmetic.pl +0 -7
  345. package/test/eyelang/conformance/expected/079_big_integer_arithmetic.pl +0 -6
  346. package/test/eyelang/conformance/expected/080_rounding_modes.pl +0 -8
  347. package/test/eyelang/conformance/expected/081_zero_safe_numeric_functions.pl +0 -7
  348. package/test/eyelang/conformance/expected/082_comparison_semantics.pl +0 -8
  349. package/test/eyelang/conformance/expected/083_between_modes_and_empty_ranges.pl +0 -8
  350. package/test/eyelang/conformance/expected/084_append_and_select_composition.pl +0 -10
  351. package/test/eyelang/conformance/expected/085_nth_and_update_edges.pl +0 -8
  352. package/test/eyelang/conformance/expected/086_slicing_pipeline.pl +0 -7
  353. package/test/eyelang/conformance/expected/087_sort_reverse_length.pl +0 -6
  354. package/test/eyelang/conformance/expected/088_list_summaries_failures.pl +0 -6
  355. package/test/eyelang/conformance/expected/089_string_split_join_pipeline.pl +0 -4
  356. package/test/eyelang/conformance/expected/090_string_substring_replace_edges.pl +0 -7
  357. package/test/eyelang/conformance/expected/091_string_case_and_trim.pl +0 -5
  358. package/test/eyelang/conformance/expected/092_scalar_string_conversions.pl +0 -7
  359. package/test/eyelang/conformance/expected/093_regex_named_captures_context.pl +0 -5
  360. package/test/eyelang/conformance/expected/094_context_holds_enumeration.pl +0 -8
  361. package/test/eyelang/conformance/expected/095_term_introspection_roundtrip.pl +0 -6
  362. package/test/eyelang/conformance/expected/096_functor_scalar_edges.pl +0 -6
  363. package/test/eyelang/conformance/expected/097_control_negation_once_forall.pl +0 -5
  364. package/test/eyelang/conformance/expected/098_aggregation_nested_templates.pl +0 -5
  365. package/test/eyelang/conformance/expected/099_materialize_multiple_arities.pl +0 -4
  366. package/test/eyelang/conformance/expected/100_reusable_builtin_workflow.pl +0 -6
  367. package/test/eyelang/conformance/expected/core/001_fact_output.out +0 -1
  368. package/test/eyelang/conformance/expected/core/002_rule_recursion.out +0 -2
  369. package/test/eyelang/conformance/expected/core/003_terms_and_readback.out +0 -13
  370. package/test/eyelang/conformance/expected/core/004_conjunction_and_parentheses.out +0 -1
  371. package/test/eyelang/conformance/expected/core/005_list_deconstruction.out +0 -2
  372. package/test/eyelang/conformance/expected/core/006_comma_formula_data.out +0 -1
  373. package/test/eyelang/conformance/expected/core/007_anonymous_variables.out +0 -1
  374. package/test/eyelang/conformance/expected/core/008_graphic_atoms.out +0 -3
  375. package/test/eyelang/conformance/expected/core/009_comments_and_whitespace.out +0 -2
  376. package/test/eyelang/conformance/expected/core/010_variable_scope_and_reuse.out +0 -2
  377. package/test/eyelang/conformance/expected/core/011_predicate_arity.out +0 -2
  378. package/test/eyelang/conformance/expected/core/012_nested_compound_unification.out +0 -2
  379. package/test/eyelang/conformance/expected/core/013_multiple_clauses_order.out +0 -2
  380. package/test/eyelang/conformance/expected/core/014_failure_filters_answers.out +0 -1
  381. package/test/eyelang/conformance/expected/core/015_improper_list_unification.out +0 -3
  382. package/test/eyelang/conformance/expected/core/016_zero_arity_compound.out +0 -1
  383. package/test/eyelang/conformance/expected/core/017_three_step_recursion.out +0 -3
  384. package/test/eyelang/conformance/expected/core/018_quoted_atom_readback.out +0 -3
  385. package/test/eyelang/conformance/expected/core/019_parenthesized_three_conjuncts.out +0 -1
  386. package/test/eyelang/conformance/expected/core/020_nested_list_terms.out +0 -2
  387. package/test/eyelang/conformance/expected/core/021_repeated_variable_head.out +0 -2
  388. package/test/eyelang/conformance/expected/core/022_rule_head_structure.out +0 -2
  389. package/test/eyelang/conformance/expected/core/023_quoted_escapes_readback.out +0 -2
  390. package/test/eyelang/conformance/expected/core/024_numeric_literal_readback.out +0 -3
  391. package/test/eyelang/conformance/expected/core/025_body_parentheses_with_formula_data.out +0 -1
  392. package/test/eyelang/conformance/expected/core/026_underscore_named_variable_reuse.out +0 -1
  393. package/test/eyelang/conformance/expected/extension/001_default_derived_output.out +0 -3
  394. package/test/eyelang/conformance/expected/extension/002_materialize_focus.out +0 -1
  395. package/test/eyelang/conformance/expected/extension/003_arithmetic_and_comparison.out +0 -9
  396. package/test/eyelang/conformance/expected/extension/004_strings_and_atoms.out +0 -2
  397. package/test/eyelang/conformance/expected/extension/005_lists_aggregation_ordering.out +0 -9
  398. package/test/eyelang/conformance/expected/extension/006_holds_parts.out +0 -3
  399. package/test/eyelang/conformance/expected/extension/007_negation_once_generators.out +0 -2
  400. package/test/eyelang/conformance/expected/extension/008_equality_and_inequality.out +0 -4
  401. package/test/eyelang/conformance/expected/extension/009_list_relations.out +0 -4
  402. package/test/eyelang/conformance/expected/extension/010_append_splits.out +0 -3
  403. package/test/eyelang/conformance/expected/extension/011_matching_and_comparison.out +0 -5
  404. package/test/eyelang/conformance/expected/extension/012_memoize_declaration.out +0 -2
  405. package/test/eyelang/conformance/expected/extension/013_numeric_functions.out +0 -7
  406. package/test/eyelang/conformance/expected/extension/014_between_enumeration.out +0 -3
  407. package/test/eyelang/conformance/expected/extension/015_smallest_divisor.out +0 -1
  408. package/test/eyelang/conformance/expected/extension/016_negation_filter.out +0 -2
  409. package/test/eyelang/conformance/expected/extension/017_once_user_predicate.out +0 -1
  410. package/test/eyelang/conformance/expected/extension/018_findall_user_goal.out +0 -1
  411. package/test/eyelang/conformance/expected/extension/019_sort_deduplicates_atoms.out +0 -1
  412. package/test/eyelang/conformance/expected/extension/020_append_bound_prefix_suffix.out +0 -2
  413. package/test/eyelang/conformance/expected/extension/021_nth0_index_generation.out +0 -1
  414. package/test/eyelang/conformance/expected/extension/022_set_nth0_edges.out +0 -2
  415. package/test/eyelang/conformance/expected/extension/023_select_duplicate_occurrences.out +0 -2
  416. package/test/eyelang/conformance/expected/extension/024_not_member_filter.out +0 -1
  417. package/test/eyelang/conformance/expected/extension/026_nested_holds_parts.out +0 -3
  418. package/test/eyelang/conformance/expected/extension/027_holds_member.out +0 -2
  419. package/test/eyelang/conformance/expected/extension/027_materialize_excludes_source_fact.out +0 -1
  420. package/test/eyelang/conformance/expected/extension/028_numeric_and_lexical_comparison.out +0 -3
  421. package/test/eyelang/conformance/expected/extension/029_string_matching_filters.out +0 -2
  422. package/test/eyelang/conformance/expected/extension/030_string_and_atom_concat.out +0 -1
  423. package/test/eyelang/conformance/expected/extension/031_countall_empty_and_nonempty.out +0 -1
  424. package/test/eyelang/conformance/expected/extension/032_sumall_numeric_template.out +0 -1
  425. package/test/eyelang/conformance/expected/extension/033_aggregate_min_template.out +0 -1
  426. package/test/eyelang/conformance/expected/extension/034_aggregate_max_compound_key.out +0 -1
  427. package/test/eyelang/conformance/expected/extension/035_date_difference.out +0 -2
  428. package/test/eyelang/conformance/expected/extension/036_reusable_numeric_builtins.out +0 -8
  429. package/test/eyelang/conformance/expected/extension/037_reusable_list_builtins.out +0 -9
  430. package/test/eyelang/conformance/expected/extension/038_reusable_string_builtins.out +0 -10
  431. package/test/eyelang/conformance/expected/extension/039_reusable_term_control_builtins.out +0 -6
  432. package/test/eyelang/conformance/expected/extension/044_matches_named_captures.out +0 -1
  433. package/test/eyelang/run-all.mjs +0 -20
  434. package/test/eyelang/run-conformance.mjs +0 -78
  435. package/test/eyelang/run-examples.mjs +0 -125
  436. package/test/eyelang/run-regression.mjs +0 -612
  437. package/test/eyelang/test-style.mjs +0 -94
  438. package/test/eyelang.test.js +0 -58
@@ -1,94 +0,0 @@
1
- // Shared test output helpers.
2
- // The runners use this small reporter so individual suites and `npm test` share
3
- // one compact Eyeling-style layout: colored OK/FAIL, sequence number, test description, and dimmed timing.
4
- import process from 'node:process';
5
- import { fileURLToPath } from 'node:url';
6
- import path from 'node:path';
7
-
8
- const useColor = process.env.NO_COLOR == null && (
9
- Boolean(process.stdout.isTTY) ||
10
- Boolean(process.env.FORCE_COLOR && process.env.FORCE_COLOR !== '0')
11
- );
12
-
13
- export const colors = {
14
- green: useColor ? '\x1b[32m' : '',
15
- red: useColor ? '\x1b[31m' : '',
16
- yellow: useColor ? '\x1b[33m' : '',
17
- dim: useColor ? '\x1b[2m' : '',
18
- reset: useColor ? '\x1b[0m' : '',
19
- };
20
-
21
- export class TestReporter {
22
- constructor({ stdout = process.stdout, stderr = process.stderr } = {}) {
23
- this.stdout = stdout;
24
- this.stderr = stderr;
25
- this.ok = 0;
26
- this.total = 0;
27
- this.startedAt = nowMs();
28
- this.sectionCount = 0;
29
- this.currentSection = null;
30
- }
31
-
32
- section(name) {
33
- const prefix = this.sectionCount === 0 ? '' : '\n';
34
- this.stdout.write(`${prefix}${colors.yellow}== ${name}${colors.reset}\n`);
35
- this.currentSection = {
36
- name,
37
- okAtStart: this.ok,
38
- totalAtStart: this.total,
39
- startedAt: nowMs(),
40
- };
41
- this.sectionCount++;
42
- }
43
-
44
- sectionTotal(label = null) {
45
- if (this.currentSection == null) return;
46
-
47
- const ok = this.ok - this.currentSection.okAtStart;
48
- const total = this.total - this.currentSection.totalAtStart;
49
- const ms = nowMs() - this.currentSection.startedAt;
50
- const suite = label ?? defaultSectionLabel(this.currentSection.name);
51
- this.stdout.write(`${colors.green}OK${colors.reset} ${ok}/${total} ${suite} tests passed ${colors.dim}(${ms} ms)${colors.reset}\n`);
52
- }
53
-
54
- test(name, run) {
55
- this.total++;
56
- const nr = String(this.total).padStart(3, '0');
57
- const startedAt = nowMs();
58
-
59
- try {
60
- run();
61
- const ms = nowMs() - startedAt;
62
- this.ok++;
63
- this.stdout.write(`${colors.green}OK${colors.reset} ${nr} ${name} ${colors.dim}(${ms} ms)${colors.reset}\n`);
64
- } catch (error) {
65
- const ms = nowMs() - startedAt;
66
- this.stderr.write(`${colors.red}FAIL${colors.reset} ${nr} ${name} ${colors.dim}(${ms} ms)${colors.reset}\n`);
67
- this.stderr.write(`${error?.stack ?? String(error)}\n`);
68
- throw error;
69
- }
70
- }
71
-
72
- totalLine() {
73
- const ms = nowMs() - this.startedAt;
74
- this.stdout.write(`\n${colors.yellow}== Total${colors.reset}\n`);
75
- this.stdout.write(`${colors.green}OK${colors.reset} ${this.ok}/${this.total} tests passed ${colors.dim}(${ms} ms)${colors.reset}\n`);
76
- }
77
- }
78
-
79
- export function nowMs() {
80
- return Number(process.hrtime.bigint() / 1000000n);
81
- }
82
-
83
- export function isMainModule(metaUrl) {
84
- return process.argv[1] != null && path.resolve(process.argv[1]) === fileURLToPath(metaUrl);
85
- }
86
-
87
- function defaultSectionLabel(name) {
88
- return String(name)
89
- .replace(/^Conformance\s+/, 'conformance ')
90
- .replace(/^Examples$/, 'examples')
91
- .replace(/^Regression$/, 'regression')
92
- .replace(/^API$/, 'API')
93
- .replace(/^White-box$/, 'white-box');
94
- }
@@ -1,58 +0,0 @@
1
- 'use strict';
2
-
3
- const assert = require('node:assert/strict');
4
- const cp = require('node:child_process');
5
- const { pathToFileURL } = require('node:url');
6
-
7
- const eyeling = require('..');
8
- const { detail, failResult, info, pass } = require('./report');
9
-
10
- const startedAt = Date.now();
11
- const program = `
12
- materialize(out, 1).
13
- in(done).
14
- out(X) :- in(X).
15
- `;
16
-
17
- (async () => {
18
- info('Checking eyelang second-engine integration…');
19
-
20
- const syncOutput = eyeling.reason({ engine: 'eyelang' }, program);
21
- assert.match(syncOutput, /out\(done\)\./);
22
-
23
- const asyncOutput = await eyeling.reasonEyelang(program);
24
- assert.match(asyncOutput, /out\(done\)\./);
25
-
26
- const asyncRun = await eyeling.runAsync(program, { engine: 'eyelang' });
27
- assert.match(asyncRun.stdout, /out\(done\)\./);
28
-
29
- const subpath = await import('eyeling/eyelang');
30
- assert.equal(typeof subpath.run, 'function');
31
- assert.match(subpath.run(program).stdout, /out\(done\)\./);
32
-
33
- const cli = cp.spawnSync(process.execPath, ['bin/eyeling.cjs', '--engine', 'eyelang', 'examples/eyelang/ancestor.pl'], {
34
- cwd: process.cwd(),
35
- encoding: 'utf8',
36
- maxBuffer: 5 * 1024 * 1024,
37
- });
38
- assert.equal(cli.status, 0, cli.stderr || cli.stdout);
39
- assert.match(cli.stdout, /ancestor\(pat, emma\)\./);
40
-
41
- const directCli = cp.spawnSync(process.execPath, ['lib/eyelang/bin.js', 'examples/eyelang/ancestor.pl'], {
42
- cwd: process.cwd(),
43
- encoding: 'utf8',
44
- maxBuffer: 5 * 1024 * 1024,
45
- });
46
- assert.equal(directCli.status, 0, directCli.stderr || directCli.stdout);
47
- assert.match(directCli.stdout, /ancestor\(jan, emma\)\./);
48
-
49
- // Sanity check the ESM file URL too; this catches nested package type regressions.
50
- const esm = await import(pathToFileURL(`${process.cwd()}/lib/eyelang/index.js`).href);
51
- assert.equal(typeof esm.Program, 'function');
52
-
53
- pass(1, 'eyelang second-engine integration passed', Date.now() - startedAt);
54
- })().catch((e) => {
55
- failResult(1, 'eyelang second-engine integration failed', Date.now() - startedAt);
56
- detail(e && e.stack ? e.stack : String(e));
57
- process.exit(1);
58
- });