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,13 +0,0 @@
1
- value(atom, pat).
2
- value(quoted_atom, 'atom with spaces').
3
- value(quoted_quote, 'needs''quote').
4
- value(empty_atom, '').
5
- value(string, "line\nquote: \"ok\"").
6
- value(integer, -42).
7
- value(decimal, 0.25).
8
- value(scientific, 1.25e-3).
9
- value(compound, pair(3, nested(atom, [x, y]))).
10
- value(zero_arity, nil()).
11
- value(empty_list, []).
12
- value(proper_list, [a, b, c]).
13
- value(improper_list, [a, b | tail]).
@@ -1,2 +0,0 @@
1
- answer(first, a).
2
- answer(tail, [b, c]).
@@ -1 +0,0 @@
1
- answer(formula, (name(alice, "Alice"), knows(alice, bob))).
@@ -1 +0,0 @@
1
- answer(fresh, yes).
@@ -1,3 +0,0 @@
1
- value(hash, #).
2
- value(arrow, =>).
3
- value(comparison, =<).
@@ -1,2 +0,0 @@
1
- answer(quoted_percent, "% not a comment").
2
- answer(quoted_atom, 'has % sign').
@@ -1,2 +0,0 @@
1
- answer(from_a, c).
2
- answer(from_b, d).
@@ -1,2 +0,0 @@
1
- answer(unary, a).
2
- answer(binary, pair(a, b)).
@@ -1,2 +0,0 @@
1
- answer(middle, b).
2
- answer(list_tail, [d]).
@@ -1,2 +0,0 @@
1
- answer(color, red).
2
- answer(color, blue).
@@ -1,3 +0,0 @@
1
- answer(list, [head | tail]).
2
- answer(head, head).
3
- answer(tail, tail).
@@ -1 +0,0 @@
1
- answer(value, nil()).
@@ -1,3 +0,0 @@
1
- answer(reachable, b).
2
- answer(reachable, c).
3
- answer(reachable, d).
@@ -1,3 +0,0 @@
1
- answer(symbol, 'two words').
2
- answer(symbol, 'needs''quote').
3
- answer(symbol, '').
@@ -1,2 +0,0 @@
1
- answer(first_key, a).
2
- answer(second_key, c).
@@ -1,2 +0,0 @@
1
- answer(diagonal, a).
2
- answer(diagonal, c).
@@ -1,2 +0,0 @@
1
- answer(first, alpha).
2
- answer(second, beta).
@@ -1,2 +0,0 @@
1
- answer(string, "line\nnext \\slash").
2
- answer(atom, 'line\nnext\t\\slash').
@@ -1,3 +0,0 @@
1
- answer(negative_decimal, -3.5).
2
- answer(positive_exp, 6.02e23).
3
- answer(negative_exp, -1.0e-3).
@@ -1 +0,0 @@
1
- answer(ok, (left(a), right(b))).
@@ -1,3 +0,0 @@
1
- ancestor(pat, jan).
2
- ancestor(jan, emma).
3
- ancestor(pat, emma).
@@ -1 +0,0 @@
1
- answer(a, ok).
@@ -1,9 +0,0 @@
1
- answer(sum, 5).
2
- answer(diff, 3).
3
- answer(product, 42).
4
- answer(integer_division, 3).
5
- answer(remainder, 1).
6
- answer(power, 256).
7
- answer(minimum, 3).
8
- answer(less_than, true).
9
- answer(greater_equal, true).
@@ -1,2 +0,0 @@
1
- answer(str_concat, "eyelang").
2
- answer(contains, true).
@@ -1,9 +0,0 @@
1
- answer(member, a).
2
- answer(member, b).
3
- answer(append, [a, b, c]).
4
- answer(nth0, b).
5
- answer(set_nth0, [a, x, c]).
6
- answer(reverse, [c, b, a]).
7
- answer(length, 3).
8
- answer(findall, [1, 2, 3]).
9
- answer(sort, [a, b]).
@@ -1,3 +0,0 @@
1
- answer(parts, exposed(ready, [])).
2
- answer(parts, exposed(name, [alice, "Alice"])).
3
- answer(parts, exposed(route, [alice, bob, 7])).
@@ -1,2 +0,0 @@
1
- answer(open, a).
2
- answer(first_between, 2).
@@ -1,4 +0,0 @@
1
- answer(eq_variable, pair(a, [b, c])).
2
- answer(eq_nested, true).
3
- answer(neq_atoms, true).
4
- answer(neq_structures, true).
@@ -1,4 +0,0 @@
1
- answer(rest, [b, c]).
2
- answer(select, selected(a, [b])).
3
- answer(select, selected(b, [a])).
4
- answer(not_member, true).
@@ -1,3 +0,0 @@
1
- answer(split, split([], [a, b])).
2
- answer(split, split([a], [b])).
3
- answer(split, split([a, b], [])).
@@ -1,5 +0,0 @@
1
- answer(matches, true).
2
- answer(not_matches, true).
3
- answer(lex_lt, true).
4
- answer(lex_gt, true).
5
- answer(numeric_le, true).
@@ -1,2 +0,0 @@
1
- reach(a, b).
2
- reach(a, c).
@@ -1,7 +0,0 @@
1
- answer(neg, -5).
2
- answer(abs, 5).
3
- answer(rounded, 3).
4
- answer(sin_zero, 0.0).
5
- answer(cos_zero, 1.0).
6
- answer(log_one, 0.0).
7
- answer(float_division, 3.5).
@@ -1,3 +0,0 @@
1
- answer(n, 3).
2
- answer(n, 4).
3
- answer(n, 5).
@@ -1 +0,0 @@
1
- answer(divisor, 3).
@@ -1,2 +0,0 @@
1
- answer(open, a).
2
- answer(open, c).
@@ -1 +0,0 @@
1
- answer(first, a).
@@ -1 +0,0 @@
1
- answer(bag, [b, a, b]).
@@ -1 +0,0 @@
1
- answer(sorted, [a, b, c]).
@@ -1,2 +0,0 @@
1
- answer(prefix, [a, b]).
2
- answer(suffix, [b, c]).
@@ -1 +0,0 @@
1
- answer(index, 1).
@@ -1,2 +0,0 @@
1
- answer(first, [x, b, c]).
2
- answer(last, [a, b, z]).
@@ -1,2 +0,0 @@
1
- answer(rest, [b, a]).
2
- answer(rest, [a, b]).
@@ -1 +0,0 @@
1
- answer(not_present, c).
@@ -1,3 +0,0 @@
1
- answer(parts, exposed(ready, [])).
2
- answer(parts, exposed(name, [a, "A"])).
3
- answer(parts, exposed(route, [a, b, 7])).
@@ -1,2 +0,0 @@
1
- answer(member, name(alice, "Alice")).
2
- answer(member, knows(alice, bob)).
@@ -1,3 +0,0 @@
1
- answer(numeric_gt, true).
2
- answer(numeric_le, true).
3
- answer(lexical_ge, true).
@@ -1,2 +0,0 @@
1
- answer(has_ph, a).
2
- answer(no_ph, b).
@@ -1 +0,0 @@
1
- answer(string, "eyelang").
@@ -1 +0,0 @@
1
- answer(counts, counts(2, 0)).
@@ -1 +0,0 @@
1
- answer(min, result(3, item(beta, 3))).
@@ -1 +0,0 @@
1
- answer(max, result([7, beta], beta)).
@@ -1,2 +0,0 @@
1
- answer(duration, "P4Y1D").
2
- answer(month_borrow, "P1M-1D").
@@ -1,8 +0,0 @@
1
- answer(max, 42).
2
- answer(sqrt, 9.0).
3
- answer(floor, 3).
4
- answer(ceiling, 4).
5
- answer(trunc, -3).
6
- answer(exp, 1.0).
7
- answer(tan, 0.0).
8
- answer(atan2, 3.1415926535897931).
@@ -1,9 +0,0 @@
1
- answer(head, alpha).
2
- answer(last, beta).
3
- answer(take, [alpha, beta]).
4
- answer(drop, [gamma, beta]).
5
- answer(slice, [beta, gamma]).
6
- answer(sum, 6.5).
7
- answer(min, 1).
8
- answer(max, 3).
9
- answer(set, [beta, alpha, gamma]).
@@ -1,10 +0,0 @@
1
- answer(trim, "Hello Eyelang").
2
- answer(lower, "hello eyelang").
3
- answer(upper, "HELLO EYELANG").
4
- answer(split, ["red", "green", "blue"]).
5
- answer(join, "red:green:blue").
6
- answer(substring, "cde").
7
- answer(replace, "blue-green-blue").
8
- answer(number_to_string, "42").
9
- answer(string_to_number, 3.5).
10
- answer(atom_string, "eyelang").
@@ -1,6 +0,0 @@
1
- answer(functor, pair(edge, 2)).
2
- answer(arg, b).
3
- answer(decompose, pair(edge, [a, b])).
4
- answer(compose, edge(a, b)).
5
- answer(term_string, "edge(a, [b, c])").
6
- answer(forall, ok).
@@ -1,12 +0,0 @@
1
- answer(max_negative, -3).
2
- answer(min_float, -1.25).
3
- answer(floor_negative, -4).
4
- answer(ceiling_negative, -3).
5
- answer(trunc_positive, 3).
6
- answer(sqrt_fraction, 1.5).
7
- answer(pow_fraction, 3.0).
8
- answer(sqrt_negative_rejected, ok).
9
- answer(log_zero_rejected, ok).
10
- answer(div_zero_rejected, ok).
11
- answer(mod_float_rejected, ok).
12
- answer(pow_negative_integer_exponent_rejected, ok).
@@ -1,8 +0,0 @@
1
- answer(take_zero, []).
2
- answer(drop_all, []).
3
- answer(slice_empty, []).
4
- answer(last_single, only).
5
- answer(head_rest, pair(a, [b, c])).
6
- answer(take_too_many_rejected, ok).
7
- answer(drop_too_many_rejected, ok).
8
- answer(last_empty_rejected, ok).
@@ -1,10 +0,0 @@
1
- answer(append_split, pair([], [a, b])).
2
- answer(append_split, pair([a], [b])).
3
- answer(append_split, pair([a, b], [])).
4
- answer(nth, pair(0, x)).
5
- answer(nth, pair(1, y)).
6
- answer(select, pair(a, [b, a])).
7
- answer(select, pair(b, [a, a])).
8
- answer(select, pair(a, [a, b])).
9
- answer(not_member_atom, ok).
10
- answer(not_member_unifiable_rejected, ok).
@@ -1,7 +0,0 @@
1
- answer(sum_empty, 0).
2
- answer(sum_mixed, 6.5).
3
- answer(min_atom_order, beta).
4
- answer(max_atom_order, gamma).
5
- answer(set_terms, [pair(a, 1), pair(b, 2)]).
6
- answer(min_empty_rejected, ok).
7
- answer(max_empty_rejected, ok).
@@ -1 +0,0 @@
1
- answer("alice", "login_failed", "4bf92f3577b34da6a3ce929d0e0e4736").
@@ -1,8 +0,0 @@
1
- answer(split_missing_separator, ["abc"]).
2
- answer(split_empty_separator, ["a", "b", "c"]).
3
- answer(join_empty, "").
4
- answer(join_numbers, "1-2-3").
5
- answer(substring_empty, "").
6
- answer(replace_empty_search, "abc").
7
- answer(lower_string, "hello").
8
- answer(upper_string, "EYELANG 123").
@@ -1,8 +0,0 @@
1
- answer(number_to_string, "-7").
2
- answer(string_to_integer, 123).
3
- answer(string_to_decimal, -3.5).
4
- answer(non_numeric_rejected, ok).
5
- answer(atom_to_string, "hello_world").
6
- answer(string_to_atom, hello_world).
7
- answer(number_to_atom, '123').
8
- answer(trim_to_empty, "").
@@ -1,8 +0,0 @@
1
- answer(functor_atom, pair(alpha, 0)).
2
- answer(functor_number, pair(42, 0)).
3
- answer(functor_string, pair("hi", 0)).
4
- answer(arg_nested, edge(a, b)).
5
- answer(compose_nested, outer(inner(a), [b, c])).
6
- answer(decompose_zero, pair(z, [])).
7
- answer(arg_zero_rejected, ok).
8
- answer(arg_too_large_rejected, ok).
@@ -1,5 +0,0 @@
1
- answer(all_small, ok).
2
- answer(empty_generator, ok).
3
- answer(not_all_large, ok).
4
- answer(bound_outer_environment, ok).
5
- answer(checker_can_use_generator_binding, ok).
@@ -1,7 +0,0 @@
1
- answer(findall_empty, []).
2
- answer(count_filtered, 2).
3
- answer(sum_empty, 0).
4
- answer(sum_scores, 6).
5
- answer(best_min, pair(1, bob)).
6
- answer(best_max, pair(3, cara)).
7
- answer(best_empty_rejected, ok).
@@ -1,5 +0,0 @@
1
- answer(clean_join, "red|green|blue").
2
- answer(middle_upper, "GREEN").
3
- answer(summary, result("red", "blue", 3)).
4
- answer(term_report, "measurement(temperature, 21)").
5
- answer(score_text, "max=9").
@@ -1,3 +0,0 @@
1
- answer(path, [a, b, c, d]).
2
- answer(prefix, [a, b]).
3
- answer(suffix, [c, d]).
@@ -1,7 +0,0 @@
1
- answer(even, 0).
2
- answer(even, 2).
3
- answer(even, 4).
4
- answer(even, 6).
5
- answer(odd, 1).
6
- answer(odd, 3).
7
- answer(odd, 5).
@@ -1,6 +0,0 @@
1
- answer(add_big, 9007199254741000).
2
- answer(sub_big, 9007199254740993).
3
- answer(mul_big, 121932631112635269).
4
- answer(pow_big, 9223372036854775808).
5
- answer(div_big, 4611686018427387904).
6
- answer(mod_big, 9).
@@ -1,8 +0,0 @@
1
- answer(floor_pos, 3).
2
- answer(floor_neg, -4).
3
- answer(ceiling_pos, 4).
4
- answer(ceiling_neg, -3).
5
- answer(trunc_pos, 3).
6
- answer(trunc_neg, -3).
7
- answer(round_half_up, 3).
8
- answer(round_half_neg, -2).
@@ -1,7 +0,0 @@
1
- answer(sin_zero, 0.0).
2
- answer(cos_zero, 1.0).
3
- answer(tan_zero, 0.0).
4
- answer(exp_zero, 1.0).
5
- answer(log_one, 0.0).
6
- answer(atan2_zero, 0.0).
7
- answer(sqrt_one, 1.0).
@@ -1,8 +0,0 @@
1
- answer(integer_order, ok).
2
- answer(decimal_equal_le, ok).
3
- answer(numeric_not_lexical, ok).
4
- answer(duration_years, ok).
5
- answer(duration_months, ok).
6
- answer(atom_lexical, ok).
7
- answer(string_lexical, ok).
8
- answer(compound_lexical_text, ok).
@@ -1,8 +0,0 @@
1
- answer(enumerated, -1).
2
- answer(enumerated, 0).
3
- answer(enumerated, 1).
4
- answer(check_bound, ok).
5
- answer(check_low_edge, ok).
6
- answer(check_high_edge, ok).
7
- answer(check_outside_rejected, ok).
8
- answer(empty_range_rejected, ok).
@@ -1,10 +0,0 @@
1
- answer(split, pair([], [x, y, z])).
2
- answer(split, pair([x], [y, z])).
3
- answer(split, pair([x, y], [z])).
4
- answer(split, pair([x, y, z], [])).
5
- answer(select_middle, [x, z]).
6
- answer(select_duplicate, pair(a, [b, a])).
7
- answer(select_duplicate, pair(b, [a, a])).
8
- answer(select_duplicate, pair(a, [a, b])).
9
- answer(rebuild, [a, b, c, d]).
10
- answer(no_select_rejected, ok).
@@ -1,8 +0,0 @@
1
- answer(index_value, pair(0, red)).
2
- answer(index_value, pair(1, green)).
3
- answer(index_value, pair(2, blue)).
4
- answer(bound_index, green).
5
- answer(set_first, [blue, green]).
6
- answer(set_last, [a, b, z]).
7
- answer(index_too_large_rejected, ok).
8
- answer(set_too_large_rejected, ok).
@@ -1,7 +0,0 @@
1
- answer(head, zero).
2
- answer(rest, [one, two, three, four]).
3
- answer(last, four).
4
- answer(take_three, [zero, one, two]).
5
- answer(drop_three, [three, four]).
6
- answer(slice_middle, [one, two, three]).
7
- answer(slice_tail_empty, []).
@@ -1,6 +0,0 @@
1
- answer(length_empty, 0).
2
- answer(length_nested, 3).
3
- answer(reverse_atoms, [c, b, a]).
4
- answer(sort_numbers, [1, 2, 3]).
5
- answer(sort_mixed_terms, [1, 2, a, b, "s", pair(a)]).
6
- answer(reverse_empty, []).
@@ -1,6 +0,0 @@
1
- answer(sum_integers, 10).
2
- answer(sum_decimals, 3.0).
3
- answer(min_terms, pair(a)).
4
- answer(max_terms, pair(c)).
5
- answer(sum_non_number_rejected, ok).
6
- answer(set_scalars, [b, a, 1, "a"]).
@@ -1,4 +0,0 @@
1
- answer(parts, ["alpha", "beta", "gamma"]).
2
- answer(pipe, "alpha|beta|gamma").
3
- answer(first_upper, "ALPHA").
4
- answer(last_lower, "gamma").
@@ -1,7 +0,0 @@
1
- answer(prefix, "eye").
2
- answer(middle, "la").
3
- answer(suffix, "ng").
4
- answer(empty_at_end, "").
5
- answer(out_of_range_rejected, ok).
6
- answer(replace_all, "baNANA").
7
- answer(replace_missing, "banana").
@@ -1,5 +0,0 @@
1
- answer(lower_mixed, "hello world 123!").
2
- answer(upper_mixed, "HELLO WORLD 123!").
3
- answer(trim_spaces, "padded").
4
- answer(trim_tabs_newline, "value").
5
- answer(trim_empty, "").
@@ -1,7 +0,0 @@
1
- answer(number_to_string, "42").
2
- answer(decimal_string_to_number, -12.75).
3
- answer(scientific_string_to_number, 1e3).
4
- answer(atom_to_string, "hello-world").
5
- answer(string_to_atom_needs_quotes, 'hello-world').
6
- answer(term_to_string, "result([a, b], score(10))").
7
- answer(unbound_term_rejected, ok).
@@ -1,5 +0,0 @@
1
- answer(level, "warn").
2
- answer(code, "E42").
3
- answer(user, "bob").
4
- answer(no_named_groups_rejected, ok).
5
- answer(bad_regex_rejected, ok).
@@ -1,8 +0,0 @@
1
- answer(term, kind(alert)).
2
- answer(term, severity(high)).
3
- answer(term, owner(alice)).
4
- answer(parts, pair(kind, [alert])).
5
- answer(parts, pair(severity, [high])).
6
- answer(parts, pair(owner, [alice])).
7
- answer(filter, alice).
8
- answer(missing_rejected, ok).
@@ -1,6 +0,0 @@
1
- answer(functor_compound, pair(edge, 2)).
2
- answer(arg_first, a).
3
- answer(arg_second, b).
4
- answer(decompose, pair(edge, [a, b])).
5
- answer(recompose, edge(a, b)).
6
- answer(roundtrip, edge(a, b)).
@@ -1,6 +0,0 @@
1
- answer(atom, pair(alpha, 0)).
2
- answer(quoted_atom, pair('hello-world', 0)).
3
- answer(string, pair("text", 0)).
4
- answer(number, pair(123, 0)).
5
- answer(list_functor, pair('.', 2)).
6
- answer(unbound_rejected, ok).
@@ -1,5 +0,0 @@
1
- answer(once_choice, a).
2
- answer(negated_missing, ok).
3
- answer(negated_existing_rejected, ok).
4
- answer(all_allowed, ok).
5
- answer(not_all_allowed_after_extra, ok).
@@ -1,5 +0,0 @@
1
- answer(all_pairs, [result(alice, math, 9), result(alice, logic, 7), result(bob, math, 5), result(bob, logic, 8)]).
2
- answer(count_high, 2).
3
- answer(sum_alice, 16).
4
- answer(best_score, pair(9, result(alice, math))).
5
- answer(lowest_pair, pair([5, bob], math)).
@@ -1,4 +0,0 @@
1
- answer(a).
2
- answer(b).
3
- answer(a, doubled).
4
- answer(b, doubled).