eyelang 0.5.1 → 0.5.2

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 (298) hide show
  1. package/README.md +7 -7
  2. package/book-assets/cli-observation-loop.svg +1 -1
  3. package/book-assets/example-landscape.svg +1 -1
  4. package/book-assets/laboratory-progression.svg +1 -1
  5. package/book-assets/part-4-craft.svg +1 -1
  6. package/book-assets/rdf-adapter-pipeline.svg +3 -3
  7. package/book-assets/reference-navigation.svg +1 -1
  8. package/book-assets/review-lenses.svg +1 -1
  9. package/book-assets/title-page.svg +2 -2
  10. package/conformance-report.md +1 -1
  11. package/examples/book/README.md +4 -4
  12. package/examples/book/chapter-01/01-parent.pl +1 -1
  13. package/examples/book/chapter-01/02-child.pl +1 -1
  14. package/examples/book/chapter-02/01-measurement.pl +1 -1
  15. package/examples/book/chapter-02/02-label.pl +1 -1
  16. package/examples/book/chapter-03/01-eligible.pl +1 -1
  17. package/examples/book/chapter-03/02-adult.pl +1 -1
  18. package/examples/book/chapter-03/03-can_enter.pl +1 -1
  19. package/examples/book/chapter-03/04-high_score.pl +1 -1
  20. package/examples/book/chapter-03/05-parent.pl +1 -1
  21. package/examples/book/chapter-03/06-ancestor.pl +1 -1
  22. package/examples/book/chapter-03/07-different.pl +1 -1
  23. package/examples/book/chapter-03/08-has_parent.pl +1 -1
  24. package/examples/book/chapter-03/09-program.pl +1 -1
  25. package/examples/book/chapter-03/10-closed.pl +1 -1
  26. package/examples/book/chapter-03/11-p.pl +1 -1
  27. package/examples/book/chapter-04/01-path.pl +1 -1
  28. package/examples/book/chapter-05/01-first.pl +1 -1
  29. package/examples/book/chapter-05/02-reverse_acc.pl +1 -1
  30. package/examples/book/chapter-06/01-next.pl +1 -1
  31. package/examples/book/chapter-06/02-safe_reading.pl +1 -1
  32. package/examples/book/chapter-06/03-square.pl +1 -1
  33. package/examples/book/chapter-06/04-factorial.pl +1 -1
  34. package/examples/book/chapter-07/01-allowed.pl +1 -1
  35. package/examples/book/chapter-07/02-all_tests_pass.pl +1 -1
  36. package/examples/book/chapter-08/01-findall.pl +1 -1
  37. package/examples/book/chapter-08/02-outgoing_costs.pl +1 -1
  38. package/examples/book/chapter-08/03-best_route.pl +1 -1
  39. package/examples/book/chapter-09/01-functor.pl +1 -1
  40. package/examples/book/chapter-09/02-normalized.pl +1 -1
  41. package/examples/book/chapter-09/03-message.pl +1 -1
  42. package/examples/book/chapter-10/01-plan.pl +1 -1
  43. package/examples/book/chapter-11/01-why.pl +1 -1
  44. package/examples/book/chapter-12/01-invalid_probability.pl +1 -1
  45. package/examples/book/chapter-12/02-invalid_assignment.pl +1 -1
  46. package/examples/book/chapter-14/01-heating.pl +1 -1
  47. package/examples/book/chapter-15/01-rdf.pl +1 -1
  48. package/examples/book/chapter-16/01-socket.pl +1 -1
  49. package/examples/book/chapter-16/02-socket-2.pl +1 -1
  50. package/examples/book/chapter-17/01-path.pl +1 -1
  51. package/examples/book/chapter-17/02-adult.pl +1 -1
  52. package/examples/book/chapter-17/03-bad_member.pl +1 -1
  53. package/examples/book/chapter-17/04-item.pl +1 -1
  54. package/examples/book/chapter-18/01-routeable.pl +1 -1
  55. package/examples/book/chapter-18/02-routeable-2.pl +1 -1
  56. package/examples/book/chapter-18/03-prefix.pl +1 -1
  57. package/examples/book/chapter-18/04-candidate_pair.pl +1 -1
  58. package/examples/book/chapter-18/05-compatible_pair.pl +1 -1
  59. package/examples/book/chapter-19/01-factorial.pl +1 -1
  60. package/examples/book/chapter-19/02-invalid_limits.pl +1 -1
  61. package/examples/book/chapter-20/01-connected.pl +1 -1
  62. package/examples/book/chapter-20/02-within_thermal_limits.pl +1 -1
  63. package/examples/book/chapter-20/03-search.pl +1 -1
  64. package/examples/book/chapter-21/01-grandparent.pl +1 -1
  65. package/examples/book/chapter-21/02-loop_edge.pl +1 -1
  66. package/examples/book/chapter-21/03-eligible.pl +1 -1
  67. package/examples/book/chapter-21/04-grows.pl +1 -1
  68. package/examples/book/chapter-22/01-tree.pl +1 -1
  69. package/examples/book/chapter-22/02-tree_member.pl +1 -1
  70. package/examples/book/chapter-22/03-mirror.pl +1 -1
  71. package/examples/book/chapter-22/04-evaluate.pl +1 -1
  72. package/examples/book/chapter-22/05-lookup.pl +1 -1
  73. package/examples/book/chapter-22/06-simplify.pl +1 -1
  74. package/examples/book/chapter-23/01-adult.pl +1 -1
  75. package/examples/book/chapter-23/02-adult-2.pl +1 -1
  76. package/examples/book/chapter-23/03-can_board.pl +1 -1
  77. package/examples/book/chapter-23/04-traveler_in_good_standing.pl +1 -1
  78. package/examples/book/chapter-23/05-connection.pl +1 -1
  79. package/examples/book/chapter-23/06-rail_connection.pl +1 -1
  80. package/examples/book/chapter-23/07-sum_numbers.pl +1 -1
  81. package/examples/book/chapter-23/08-sum_numbers_acc.pl +1 -1
  82. package/examples/book/chapter-24/01-simple_path.pl +1 -1
  83. package/examples/book/chapter-24/02-reachable.pl +1 -1
  84. package/examples/book/chapter-24/03-best_plan.pl +1 -1
  85. package/examples/book/chapter-25/01-person.pl +1 -1
  86. package/examples/book/chapter-25/02-active_badge.pl +1 -1
  87. package/examples/book/chapter-25/03-in_good_standing.pl +1 -1
  88. package/examples/book/chapter-25/04-incompatible_status.pl +1 -1
  89. package/examples/book/chapter-26/01-mortal.pl +1 -1
  90. package/examples/book/chapter-26/02-triple.pl +1 -1
  91. package/examples/book/chapter-26/03-edge.pl +1 -1
  92. package/examples/book/chapter-27/01-natural.pl +1 -1
  93. package/examples/book/chapter-27/02-list_length.pl +1 -1
  94. package/examples/book/chapter-27/03-reverse_acc.pl +1 -1
  95. package/examples/book/chapter-28/01-program.pl +1 -1
  96. package/examples/book/chapter-28/02-triangle.pl +1 -1
  97. package/examples/book/chapter-28/03-rectangle.pl +1 -1
  98. package/examples/book/chapter-28/04-preserves_combine.pl +1 -1
  99. package/examples/book/chapter-29/01-noncommuting_pair.pl +1 -1
  100. package/examples/book/chapter-32/01-eligible.pl +1 -1
  101. package/examples/book/chapter-32/02-eligible-2.pl +1 -1
  102. package/examples/book/chapter-33/01-assigned_badge.pl +1 -1
  103. package/examples/book/chapter-33/02-source_role.pl +1 -1
  104. package/examples/book/chapter-33/03-chosen_pair.pl +1 -1
  105. package/examples/book/chapter-33/04-path.pl +1 -1
  106. package/examples/book/chapter-33/05-unregistered.pl +1 -1
  107. package/examples/book/chapter-33/06-step.pl +1 -1
  108. package/examples/book/chapter-33/07-depends.pl +1 -1
  109. package/examples/book/chapter-33/08-within_limit.pl +1 -1
  110. package/examples/book/chapter-33/09-invalid_badge_assignment.pl +1 -1
  111. package/examples/book/chapter-33/10-theory_version.pl +1 -1
  112. package/examples/book/chapter-34/01-travel_status.pl +1 -1
  113. package/examples/book/chapter-34/02-require_route.pl +1 -1
  114. package/examples/book/chapter-34/03-regional_total.pl +1 -1
  115. package/examples/book/chapter-35/01-term_shape.pl +1 -1
  116. package/examples/book/chapter-36/01-program.pl +1 -1
  117. package/examples/book/chapter-36/02-program-2.pl +1 -1
  118. package/examples/book/chapter-36/03-program-3.pl +1 -1
  119. package/examples/book/chapter-37/01-write_event.pl +1 -1
  120. package/examples/book/chapter-38/01-city.pl +1 -1
  121. package/examples/cdcl-sat-solver.pl +2 -2
  122. package/examples/collatz-1000.pl +1 -1
  123. package/examples/equality-saturation.pl +1 -1
  124. package/examples/existential-rule.pl +1 -1
  125. package/examples/herbrand-semantics.pl +1 -1
  126. package/examples/herbrand-witnesses.pl +1 -1
  127. package/examples/iso-integer-arithmetic.pl +1 -1
  128. package/examples/knowledge-engineering-alignment-flow.pl +1 -1
  129. package/examples/language.pl +2 -2
  130. package/examples/law-of-cosines.pl +1 -1
  131. package/examples/linear-logic-resources.pl +1 -1
  132. package/examples/markov-logic-network.pl +1 -1
  133. package/examples/matrix-noncommutativity.pl +1 -1
  134. package/examples/partial-evaluator.pl +1 -1
  135. package/examples/peano-calculus.pl +1 -1
  136. package/examples/prime-range.pl +1 -1
  137. package/examples/register-allocation.pl +1 -1
  138. package/examples/route-planning.pl +1 -1
  139. package/examples/sat-solver-dpll.pl +1 -1
  140. package/examples/symbolic-derivative.pl +1 -1
  141. package/examples/term-tools.pl +1 -1
  142. package/examples/trust-flow-provenance-threshold.pl +1 -1
  143. package/examples/vector-similarity.pl +1 -1
  144. package/examples/web-names.pl +1 -1
  145. package/examples/workplace-compliance.pl +1 -1
  146. package/index.d.ts +68 -68
  147. package/index.js +1 -1
  148. package/package.json +2 -2
  149. package/playground.html +10 -10
  150. package/src/cli.js +4 -4
  151. package/src/explain.js +4 -4
  152. package/src/index.js +4 -4
  153. package/src/iso.js +1 -1
  154. package/src/library.js +7 -7
  155. package/src/parser.js +1 -1
  156. package/src/playground-worker.js +2 -2
  157. package/src/solver.js +4 -4
  158. package/src/term.js +1 -1
  159. package/test/conformance/README.md +6 -6
  160. package/test/conformance/THIRD_PARTY.md +4 -4
  161. package/test/conformance/cases/iso/logtalk_abolish.pl +1 -1
  162. package/test/conformance/cases/iso/logtalk_arg_unification.pl +1 -1
  163. package/test/conformance/cases/iso/logtalk_assert_order.pl +1 -1
  164. package/test/conformance/cases/iso/logtalk_atom_chars.pl +1 -1
  165. package/test/conformance/cases/iso/logtalk_atom_codes.pl +1 -1
  166. package/test/conformance/cases/iso/logtalk_atom_concat.pl +1 -1
  167. package/test/conformance/cases/iso/logtalk_atom_length.pl +1 -1
  168. package/test/conformance/cases/iso/logtalk_bagof.pl +1 -1
  169. package/test/conformance/cases/iso/logtalk_char_code.pl +1 -1
  170. package/test/conformance/cases/iso/logtalk_clause.pl +1 -1
  171. package/test/conformance/cases/iso/logtalk_compare_standard_order.pl +1 -1
  172. package/test/conformance/cases/iso/logtalk_copy_term_semantics.pl +1 -1
  173. package/test/conformance/cases/iso/logtalk_current_predicate.pl +1 -1
  174. package/test/conformance/cases/iso/logtalk_current_streams.pl +1 -1
  175. package/test/conformance/cases/iso/logtalk_findall.pl +1 -1
  176. package/test/conformance/cases/iso/logtalk_number_chars.pl +1 -1
  177. package/test/conformance/cases/iso/logtalk_number_codes.pl +1 -1
  178. package/test/conformance/cases/iso/logtalk_occurs_check.pl +1 -1
  179. package/test/conformance/cases/iso/logtalk_once.pl +1 -1
  180. package/test/conformance/cases/iso/logtalk_operators.pl +1 -1
  181. package/test/conformance/cases/iso/logtalk_prolog_flags.pl +1 -1
  182. package/test/conformance/cases/iso/logtalk_repeat.pl +1 -1
  183. package/test/conformance/cases/iso/logtalk_retract.pl +1 -1
  184. package/test/conformance/cases/iso/logtalk_setof.pl +1 -1
  185. package/test/conformance/cases/iso/logtalk_sub_atom.pl +1 -1
  186. package/test/conformance/cases/iso/logtalk_term_comparison.pl +1 -1
  187. package/test/conformance/cases/iso/logtalk_term_variables.pl +1 -1
  188. package/test/conformance/cases/iso/logtalk_univ.pl +1 -1
  189. package/test/conformance/cases/strings/064_reusable_string_builtins.pl +3 -3
  190. package/test/conformance/cases/strings/071_string_edges.pl +1 -1
  191. package/test/conformance/errors/iso/logtalk_abolish_arity_type.pl +1 -1
  192. package/test/conformance/errors/iso/logtalk_abolish_bad_indicator.pl +1 -1
  193. package/test/conformance/errors/iso/logtalk_abolish_name_type.pl +1 -1
  194. package/test/conformance/errors/iso/logtalk_abolish_negative_arity.pl +1 -1
  195. package/test/conformance/errors/iso/logtalk_abolish_unbound.pl +1 -1
  196. package/test/conformance/errors/iso/logtalk_abolish_unbound_arity.pl +1 -1
  197. package/test/conformance/errors/iso/logtalk_arg_index_type.pl +1 -1
  198. package/test/conformance/errors/iso/logtalk_arg_number.pl +1 -1
  199. package/test/conformance/errors/iso/logtalk_asserta_bad_body.pl +1 -1
  200. package/test/conformance/errors/iso/logtalk_asserta_noncallable.pl +1 -1
  201. package/test/conformance/errors/iso/logtalk_assertz_noncallable.pl +1 -1
  202. package/test/conformance/errors/iso/logtalk_atom_chars_atom_type.pl +1 -1
  203. package/test/conformance/errors/iso/logtalk_atom_chars_character_type.pl +1 -1
  204. package/test/conformance/errors/iso/logtalk_atom_chars_improper.pl +1 -1
  205. package/test/conformance/errors/iso/logtalk_atom_chars_list_type.pl +1 -1
  206. package/test/conformance/errors/iso/logtalk_atom_chars_unbound.pl +1 -1
  207. package/test/conformance/errors/iso/logtalk_atom_codes_atom_type.pl +1 -1
  208. package/test/conformance/errors/iso/logtalk_atom_codes_bad_code.pl +1 -1
  209. package/test/conformance/errors/iso/logtalk_atom_codes_integer_type.pl +1 -1
  210. package/test/conformance/errors/iso/logtalk_atom_codes_list_type.pl +1 -1
  211. package/test/conformance/errors/iso/logtalk_atom_codes_unbound.pl +1 -1
  212. package/test/conformance/errors/iso/logtalk_atom_concat_left_type.pl +1 -1
  213. package/test/conformance/errors/iso/logtalk_atom_concat_right_type.pl +1 -1
  214. package/test/conformance/errors/iso/logtalk_atom_concat_unbound.pl +1 -1
  215. package/test/conformance/errors/iso/logtalk_atom_concat_whole_type.pl +1 -1
  216. package/test/conformance/errors/iso/logtalk_atom_length_atom_type.pl +1 -1
  217. package/test/conformance/errors/iso/logtalk_atom_length_integer_type.pl +1 -1
  218. package/test/conformance/errors/iso/logtalk_atom_length_negative.pl +1 -1
  219. package/test/conformance/errors/iso/logtalk_atom_length_unbound.pl +1 -1
  220. package/test/conformance/errors/iso/logtalk_bagof_improper.pl +1 -1
  221. package/test/conformance/errors/iso/logtalk_bagof_nonlist.pl +1 -1
  222. package/test/conformance/errors/iso/logtalk_char_code_character_type.pl +1 -1
  223. package/test/conformance/errors/iso/logtalk_char_code_integer_type.pl +1 -1
  224. package/test/conformance/errors/iso/logtalk_char_code_negative.pl +1 -1
  225. package/test/conformance/errors/iso/logtalk_char_code_number_character.pl +1 -1
  226. package/test/conformance/errors/iso/logtalk_char_code_unbound.pl +1 -1
  227. package/test/conformance/errors/iso/logtalk_clause_noncallable_body.pl +1 -1
  228. package/test/conformance/errors/iso/logtalk_clause_noncallable_head.pl +1 -1
  229. package/test/conformance/errors/iso/logtalk_compare_order_domain.pl +1 -1
  230. package/test/conformance/errors/iso/logtalk_compare_order_type.pl +1 -1
  231. package/test/conformance/errors/iso/logtalk_current_flag_compound.pl +1 -1
  232. package/test/conformance/errors/iso/logtalk_current_flag_name_type.pl +1 -1
  233. package/test/conformance/errors/iso/logtalk_current_flag_unknown.pl +1 -1
  234. package/test/conformance/errors/iso/logtalk_current_input_bad_stream.pl +1 -1
  235. package/test/conformance/errors/iso/logtalk_current_op_bad_specifier.pl +1 -1
  236. package/test/conformance/errors/iso/logtalk_current_op_high_priority.pl +1 -1
  237. package/test/conformance/errors/iso/logtalk_current_output_bad_stream.pl +1 -1
  238. package/test/conformance/errors/iso/logtalk_current_predicate_bad_name.pl +1 -1
  239. package/test/conformance/errors/iso/logtalk_current_predicate_negative_arity.pl +1 -1
  240. package/test/conformance/errors/iso/logtalk_current_predicate_scalar.pl +1 -1
  241. package/test/conformance/errors/iso/logtalk_findall_improper.pl +1 -1
  242. package/test/conformance/errors/iso/logtalk_findall_nonlist.pl +1 -1
  243. package/test/conformance/errors/iso/logtalk_functor_arity_type.pl +1 -1
  244. package/test/conformance/errors/iso/logtalk_functor_compound_name.pl +1 -1
  245. package/test/conformance/errors/iso/logtalk_functor_float_name.pl +1 -1
  246. package/test/conformance/errors/iso/logtalk_number_chars_character_type.pl +1 -1
  247. package/test/conformance/errors/iso/logtalk_number_chars_list_type.pl +1 -1
  248. package/test/conformance/errors/iso/logtalk_number_chars_number_type.pl +1 -1
  249. package/test/conformance/errors/iso/logtalk_number_chars_partial.pl +1 -1
  250. package/test/conformance/errors/iso/logtalk_number_chars_syntax.pl +1 -1
  251. package/test/conformance/errors/iso/logtalk_number_chars_unbound.pl +1 -1
  252. package/test/conformance/errors/iso/logtalk_number_codes_bad_code.pl +1 -1
  253. package/test/conformance/errors/iso/logtalk_number_codes_list_type.pl +1 -1
  254. package/test/conformance/errors/iso/logtalk_number_codes_number_type.pl +1 -1
  255. package/test/conformance/errors/iso/logtalk_number_codes_partial.pl +1 -1
  256. package/test/conformance/errors/iso/logtalk_number_codes_syntax.pl +1 -1
  257. package/test/conformance/errors/iso/logtalk_number_codes_unbound.pl +1 -1
  258. package/test/conformance/errors/iso/logtalk_once_noncallable.pl +1 -1
  259. package/test/conformance/errors/iso/logtalk_once_unbound.pl +1 -1
  260. package/test/conformance/errors/iso/logtalk_op_bad_specifier.pl +1 -1
  261. package/test/conformance/errors/iso/logtalk_op_high_priority.pl +1 -1
  262. package/test/conformance/errors/iso/logtalk_op_negative_priority.pl +1 -1
  263. package/test/conformance/errors/iso/logtalk_op_priority_type.pl +1 -1
  264. package/test/conformance/errors/iso/logtalk_op_unbound_name.pl +1 -1
  265. package/test/conformance/errors/iso/logtalk_op_unbound_priority.pl +1 -1
  266. package/test/conformance/errors/iso/logtalk_op_unbound_specifier.pl +1 -1
  267. package/test/conformance/errors/iso/logtalk_retract_unbound.pl +1 -1
  268. package/test/conformance/errors/iso/logtalk_retract_unbound_head.pl +1 -1
  269. package/test/conformance/errors/iso/logtalk_set_flag_name_type.pl +1 -1
  270. package/test/conformance/errors/iso/logtalk_set_flag_unbound_name.pl +1 -1
  271. package/test/conformance/errors/iso/logtalk_set_flag_unbound_value.pl +1 -1
  272. package/test/conformance/errors/iso/logtalk_set_flag_unknown.pl +1 -1
  273. package/test/conformance/errors/iso/logtalk_set_flag_value.pl +1 -1
  274. package/test/conformance/errors/iso/logtalk_setof_nonlist.pl +1 -1
  275. package/test/conformance/errors/iso/logtalk_sub_atom_before_type.pl +1 -1
  276. package/test/conformance/errors/iso/logtalk_sub_atom_negative.pl +1 -1
  277. package/test/conformance/errors/iso/logtalk_sub_atom_result_type.pl +1 -1
  278. package/test/conformance/errors/iso/logtalk_sub_atom_source_type.pl +1 -1
  279. package/test/conformance/errors/iso/logtalk_sub_atom_unbound.pl +1 -1
  280. package/test/conformance/errors/iso/logtalk_term_variables_improper.pl +1 -1
  281. package/test/conformance/errors/iso/logtalk_term_variables_nonlist.pl +1 -1
  282. package/test/conformance/errors/iso/logtalk_univ_head_compound.pl +1 -1
  283. package/test/conformance/errors/iso/logtalk_univ_head_float.pl +1 -1
  284. package/test/conformance/errors/iso/logtalk_univ_head_integer.pl +1 -1
  285. package/test/conformance/errors/iso/logtalk_univ_single_compound.pl +1 -1
  286. package/test/conformance/expected/strings/064_reusable_string_builtins.pl +1 -1
  287. package/test/run-conformance-report.mjs +4 -4
  288. package/test/run-conformance.mjs +3 -3
  289. package/test/run-playground.mjs +3 -3
  290. package/test/run-rdf-tools.mjs +15 -15
  291. package/test/run-regression.mjs +35 -35
  292. package/the-art-of-eyelang.md +136 -136
  293. package/tools/README.md +2 -2
  294. package/tools/extract-book-examples.mjs +4 -4
  295. package/tools/pl-to-rdf.mjs +2 -2
  296. package/tools/rdf-codec.mjs +8 -8
  297. package/tools/rdf-to-pl.mjs +9 -9
  298. package/why-eyelang.md +47 -47
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk asserta/1 and assertz/1 ISO examples.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  :- dynamic(item/1).
4
4
  item(middle).
5
5
  %% goal: assert_order(X0)
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_atom_chars_2_01 through 07 and
2
- % lgt_atom_chars_2_17 through 22, 26, and 27. Modified for EyeLang's harness.
2
+ % lgt_atom_chars_2_17 through 22, 26, and 27. Modified for Eyelang's harness.
3
3
  % See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: atom_chars_results(X0, X1, X2, X3)
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_atom_codes_2_01 through 07 and
2
- % lgt_atom_codes_2_15 through 20, 24, and 25. Modified for EyeLang's harness.
2
+ % lgt_atom_codes_2_15 through 20, 24, and 25. Modified for Eyelang's harness.
3
3
  % See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: atom_codes_results(X0, X1, X2, X3)
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_atom_concat_3_01 through 04 and
2
- % lgt_atom_concat_3_15 through 20. Modified for EyeLang's conformance harness.
2
+ % lgt_atom_concat_3_15 through 20. Modified for Eyelang's conformance harness.
3
3
  % See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: atom_concat_results(X0, X1, X2, X3)
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_atom_length_2_01 through 04.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_lengths(X0, X1)
4
4
 
5
5
  atom_lengths(Phrase, Empty) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_bagof_3_01 through 07 and 12.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  b(1, 1). b(1, 1). b(1, 2). b(2, 1). b(2, 2). b(2, 2).
4
4
  %% goal: bagof_results(X0, X1, X2)
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_char_code_2_01 through 05.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: char_code_results(X0, X1, X2)
4
4
 
5
5
  char_code_results(A, C, B) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_clause_2_01 through 06.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  :- dynamic(insect/1).
4
4
  insect(ant). insect(bee).
5
5
  :- dynamic(legs/2).
@@ -1,6 +1,6 @@
1
1
  % Adapted from Logtalk tests/prolog/predicates/compare_3/tests.lgt
2
2
  % (iso_compare_3_01 through iso_compare_3_04 and lgt_compare_3_07 through 15).
3
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: compare_results(X0, X1, X2, X3)
5
5
 
6
6
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_copy_term_2_01 through 08 and 10 through 11.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: copy_term_semantics
4
4
 
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_current_predicate_1_01 through 05.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  :- dynamic(dog/0).
4
4
  dog.
5
5
  elk(X) :- moose(X).
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk current_input/1 and current_output/1 tests 01, 03, 05, 06.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_streams
4
4
 
5
5
  current_streams :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_findall_3_01 through 06 and lgt_findall_3_12.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: findall_results(X0, X1, X2, X3)
4
4
 
5
5
  findall_results(Ordered, Empty, Duplicates, Bound) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_number_chars_2_01 through 08 and 11 through 13.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: number_char_results(X0, X1, X2, X3)
4
4
 
5
5
  number_char_results(IntegerChars, Float, Negative, Spaced) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_number_codes_2_01 through 06 and 09 through 11.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: number_code_results(X0, X1, X2, X3)
4
4
 
5
5
  number_code_results(IntegerCodes, Float, Negative, Spaced) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_unify_with_occurs_check_2_01 through 17, 19, and 20.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: occurs_check_results(X0, X1)
4
4
 
5
5
  occurs_check_results(One, Def) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_once_1_01 through 04.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: once_results(X0)
4
4
 
5
5
  once_results(Values) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk op/3 tests 01, 02, 09, 18, 32, and 33 and
2
- % current_op/3 tests 01 through 39. Modified for EyeLang's harness.
2
+ % current_op/3 tests 01 through 39. Modified for Eyelang's harness.
3
3
  % See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: operator_results(X0, X1, X2)
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_current_prolog_flag_2_01, 02, 05 through 10,
2
- % and eddbali_current_prolog_flag_2_12 through 13. Modified for EyeLang's harness.
2
+ % and eddbali_current_prolog_flag_2_12 through 13. Modified for Eyelang's harness.
3
3
  % See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: prolog_flags(X0, X1, X2, X3, X4)
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from the Logtalk repeat/0 conformance suite.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: repeat_once
4
4
 
5
5
  repeat_once :- once(repeat).
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_retract_1_01 through 06.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  :- dynamic(insect/1).
4
4
  insect(ant). insect(bee).
5
5
  :- dynamic(legs/2).
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_setof_3_01 through 09.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: setof_results(X0, X1, X2)
4
4
 
5
5
  setof_results(Ordered, Unique, Quantified) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_sub_atom_5_01 through 07 and sics_sub_atom_5_17
2
- % through 28 and 33. Modified for EyeLang's harness. See THIRD_PARTY.md.
2
+ % through 28 and 33. Modified for Eyelang's harness. See THIRD_PARTY.md.
3
3
  %% goal: sub_atom_results(X0, X1, X2, X3)
4
4
 
5
5
  sub_atom_results(Prefix, Suffix, Middle, Occurrences) :-
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_term_comparison_01 through 19 and
2
- % lgt_term_comparison_20 through 27. Modified for EyeLang's conformance harness.
2
+ % lgt_term_comparison_20 through 27. Modified for Eyelang's conformance harness.
3
3
  % See test/conformance/THIRD_PARTY.md.
4
4
  %% goal: term_comparison_order
5
5
 
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_term_variables_2_03, 04, 06, 07, and 08.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: ground_variables(X0)
4
4
 
5
5
  ground_variables(Ground) :- term_variables(t, Ground).
@@ -1,5 +1,5 @@
1
1
  % Adapted from Logtalk iso_univ_2_01 through 06 and lgt_univ_2_19 through 30.
2
- % Modified for EyeLang's conformance harness. See test/conformance/THIRD_PARTY.md.
2
+ % Modified for Eyelang's conformance harness. See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: univ_results(X0, X1, X2, X3, X4)
4
4
 
5
5
  univ_results(Built, Compound, Atom, List, Number) :-
@@ -1,9 +1,9 @@
1
1
  % Reference 9.1: reusable string normalization, splitting, joining, replacement, and conversions.
2
2
  %% goal: answer(X0, X1)
3
3
 
4
- answer(trim, X) :- trim(" Hello EyeLang ", X).
5
- answer(lower, X) :- lowercase("Hello EyeLang", X).
6
- answer(upper, X) :- uppercase("Hello EyeLang", X).
4
+ answer(trim, X) :- trim(" Hello Eyelang ", X).
5
+ answer(lower, X) :- lowercase("Hello Eyelang", X).
6
+ answer(upper, X) :- uppercase("Hello Eyelang", X).
7
7
  answer(split, X) :- split("red,green,blue", ",", X).
8
8
  answer(join, X) :- join([red, green, blue], ":", X).
9
9
  answer(substring, X) :- substring("abcdef", 2, 3, X).
@@ -8,4 +8,4 @@ answer(join_numbers, X) :- join([1, 2, 3], "-", X).
8
8
  answer(substring_empty, X) :- substring("abcdef", 2, 0, X).
9
9
  answer(replace_empty_search, X) :- replace("abc", "", "x", X).
10
10
  answer(lower_string, X) :- lowercase("Hello", X).
11
- answer(upper_string, X) :- uppercase("EyeLang 123", X).
11
+ answer(upper_string, X) :- uppercase("Eyelang 123", X).
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_abolish_1_09. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_abolish_1_09. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: abolish(foo/a)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_abolish_1_03. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_abolish_1_03. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: abolish(foo)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_abolish_1_12. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_abolish_1_12. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: abolish(5/2)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_abolish_1_10. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_abolish_1_10. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: abolish(foo / -1)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eclipse_abolish_1_14. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eclipse_abolish_1_14. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: abolish(_)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_abolish_1_02. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_abolish_1_02. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: abolish(foo/_)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_arg_3_14. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_arg_3_14. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: arg(a, foo(a, b), _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_arg_3_11. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_arg_3_11. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: arg(0, 3, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_asserta_1_06. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_asserta_1_06. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: asserta((foo :- 4))
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_asserta_1_05. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_asserta_1_05. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: asserta(4)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_assertz_1_05. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_assertz_1_05. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: assertz(4)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_chars_2_11. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_chars_2_11. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_chars(f(a), _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_chars_2_13. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_chars_2_13. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_chars(_, [a, f(b)])
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk lgt_atom_chars_2_24. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk lgt_atom_chars_2_24. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_chars('ABC', ['A', 'B', 'C' | 'D'])
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_chars_2_12. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_chars_2_12. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_chars(_, iso)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_atom_chars_2_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_atom_chars_2_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_chars(_, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_codes_2_09. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_codes_2_09. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_codes(f(a), _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_codes_2_11. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_codes_2_11. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_codes(_, [105, 115, -1])
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk lgt_atom_codes_2_14. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk lgt_atom_codes_2_14. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_codes(abc, [a, b, c])
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_codes_2_10. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_codes_2_10. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_codes(_, 120)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_atom_codes_2_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_atom_codes_2_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_codes(_, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_concat_3_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_concat_3_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_concat(f(a), iso, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_concat_3_09. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_concat_3_09. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_concat(iso, f(a), _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_atom_concat_3_05. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_atom_concat_3_05. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_concat(small, _, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_concat_3_10. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_concat_3_10. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_concat(_, _, f(a))
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_atom_length_2_06. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_atom_length_2_06. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_length(1.23, 4)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_atom_length_2_07. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_atom_length_2_07. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_length(atom, '4')
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_atom_length_2_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_atom_length_2_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_length(atom, -4)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_atom_length_2_05. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_atom_length_2_05. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: atom_length(_, 4)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eclipse_bagof_3_19. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eclipse_bagof_3_19. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: bagof(X, (X = 2; X = 1), [1 | 2])
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eclipse_bagof_3_18. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eclipse_bagof_3_18. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: bagof(X, (X = 2; X = 1), 12)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_char_code_2_06. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_char_code_2_06. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: char_code(ab, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_char_code_2_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_char_code_2_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: char_code(a, x)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_char_code_2_09. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_char_code_2_09. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: char_code(_, -2)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk lgt_char_code_2_11. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk lgt_char_code_2_11. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: char_code(42, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_char_code_2_07. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_char_code_2_07. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: char_code(_, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_clause_2_12. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_clause_2_12. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  :- dynamic(f/1).
4
4
  f(a).
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_clause_2_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_clause_2_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: clause(4, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_compare_3_06. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_compare_3_06. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: compare('>=', 3, 3.0)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_compare_3_05. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_compare_3_05. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: compare(1+2, 3, 3.0)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_current_prolog_flag_2_15. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_current_prolog_flag_2_15. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_prolog_flag(1+2, flag)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_current_prolog_flag_2_11. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_current_prolog_flag_2_11. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_prolog_flag(5, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_current_prolog_flag_2_14. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_current_prolog_flag_2_14. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_prolog_flag(warning, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk sics_current_input_1_02. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk sics_current_input_1_02. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_input(foo)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk sics_current_op_3_42. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk sics_current_op_3_42. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_op(_, yfy, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk sics_current_op_3_41. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk sics_current_op_3_41. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_op(1201, _, _)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk sics_current_output_1_02. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk sics_current_output_1_02. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_output(foo)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eddbali_current_predicate_1_08. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eddbali_current_predicate_1_08. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_predicate(0/dog)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk eclipse_current_predicate_1_11. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk eclipse_current_predicate_1_11. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_predicate(f / -1)
4
4
 
@@ -1,4 +1,4 @@
1
- % Adapted from Logtalk iso_current_predicate_1_06. Modified for EyeLang's harness.
1
+ % Adapted from Logtalk iso_current_predicate_1_06. Modified for Eyelang's harness.
2
2
  % See test/conformance/THIRD_PARTY.md.
3
3
  %% goal: current_predicate(4)
4
4