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.
- package/README.md +7 -7
- package/book-assets/cli-observation-loop.svg +1 -1
- package/book-assets/example-landscape.svg +1 -1
- package/book-assets/laboratory-progression.svg +1 -1
- package/book-assets/part-4-craft.svg +1 -1
- package/book-assets/rdf-adapter-pipeline.svg +3 -3
- package/book-assets/reference-navigation.svg +1 -1
- package/book-assets/review-lenses.svg +1 -1
- package/book-assets/title-page.svg +2 -2
- package/conformance-report.md +1 -1
- package/examples/book/README.md +4 -4
- package/examples/book/chapter-01/01-parent.pl +1 -1
- package/examples/book/chapter-01/02-child.pl +1 -1
- package/examples/book/chapter-02/01-measurement.pl +1 -1
- package/examples/book/chapter-02/02-label.pl +1 -1
- package/examples/book/chapter-03/01-eligible.pl +1 -1
- package/examples/book/chapter-03/02-adult.pl +1 -1
- package/examples/book/chapter-03/03-can_enter.pl +1 -1
- package/examples/book/chapter-03/04-high_score.pl +1 -1
- package/examples/book/chapter-03/05-parent.pl +1 -1
- package/examples/book/chapter-03/06-ancestor.pl +1 -1
- package/examples/book/chapter-03/07-different.pl +1 -1
- package/examples/book/chapter-03/08-has_parent.pl +1 -1
- package/examples/book/chapter-03/09-program.pl +1 -1
- package/examples/book/chapter-03/10-closed.pl +1 -1
- package/examples/book/chapter-03/11-p.pl +1 -1
- package/examples/book/chapter-04/01-path.pl +1 -1
- package/examples/book/chapter-05/01-first.pl +1 -1
- package/examples/book/chapter-05/02-reverse_acc.pl +1 -1
- package/examples/book/chapter-06/01-next.pl +1 -1
- package/examples/book/chapter-06/02-safe_reading.pl +1 -1
- package/examples/book/chapter-06/03-square.pl +1 -1
- package/examples/book/chapter-06/04-factorial.pl +1 -1
- package/examples/book/chapter-07/01-allowed.pl +1 -1
- package/examples/book/chapter-07/02-all_tests_pass.pl +1 -1
- package/examples/book/chapter-08/01-findall.pl +1 -1
- package/examples/book/chapter-08/02-outgoing_costs.pl +1 -1
- package/examples/book/chapter-08/03-best_route.pl +1 -1
- package/examples/book/chapter-09/01-functor.pl +1 -1
- package/examples/book/chapter-09/02-normalized.pl +1 -1
- package/examples/book/chapter-09/03-message.pl +1 -1
- package/examples/book/chapter-10/01-plan.pl +1 -1
- package/examples/book/chapter-11/01-why.pl +1 -1
- package/examples/book/chapter-12/01-invalid_probability.pl +1 -1
- package/examples/book/chapter-12/02-invalid_assignment.pl +1 -1
- package/examples/book/chapter-14/01-heating.pl +1 -1
- package/examples/book/chapter-15/01-rdf.pl +1 -1
- package/examples/book/chapter-16/01-socket.pl +1 -1
- package/examples/book/chapter-16/02-socket-2.pl +1 -1
- package/examples/book/chapter-17/01-path.pl +1 -1
- package/examples/book/chapter-17/02-adult.pl +1 -1
- package/examples/book/chapter-17/03-bad_member.pl +1 -1
- package/examples/book/chapter-17/04-item.pl +1 -1
- package/examples/book/chapter-18/01-routeable.pl +1 -1
- package/examples/book/chapter-18/02-routeable-2.pl +1 -1
- package/examples/book/chapter-18/03-prefix.pl +1 -1
- package/examples/book/chapter-18/04-candidate_pair.pl +1 -1
- package/examples/book/chapter-18/05-compatible_pair.pl +1 -1
- package/examples/book/chapter-19/01-factorial.pl +1 -1
- package/examples/book/chapter-19/02-invalid_limits.pl +1 -1
- package/examples/book/chapter-20/01-connected.pl +1 -1
- package/examples/book/chapter-20/02-within_thermal_limits.pl +1 -1
- package/examples/book/chapter-20/03-search.pl +1 -1
- package/examples/book/chapter-21/01-grandparent.pl +1 -1
- package/examples/book/chapter-21/02-loop_edge.pl +1 -1
- package/examples/book/chapter-21/03-eligible.pl +1 -1
- package/examples/book/chapter-21/04-grows.pl +1 -1
- package/examples/book/chapter-22/01-tree.pl +1 -1
- package/examples/book/chapter-22/02-tree_member.pl +1 -1
- package/examples/book/chapter-22/03-mirror.pl +1 -1
- package/examples/book/chapter-22/04-evaluate.pl +1 -1
- package/examples/book/chapter-22/05-lookup.pl +1 -1
- package/examples/book/chapter-22/06-simplify.pl +1 -1
- package/examples/book/chapter-23/01-adult.pl +1 -1
- package/examples/book/chapter-23/02-adult-2.pl +1 -1
- package/examples/book/chapter-23/03-can_board.pl +1 -1
- package/examples/book/chapter-23/04-traveler_in_good_standing.pl +1 -1
- package/examples/book/chapter-23/05-connection.pl +1 -1
- package/examples/book/chapter-23/06-rail_connection.pl +1 -1
- package/examples/book/chapter-23/07-sum_numbers.pl +1 -1
- package/examples/book/chapter-23/08-sum_numbers_acc.pl +1 -1
- package/examples/book/chapter-24/01-simple_path.pl +1 -1
- package/examples/book/chapter-24/02-reachable.pl +1 -1
- package/examples/book/chapter-24/03-best_plan.pl +1 -1
- package/examples/book/chapter-25/01-person.pl +1 -1
- package/examples/book/chapter-25/02-active_badge.pl +1 -1
- package/examples/book/chapter-25/03-in_good_standing.pl +1 -1
- package/examples/book/chapter-25/04-incompatible_status.pl +1 -1
- package/examples/book/chapter-26/01-mortal.pl +1 -1
- package/examples/book/chapter-26/02-triple.pl +1 -1
- package/examples/book/chapter-26/03-edge.pl +1 -1
- package/examples/book/chapter-27/01-natural.pl +1 -1
- package/examples/book/chapter-27/02-list_length.pl +1 -1
- package/examples/book/chapter-27/03-reverse_acc.pl +1 -1
- package/examples/book/chapter-28/01-program.pl +1 -1
- package/examples/book/chapter-28/02-triangle.pl +1 -1
- package/examples/book/chapter-28/03-rectangle.pl +1 -1
- package/examples/book/chapter-28/04-preserves_combine.pl +1 -1
- package/examples/book/chapter-29/01-noncommuting_pair.pl +1 -1
- package/examples/book/chapter-32/01-eligible.pl +1 -1
- package/examples/book/chapter-32/02-eligible-2.pl +1 -1
- package/examples/book/chapter-33/01-assigned_badge.pl +1 -1
- package/examples/book/chapter-33/02-source_role.pl +1 -1
- package/examples/book/chapter-33/03-chosen_pair.pl +1 -1
- package/examples/book/chapter-33/04-path.pl +1 -1
- package/examples/book/chapter-33/05-unregistered.pl +1 -1
- package/examples/book/chapter-33/06-step.pl +1 -1
- package/examples/book/chapter-33/07-depends.pl +1 -1
- package/examples/book/chapter-33/08-within_limit.pl +1 -1
- package/examples/book/chapter-33/09-invalid_badge_assignment.pl +1 -1
- package/examples/book/chapter-33/10-theory_version.pl +1 -1
- package/examples/book/chapter-34/01-travel_status.pl +1 -1
- package/examples/book/chapter-34/02-require_route.pl +1 -1
- package/examples/book/chapter-34/03-regional_total.pl +1 -1
- package/examples/book/chapter-35/01-term_shape.pl +1 -1
- package/examples/book/chapter-36/01-program.pl +1 -1
- package/examples/book/chapter-36/02-program-2.pl +1 -1
- package/examples/book/chapter-36/03-program-3.pl +1 -1
- package/examples/book/chapter-37/01-write_event.pl +1 -1
- package/examples/book/chapter-38/01-city.pl +1 -1
- package/examples/cdcl-sat-solver.pl +2 -2
- package/examples/collatz-1000.pl +1 -1
- package/examples/equality-saturation.pl +1 -1
- package/examples/existential-rule.pl +1 -1
- package/examples/herbrand-semantics.pl +1 -1
- package/examples/herbrand-witnesses.pl +1 -1
- package/examples/iso-integer-arithmetic.pl +1 -1
- package/examples/knowledge-engineering-alignment-flow.pl +1 -1
- package/examples/language.pl +2 -2
- package/examples/law-of-cosines.pl +1 -1
- package/examples/linear-logic-resources.pl +1 -1
- package/examples/markov-logic-network.pl +1 -1
- package/examples/matrix-noncommutativity.pl +1 -1
- package/examples/partial-evaluator.pl +1 -1
- package/examples/peano-calculus.pl +1 -1
- package/examples/prime-range.pl +1 -1
- package/examples/register-allocation.pl +1 -1
- package/examples/route-planning.pl +1 -1
- package/examples/sat-solver-dpll.pl +1 -1
- package/examples/symbolic-derivative.pl +1 -1
- package/examples/term-tools.pl +1 -1
- package/examples/trust-flow-provenance-threshold.pl +1 -1
- package/examples/vector-similarity.pl +1 -1
- package/examples/web-names.pl +1 -1
- package/examples/workplace-compliance.pl +1 -1
- package/index.d.ts +68 -68
- package/index.js +1 -1
- package/package.json +2 -2
- package/playground.html +10 -10
- package/src/cli.js +4 -4
- package/src/explain.js +4 -4
- package/src/index.js +4 -4
- package/src/iso.js +1 -1
- package/src/library.js +7 -7
- package/src/parser.js +1 -1
- package/src/playground-worker.js +2 -2
- package/src/solver.js +4 -4
- package/src/term.js +1 -1
- package/test/conformance/README.md +6 -6
- package/test/conformance/THIRD_PARTY.md +4 -4
- package/test/conformance/cases/iso/logtalk_abolish.pl +1 -1
- package/test/conformance/cases/iso/logtalk_arg_unification.pl +1 -1
- package/test/conformance/cases/iso/logtalk_assert_order.pl +1 -1
- package/test/conformance/cases/iso/logtalk_atom_chars.pl +1 -1
- package/test/conformance/cases/iso/logtalk_atom_codes.pl +1 -1
- package/test/conformance/cases/iso/logtalk_atom_concat.pl +1 -1
- package/test/conformance/cases/iso/logtalk_atom_length.pl +1 -1
- package/test/conformance/cases/iso/logtalk_bagof.pl +1 -1
- package/test/conformance/cases/iso/logtalk_char_code.pl +1 -1
- package/test/conformance/cases/iso/logtalk_clause.pl +1 -1
- package/test/conformance/cases/iso/logtalk_compare_standard_order.pl +1 -1
- package/test/conformance/cases/iso/logtalk_copy_term_semantics.pl +1 -1
- package/test/conformance/cases/iso/logtalk_current_predicate.pl +1 -1
- package/test/conformance/cases/iso/logtalk_current_streams.pl +1 -1
- package/test/conformance/cases/iso/logtalk_findall.pl +1 -1
- package/test/conformance/cases/iso/logtalk_number_chars.pl +1 -1
- package/test/conformance/cases/iso/logtalk_number_codes.pl +1 -1
- package/test/conformance/cases/iso/logtalk_occurs_check.pl +1 -1
- package/test/conformance/cases/iso/logtalk_once.pl +1 -1
- package/test/conformance/cases/iso/logtalk_operators.pl +1 -1
- package/test/conformance/cases/iso/logtalk_prolog_flags.pl +1 -1
- package/test/conformance/cases/iso/logtalk_repeat.pl +1 -1
- package/test/conformance/cases/iso/logtalk_retract.pl +1 -1
- package/test/conformance/cases/iso/logtalk_setof.pl +1 -1
- package/test/conformance/cases/iso/logtalk_sub_atom.pl +1 -1
- package/test/conformance/cases/iso/logtalk_term_comparison.pl +1 -1
- package/test/conformance/cases/iso/logtalk_term_variables.pl +1 -1
- package/test/conformance/cases/iso/logtalk_univ.pl +1 -1
- package/test/conformance/cases/strings/064_reusable_string_builtins.pl +3 -3
- package/test/conformance/cases/strings/071_string_edges.pl +1 -1
- package/test/conformance/errors/iso/logtalk_abolish_arity_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_abolish_bad_indicator.pl +1 -1
- package/test/conformance/errors/iso/logtalk_abolish_name_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_abolish_negative_arity.pl +1 -1
- package/test/conformance/errors/iso/logtalk_abolish_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_abolish_unbound_arity.pl +1 -1
- package/test/conformance/errors/iso/logtalk_arg_index_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_arg_number.pl +1 -1
- package/test/conformance/errors/iso/logtalk_asserta_bad_body.pl +1 -1
- package/test/conformance/errors/iso/logtalk_asserta_noncallable.pl +1 -1
- package/test/conformance/errors/iso/logtalk_assertz_noncallable.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_chars_atom_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_chars_character_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_chars_improper.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_chars_list_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_chars_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_codes_atom_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_codes_bad_code.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_codes_integer_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_codes_list_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_codes_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_concat_left_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_concat_right_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_concat_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_concat_whole_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_length_atom_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_length_integer_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_length_negative.pl +1 -1
- package/test/conformance/errors/iso/logtalk_atom_length_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_bagof_improper.pl +1 -1
- package/test/conformance/errors/iso/logtalk_bagof_nonlist.pl +1 -1
- package/test/conformance/errors/iso/logtalk_char_code_character_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_char_code_integer_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_char_code_negative.pl +1 -1
- package/test/conformance/errors/iso/logtalk_char_code_number_character.pl +1 -1
- package/test/conformance/errors/iso/logtalk_char_code_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_clause_noncallable_body.pl +1 -1
- package/test/conformance/errors/iso/logtalk_clause_noncallable_head.pl +1 -1
- package/test/conformance/errors/iso/logtalk_compare_order_domain.pl +1 -1
- package/test/conformance/errors/iso/logtalk_compare_order_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_flag_compound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_flag_name_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_flag_unknown.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_input_bad_stream.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_op_bad_specifier.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_op_high_priority.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_output_bad_stream.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_predicate_bad_name.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_predicate_negative_arity.pl +1 -1
- package/test/conformance/errors/iso/logtalk_current_predicate_scalar.pl +1 -1
- package/test/conformance/errors/iso/logtalk_findall_improper.pl +1 -1
- package/test/conformance/errors/iso/logtalk_findall_nonlist.pl +1 -1
- package/test/conformance/errors/iso/logtalk_functor_arity_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_functor_compound_name.pl +1 -1
- package/test/conformance/errors/iso/logtalk_functor_float_name.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_chars_character_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_chars_list_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_chars_number_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_chars_partial.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_chars_syntax.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_chars_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_codes_bad_code.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_codes_list_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_codes_number_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_codes_partial.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_codes_syntax.pl +1 -1
- package/test/conformance/errors/iso/logtalk_number_codes_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_once_noncallable.pl +1 -1
- package/test/conformance/errors/iso/logtalk_once_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_bad_specifier.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_high_priority.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_negative_priority.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_priority_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_unbound_name.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_unbound_priority.pl +1 -1
- package/test/conformance/errors/iso/logtalk_op_unbound_specifier.pl +1 -1
- package/test/conformance/errors/iso/logtalk_retract_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_retract_unbound_head.pl +1 -1
- package/test/conformance/errors/iso/logtalk_set_flag_name_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_set_flag_unbound_name.pl +1 -1
- package/test/conformance/errors/iso/logtalk_set_flag_unbound_value.pl +1 -1
- package/test/conformance/errors/iso/logtalk_set_flag_unknown.pl +1 -1
- package/test/conformance/errors/iso/logtalk_set_flag_value.pl +1 -1
- package/test/conformance/errors/iso/logtalk_setof_nonlist.pl +1 -1
- package/test/conformance/errors/iso/logtalk_sub_atom_before_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_sub_atom_negative.pl +1 -1
- package/test/conformance/errors/iso/logtalk_sub_atom_result_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_sub_atom_source_type.pl +1 -1
- package/test/conformance/errors/iso/logtalk_sub_atom_unbound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_term_variables_improper.pl +1 -1
- package/test/conformance/errors/iso/logtalk_term_variables_nonlist.pl +1 -1
- package/test/conformance/errors/iso/logtalk_univ_head_compound.pl +1 -1
- package/test/conformance/errors/iso/logtalk_univ_head_float.pl +1 -1
- package/test/conformance/errors/iso/logtalk_univ_head_integer.pl +1 -1
- package/test/conformance/errors/iso/logtalk_univ_single_compound.pl +1 -1
- package/test/conformance/expected/strings/064_reusable_string_builtins.pl +1 -1
- package/test/run-conformance-report.mjs +4 -4
- package/test/run-conformance.mjs +3 -3
- package/test/run-playground.mjs +3 -3
- package/test/run-rdf-tools.mjs +15 -15
- package/test/run-regression.mjs +35 -35
- package/the-art-of-eyelang.md +136 -136
- package/tools/README.md +2 -2
- package/tools/extract-book-examples.mjs +4 -4
- package/tools/pl-to-rdf.mjs +2 -2
- package/tools/rdf-codec.mjs +8 -8
- package/tools/rdf-to-pl.mjs +9 -9
- 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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
5
|
-
answer(lower, X) :- lowercase("Hello
|
|
6
|
-
answer(upper, X) :- uppercase("Hello
|
|
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("
|
|
11
|
+
answer(upper_string, X) :- uppercase("Eyelang 123", X).
|