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.
- package/package.json +1 -1
- package/test/eyelang/conformance/README.md +0 -43
- package/test/eyelang/conformance/cases/001_fact_output.pl +0 -4
- package/test/eyelang/conformance/cases/002_rule_recursion.pl +0 -7
- package/test/eyelang/conformance/cases/002_rule_recursion.query +0 -1
- package/test/eyelang/conformance/cases/003_terms_and_readback.pl +0 -16
- package/test/eyelang/conformance/cases/003_terms_and_readback.query +0 -1
- package/test/eyelang/conformance/cases/004_conjunction_and_parentheses.pl +0 -5
- package/test/eyelang/conformance/cases/004_conjunction_and_parentheses.query +0 -1
- package/test/eyelang/conformance/cases/005_list_deconstruction.pl +0 -6
- package/test/eyelang/conformance/cases/005_list_deconstruction.query +0 -1
- package/test/eyelang/conformance/cases/006_comma_formula_data.pl +0 -4
- package/test/eyelang/conformance/cases/006_comma_formula_data.query +0 -1
- package/test/eyelang/conformance/cases/007_anonymous_variables.pl +0 -5
- package/test/eyelang/conformance/cases/007_anonymous_variables.query +0 -1
- package/test/eyelang/conformance/cases/008_graphic_atoms.pl +0 -6
- package/test/eyelang/conformance/cases/008_graphic_atoms.query +0 -1
- package/test/eyelang/conformance/cases/009_comments_and_whitespace.pl +0 -5
- package/test/eyelang/conformance/cases/009_comments_and_whitespace.query +0 -1
- package/test/eyelang/conformance/cases/010_variable_scope_and_reuse.pl +0 -8
- package/test/eyelang/conformance/cases/010_variable_scope_and_reuse.query +0 -1
- package/test/eyelang/conformance/cases/011_predicate_arity.pl +0 -6
- package/test/eyelang/conformance/cases/011_predicate_arity.query +0 -1
- package/test/eyelang/conformance/cases/012_nested_compound_unification.pl +0 -5
- package/test/eyelang/conformance/cases/012_nested_compound_unification.query +0 -1
- package/test/eyelang/conformance/cases/013_multiple_clauses_order.pl +0 -6
- package/test/eyelang/conformance/cases/013_multiple_clauses_order.query +0 -1
- package/test/eyelang/conformance/cases/014_failure_filters_answers.pl +0 -7
- package/test/eyelang/conformance/cases/014_failure_filters_answers.query +0 -1
- package/test/eyelang/conformance/cases/015_improper_list_unification.pl +0 -6
- package/test/eyelang/conformance/cases/015_improper_list_unification.query +0 -1
- package/test/eyelang/conformance/cases/016_zero_arity_compound.pl +0 -4
- package/test/eyelang/conformance/cases/016_zero_arity_compound.query +0 -1
- package/test/eyelang/conformance/cases/017_three_step_recursion.pl +0 -8
- package/test/eyelang/conformance/cases/017_three_step_recursion.query +0 -1
- package/test/eyelang/conformance/cases/018_quoted_atom_readback.pl +0 -6
- package/test/eyelang/conformance/cases/018_quoted_atom_readback.query +0 -1
- package/test/eyelang/conformance/cases/019_parenthesized_three_conjuncts.pl +0 -7
- package/test/eyelang/conformance/cases/019_parenthesized_three_conjuncts.query +0 -1
- package/test/eyelang/conformance/cases/020_nested_list_terms.pl +0 -5
- package/test/eyelang/conformance/cases/020_nested_list_terms.query +0 -1
- package/test/eyelang/conformance/cases/021_repeated_variable_head.pl +0 -7
- package/test/eyelang/conformance/cases/022_rule_head_structure.pl +0 -5
- package/test/eyelang/conformance/cases/023_quoted_escapes_readback.pl +0 -5
- package/test/eyelang/conformance/cases/024_numeric_literal_readback.pl +0 -6
- package/test/eyelang/conformance/cases/025_body_parentheses_with_formula_data.pl +0 -5
- package/test/eyelang/conformance/cases/026_underscore_named_variable_reuse.pl +0 -5
- package/test/eyelang/conformance/cases/027_default_derived_output.pl +0 -5
- package/test/eyelang/conformance/cases/028_materialize_focus.pl +0 -5
- package/test/eyelang/conformance/cases/029_arithmetic_and_comparison.pl +0 -11
- package/test/eyelang/conformance/cases/029_arithmetic_and_comparison.query +0 -1
- package/test/eyelang/conformance/cases/030_strings_and_atoms.pl +0 -4
- package/test/eyelang/conformance/cases/030_strings_and_atoms.query +0 -1
- package/test/eyelang/conformance/cases/031_lists_aggregation_ordering.pl +0 -10
- package/test/eyelang/conformance/cases/031_lists_aggregation_ordering.query +0 -1
- package/test/eyelang/conformance/cases/032_holds_parts.pl +0 -4
- package/test/eyelang/conformance/cases/033_negation_once_generators.pl +0 -7
- package/test/eyelang/conformance/cases/033_negation_once_generators.query +0 -1
- package/test/eyelang/conformance/cases/034_equality_and_inequality.pl +0 -6
- package/test/eyelang/conformance/cases/034_equality_and_inequality.query +0 -1
- package/test/eyelang/conformance/cases/035_list_relations.pl +0 -5
- package/test/eyelang/conformance/cases/035_list_relations.query +0 -1
- package/test/eyelang/conformance/cases/036_append_splits.pl +0 -3
- package/test/eyelang/conformance/cases/036_append_splits.query +0 -1
- package/test/eyelang/conformance/cases/037_matching_and_comparison.pl +0 -7
- package/test/eyelang/conformance/cases/037_matching_and_comparison.query +0 -1
- package/test/eyelang/conformance/cases/038_memoize_declaration.pl +0 -8
- package/test/eyelang/conformance/cases/038_memoize_declaration.query +0 -1
- package/test/eyelang/conformance/cases/039_numeric_functions.pl +0 -9
- package/test/eyelang/conformance/cases/039_numeric_functions.query +0 -1
- package/test/eyelang/conformance/cases/040_between_enumeration.pl +0 -3
- package/test/eyelang/conformance/cases/040_between_enumeration.query +0 -1
- package/test/eyelang/conformance/cases/041_smallest_divisor.pl +0 -3
- package/test/eyelang/conformance/cases/041_smallest_divisor.query +0 -1
- package/test/eyelang/conformance/cases/042_negation_filter.pl +0 -7
- package/test/eyelang/conformance/cases/042_negation_filter.query +0 -1
- package/test/eyelang/conformance/cases/043_once_user_predicate.pl +0 -5
- package/test/eyelang/conformance/cases/043_once_user_predicate.query +0 -1
- package/test/eyelang/conformance/cases/044_findall_user_goal.pl +0 -6
- package/test/eyelang/conformance/cases/044_findall_user_goal.query +0 -1
- package/test/eyelang/conformance/cases/045_sort_deduplicates_atoms.pl +0 -3
- package/test/eyelang/conformance/cases/045_sort_deduplicates_atoms.query +0 -1
- package/test/eyelang/conformance/cases/046_append_bound_prefix_suffix.pl +0 -4
- package/test/eyelang/conformance/cases/046_append_bound_prefix_suffix.query +0 -1
- package/test/eyelang/conformance/cases/047_nth0_index_generation.pl +0 -3
- package/test/eyelang/conformance/cases/047_nth0_index_generation.query +0 -1
- package/test/eyelang/conformance/cases/048_set_nth0_edges.pl +0 -4
- package/test/eyelang/conformance/cases/048_set_nth0_edges.query +0 -1
- package/test/eyelang/conformance/cases/049_select_duplicate_occurrences.pl +0 -3
- package/test/eyelang/conformance/cases/049_select_duplicate_occurrences.query +0 -1
- package/test/eyelang/conformance/cases/050_not_member_filter.pl +0 -6
- package/test/eyelang/conformance/cases/050_not_member_filter.query +0 -1
- package/test/eyelang/conformance/cases/051_nested_holds_parts.pl +0 -4
- package/test/eyelang/conformance/cases/052_holds_member.pl +0 -3
- package/test/eyelang/conformance/cases/053_materialize_excludes_source_fact.pl +0 -6
- package/test/eyelang/conformance/cases/054_numeric_and_lexical_comparison.pl +0 -5
- package/test/eyelang/conformance/cases/054_numeric_and_lexical_comparison.query +0 -1
- package/test/eyelang/conformance/cases/055_string_matching_filters.pl +0 -6
- package/test/eyelang/conformance/cases/055_string_matching_filters.query +0 -1
- package/test/eyelang/conformance/cases/056_string_and_atom_concat.pl +0 -3
- package/test/eyelang/conformance/cases/056_string_and_atom_concat.query +0 -1
- package/test/eyelang/conformance/cases/057_countall_empty_and_nonempty.pl +0 -4
- package/test/eyelang/conformance/cases/057_countall_empty_and_nonempty.query +0 -1
- package/test/eyelang/conformance/cases/058_sumall_numeric_template.pl +0 -5
- package/test/eyelang/conformance/cases/058_sumall_numeric_template.query +0 -1
- package/test/eyelang/conformance/cases/059_aggregate_min_template.pl +0 -5
- package/test/eyelang/conformance/cases/059_aggregate_min_template.query +0 -1
- package/test/eyelang/conformance/cases/060_aggregate_max_compound_key.pl +0 -5
- package/test/eyelang/conformance/cases/060_aggregate_max_compound_key.query +0 -1
- package/test/eyelang/conformance/cases/061_date_difference.pl +0 -4
- package/test/eyelang/conformance/cases/062_reusable_numeric_builtins.pl +0 -10
- package/test/eyelang/conformance/cases/063_reusable_list_builtins.pl +0 -11
- package/test/eyelang/conformance/cases/064_reusable_string_builtins.pl +0 -12
- package/test/eyelang/conformance/cases/065_reusable_term_control_builtins.pl +0 -11
- package/test/eyelang/conformance/cases/066_numeric_edges.pl +0 -14
- package/test/eyelang/conformance/cases/067_list_edges.pl +0 -10
- package/test/eyelang/conformance/cases/068_list_generation_order.pl +0 -7
- package/test/eyelang/conformance/cases/069_list_summaries_and_sets.pl +0 -9
- package/test/eyelang/conformance/cases/070_matches_named_captures.pl +0 -13
- package/test/eyelang/conformance/cases/071_string_edges.pl +0 -10
- package/test/eyelang/conformance/cases/072_string_conversions.pl +0 -10
- package/test/eyelang/conformance/cases/073_term_introspection_edges.pl +0 -10
- package/test/eyelang/conformance/cases/074_forall_edges.pl +0 -10
- package/test/eyelang/conformance/cases/075_aggregation_edges.pl +0 -12
- package/test/eyelang/conformance/cases/076_composed_reusable_builtins.pl +0 -8
- package/test/eyelang/conformance/cases/077_recursive_path_with_lists.pl +0 -10
- package/test/eyelang/conformance/cases/078_mutual_recursion_with_arithmetic.pl +0 -7
- package/test/eyelang/conformance/cases/079_big_integer_arithmetic.pl +0 -8
- package/test/eyelang/conformance/cases/080_rounding_modes.pl +0 -10
- package/test/eyelang/conformance/cases/081_zero_safe_numeric_functions.pl +0 -9
- package/test/eyelang/conformance/cases/082_comparison_semantics.pl +0 -10
- package/test/eyelang/conformance/cases/083_between_modes_and_empty_ranges.pl +0 -8
- package/test/eyelang/conformance/cases/084_append_and_select_composition.pl +0 -7
- package/test/eyelang/conformance/cases/085_nth_and_update_edges.pl +0 -8
- package/test/eyelang/conformance/cases/086_slicing_pipeline.pl +0 -10
- package/test/eyelang/conformance/cases/087_sort_reverse_length.pl +0 -8
- package/test/eyelang/conformance/cases/088_list_summaries_failures.pl +0 -8
- package/test/eyelang/conformance/cases/089_string_split_join_pipeline.pl +0 -7
- package/test/eyelang/conformance/cases/090_string_substring_replace_edges.pl +0 -9
- package/test/eyelang/conformance/cases/091_string_case_and_trim.pl +0 -7
- package/test/eyelang/conformance/cases/092_scalar_string_conversions.pl +0 -9
- package/test/eyelang/conformance/cases/093_regex_named_captures_context.pl +0 -8
- package/test/eyelang/conformance/cases/094_context_holds_enumeration.pl +0 -7
- package/test/eyelang/conformance/cases/095_term_introspection_roundtrip.pl +0 -8
- package/test/eyelang/conformance/cases/096_functor_scalar_edges.pl +0 -8
- package/test/eyelang/conformance/cases/097_control_negation_once_forall.pl +0 -13
- package/test/eyelang/conformance/cases/098_aggregation_nested_templates.pl +0 -11
- package/test/eyelang/conformance/cases/099_materialize_multiple_arities.pl +0 -8
- package/test/eyelang/conformance/cases/100_reusable_builtin_workflow.pl +0 -10
- package/test/eyelang/conformance/cases/core/001_fact_output.pl +0 -4
- package/test/eyelang/conformance/cases/core/001_fact_query.query +0 -1
- package/test/eyelang/conformance/cases/core/002_rule_recursion.pl +0 -7
- package/test/eyelang/conformance/cases/core/002_rule_recursion.query +0 -1
- package/test/eyelang/conformance/cases/core/003_terms_and_readback.pl +0 -16
- package/test/eyelang/conformance/cases/core/003_terms_and_readback.query +0 -1
- package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.pl +0 -5
- package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.query +0 -1
- package/test/eyelang/conformance/cases/core/005_list_deconstruction.pl +0 -6
- package/test/eyelang/conformance/cases/core/005_list_deconstruction.query +0 -1
- package/test/eyelang/conformance/cases/core/006_comma_formula_data.pl +0 -4
- package/test/eyelang/conformance/cases/core/006_comma_formula_data.query +0 -1
- package/test/eyelang/conformance/cases/core/007_anonymous_variables.pl +0 -5
- package/test/eyelang/conformance/cases/core/007_anonymous_variables.query +0 -1
- package/test/eyelang/conformance/cases/core/008_graphic_atoms.pl +0 -6
- package/test/eyelang/conformance/cases/core/008_graphic_atoms.query +0 -1
- package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.pl +0 -5
- package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.query +0 -1
- package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.pl +0 -8
- package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.query +0 -1
- package/test/eyelang/conformance/cases/core/011_predicate_arity.pl +0 -6
- package/test/eyelang/conformance/cases/core/011_predicate_arity.query +0 -1
- package/test/eyelang/conformance/cases/core/012_nested_compound_unification.pl +0 -5
- package/test/eyelang/conformance/cases/core/012_nested_compound_unification.query +0 -1
- package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.pl +0 -6
- package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.query +0 -1
- package/test/eyelang/conformance/cases/core/014_failure_filters_answers.pl +0 -7
- package/test/eyelang/conformance/cases/core/014_failure_filters_answers.query +0 -1
- package/test/eyelang/conformance/cases/core/015_improper_list_unification.pl +0 -6
- package/test/eyelang/conformance/cases/core/015_improper_list_unification.query +0 -1
- package/test/eyelang/conformance/cases/core/016_zero_arity_compound.pl +0 -4
- package/test/eyelang/conformance/cases/core/016_zero_arity_compound.query +0 -1
- package/test/eyelang/conformance/cases/core/017_three_step_recursion.pl +0 -8
- package/test/eyelang/conformance/cases/core/017_three_step_recursion.query +0 -1
- package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.pl +0 -6
- package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.query +0 -1
- package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.pl +0 -7
- package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.query +0 -1
- package/test/eyelang/conformance/cases/core/020_nested_list_terms.pl +0 -5
- package/test/eyelang/conformance/cases/core/020_nested_list_terms.query +0 -1
- package/test/eyelang/conformance/cases/core/021_repeated_variable_head.pl +0 -7
- package/test/eyelang/conformance/cases/core/022_rule_head_structure.pl +0 -5
- package/test/eyelang/conformance/cases/core/023_quoted_escapes_readback.pl +0 -5
- package/test/eyelang/conformance/cases/core/024_numeric_literal_readback.pl +0 -6
- package/test/eyelang/conformance/cases/core/025_body_parentheses_with_formula_data.pl +0 -5
- package/test/eyelang/conformance/cases/core/026_underscore_named_variable_reuse.pl +0 -5
- package/test/eyelang/conformance/cases/extension/001_default_derived_output.pl +0 -5
- package/test/eyelang/conformance/cases/extension/002_materialize_focus.pl +0 -5
- package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.pl +0 -11
- package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.query +0 -1
- package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.pl +0 -4
- package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.query +0 -1
- package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.pl +0 -10
- package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.query +0 -1
- package/test/eyelang/conformance/cases/extension/006_formula_terms.query +0 -1
- package/test/eyelang/conformance/cases/extension/006_holds_parts.pl +0 -4
- package/test/eyelang/conformance/cases/extension/007_negation_once_generators.pl +0 -7
- package/test/eyelang/conformance/cases/extension/007_negation_once_generators.query +0 -1
- package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.pl +0 -6
- package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.query +0 -1
- package/test/eyelang/conformance/cases/extension/009_list_relations.pl +0 -5
- package/test/eyelang/conformance/cases/extension/009_list_relations.query +0 -1
- package/test/eyelang/conformance/cases/extension/010_append_splits.pl +0 -3
- package/test/eyelang/conformance/cases/extension/010_append_splits.query +0 -1
- package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.pl +0 -7
- package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.query +0 -1
- package/test/eyelang/conformance/cases/extension/012_memoize_declaration.pl +0 -8
- package/test/eyelang/conformance/cases/extension/012_memoize_declaration.query +0 -1
- package/test/eyelang/conformance/cases/extension/013_numeric_functions.pl +0 -9
- package/test/eyelang/conformance/cases/extension/013_numeric_functions.query +0 -1
- package/test/eyelang/conformance/cases/extension/014_between_enumeration.pl +0 -3
- package/test/eyelang/conformance/cases/extension/014_between_enumeration.query +0 -1
- package/test/eyelang/conformance/cases/extension/015_smallest_divisor.pl +0 -3
- package/test/eyelang/conformance/cases/extension/015_smallest_divisor.query +0 -1
- package/test/eyelang/conformance/cases/extension/016_negation_filter.pl +0 -7
- package/test/eyelang/conformance/cases/extension/016_negation_filter.query +0 -1
- package/test/eyelang/conformance/cases/extension/017_once_user_predicate.pl +0 -5
- package/test/eyelang/conformance/cases/extension/017_once_user_predicate.query +0 -1
- package/test/eyelang/conformance/cases/extension/018_findall_user_goal.pl +0 -6
- package/test/eyelang/conformance/cases/extension/018_findall_user_goal.query +0 -1
- package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.pl +0 -3
- package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.query +0 -1
- package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.pl +0 -4
- package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.query +0 -1
- package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.pl +0 -3
- package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.query +0 -1
- package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.pl +0 -4
- package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.query +0 -1
- package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.pl +0 -3
- package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.query +0 -1
- package/test/eyelang/conformance/cases/extension/024_not_member_filter.pl +0 -6
- package/test/eyelang/conformance/cases/extension/024_not_member_filter.query +0 -1
- package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.query +0 -1
- package/test/eyelang/conformance/cases/extension/026_nested_holds_parts.pl +0 -4
- package/test/eyelang/conformance/cases/extension/027_formula_member.query +0 -1
- package/test/eyelang/conformance/cases/extension/027_holds_member.pl +0 -3
- package/test/eyelang/conformance/cases/extension/027_materialize_excludes_source_fact.pl +0 -6
- package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.pl +0 -5
- package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.query +0 -1
- package/test/eyelang/conformance/cases/extension/029_string_matching_filters.pl +0 -6
- package/test/eyelang/conformance/cases/extension/029_string_matching_filters.query +0 -1
- package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.pl +0 -3
- package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.query +0 -1
- package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.pl +0 -4
- package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.query +0 -1
- package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.pl +0 -5
- package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.query +0 -1
- package/test/eyelang/conformance/cases/extension/033_aggregate_min_template.pl +0 -5
- package/test/eyelang/conformance/cases/extension/033_aggregate_min_template.query +0 -1
- package/test/eyelang/conformance/cases/extension/034_aggregate_max_compound_key.pl +0 -5
- package/test/eyelang/conformance/cases/extension/034_aggregate_max_compound_key.query +0 -1
- package/test/eyelang/conformance/cases/extension/035_date_difference.pl +0 -4
- package/test/eyelang/conformance/cases/extension/036_reusable_numeric_builtins.pl +0 -10
- package/test/eyelang/conformance/cases/extension/037_reusable_list_builtins.pl +0 -11
- package/test/eyelang/conformance/cases/extension/038_reusable_string_builtins.pl +0 -12
- package/test/eyelang/conformance/cases/extension/039_reusable_term_control_builtins.pl +0 -11
- package/test/eyelang/conformance/cases/extension/044_matches_named_captures.pl +0 -13
- package/test/eyelang/conformance/expected/001_fact_output.pl +0 -1
- package/test/eyelang/conformance/expected/002_rule_recursion.pl +0 -2
- package/test/eyelang/conformance/expected/003_terms_and_readback.pl +0 -13
- package/test/eyelang/conformance/expected/004_conjunction_and_parentheses.pl +0 -1
- package/test/eyelang/conformance/expected/005_list_deconstruction.pl +0 -2
- package/test/eyelang/conformance/expected/006_comma_formula_data.pl +0 -1
- package/test/eyelang/conformance/expected/007_anonymous_variables.pl +0 -1
- package/test/eyelang/conformance/expected/008_graphic_atoms.pl +0 -3
- package/test/eyelang/conformance/expected/009_comments_and_whitespace.pl +0 -2
- package/test/eyelang/conformance/expected/010_variable_scope_and_reuse.pl +0 -2
- package/test/eyelang/conformance/expected/011_predicate_arity.pl +0 -2
- package/test/eyelang/conformance/expected/012_nested_compound_unification.pl +0 -2
- package/test/eyelang/conformance/expected/013_multiple_clauses_order.pl +0 -2
- package/test/eyelang/conformance/expected/014_failure_filters_answers.pl +0 -1
- package/test/eyelang/conformance/expected/015_improper_list_unification.pl +0 -3
- package/test/eyelang/conformance/expected/016_zero_arity_compound.pl +0 -1
- package/test/eyelang/conformance/expected/017_three_step_recursion.pl +0 -3
- package/test/eyelang/conformance/expected/018_quoted_atom_readback.pl +0 -3
- package/test/eyelang/conformance/expected/019_parenthesized_three_conjuncts.pl +0 -1
- package/test/eyelang/conformance/expected/020_nested_list_terms.pl +0 -2
- package/test/eyelang/conformance/expected/021_repeated_variable_head.pl +0 -2
- package/test/eyelang/conformance/expected/022_rule_head_structure.pl +0 -2
- package/test/eyelang/conformance/expected/023_quoted_escapes_readback.pl +0 -2
- package/test/eyelang/conformance/expected/024_numeric_literal_readback.pl +0 -3
- package/test/eyelang/conformance/expected/025_body_parentheses_with_formula_data.pl +0 -1
- package/test/eyelang/conformance/expected/026_underscore_named_variable_reuse.pl +0 -1
- package/test/eyelang/conformance/expected/027_default_derived_output.pl +0 -3
- package/test/eyelang/conformance/expected/028_materialize_focus.pl +0 -1
- package/test/eyelang/conformance/expected/029_arithmetic_and_comparison.pl +0 -9
- package/test/eyelang/conformance/expected/030_strings_and_atoms.pl +0 -2
- package/test/eyelang/conformance/expected/031_lists_aggregation_ordering.pl +0 -9
- package/test/eyelang/conformance/expected/032_holds_parts.pl +0 -3
- package/test/eyelang/conformance/expected/033_negation_once_generators.pl +0 -2
- package/test/eyelang/conformance/expected/034_equality_and_inequality.pl +0 -4
- package/test/eyelang/conformance/expected/035_list_relations.pl +0 -4
- package/test/eyelang/conformance/expected/036_append_splits.pl +0 -3
- package/test/eyelang/conformance/expected/037_matching_and_comparison.pl +0 -5
- package/test/eyelang/conformance/expected/038_memoize_declaration.pl +0 -2
- package/test/eyelang/conformance/expected/039_numeric_functions.pl +0 -7
- package/test/eyelang/conformance/expected/040_between_enumeration.pl +0 -3
- package/test/eyelang/conformance/expected/041_smallest_divisor.pl +0 -1
- package/test/eyelang/conformance/expected/042_negation_filter.pl +0 -2
- package/test/eyelang/conformance/expected/043_once_user_predicate.pl +0 -1
- package/test/eyelang/conformance/expected/044_findall_user_goal.pl +0 -1
- package/test/eyelang/conformance/expected/045_sort_deduplicates_atoms.pl +0 -1
- package/test/eyelang/conformance/expected/046_append_bound_prefix_suffix.pl +0 -2
- package/test/eyelang/conformance/expected/047_nth0_index_generation.pl +0 -1
- package/test/eyelang/conformance/expected/048_set_nth0_edges.pl +0 -2
- package/test/eyelang/conformance/expected/049_select_duplicate_occurrences.pl +0 -2
- package/test/eyelang/conformance/expected/050_not_member_filter.pl +0 -1
- package/test/eyelang/conformance/expected/051_nested_holds_parts.pl +0 -3
- package/test/eyelang/conformance/expected/052_holds_member.pl +0 -2
- package/test/eyelang/conformance/expected/053_materialize_excludes_source_fact.pl +0 -1
- package/test/eyelang/conformance/expected/054_numeric_and_lexical_comparison.pl +0 -3
- package/test/eyelang/conformance/expected/055_string_matching_filters.pl +0 -2
- package/test/eyelang/conformance/expected/056_string_and_atom_concat.pl +0 -1
- package/test/eyelang/conformance/expected/057_countall_empty_and_nonempty.pl +0 -1
- package/test/eyelang/conformance/expected/058_sumall_numeric_template.pl +0 -1
- package/test/eyelang/conformance/expected/059_aggregate_min_template.pl +0 -1
- package/test/eyelang/conformance/expected/060_aggregate_max_compound_key.pl +0 -1
- package/test/eyelang/conformance/expected/061_date_difference.pl +0 -2
- package/test/eyelang/conformance/expected/062_reusable_numeric_builtins.pl +0 -8
- package/test/eyelang/conformance/expected/063_reusable_list_builtins.pl +0 -9
- package/test/eyelang/conformance/expected/064_reusable_string_builtins.pl +0 -10
- package/test/eyelang/conformance/expected/065_reusable_term_control_builtins.pl +0 -6
- package/test/eyelang/conformance/expected/066_numeric_edges.pl +0 -12
- package/test/eyelang/conformance/expected/067_list_edges.pl +0 -8
- package/test/eyelang/conformance/expected/068_list_generation_order.pl +0 -10
- package/test/eyelang/conformance/expected/069_list_summaries_and_sets.pl +0 -7
- package/test/eyelang/conformance/expected/070_matches_named_captures.pl +0 -1
- package/test/eyelang/conformance/expected/071_string_edges.pl +0 -8
- package/test/eyelang/conformance/expected/072_string_conversions.pl +0 -8
- package/test/eyelang/conformance/expected/073_term_introspection_edges.pl +0 -8
- package/test/eyelang/conformance/expected/074_forall_edges.pl +0 -5
- package/test/eyelang/conformance/expected/075_aggregation_edges.pl +0 -7
- package/test/eyelang/conformance/expected/076_composed_reusable_builtins.pl +0 -5
- package/test/eyelang/conformance/expected/077_recursive_path_with_lists.pl +0 -3
- package/test/eyelang/conformance/expected/078_mutual_recursion_with_arithmetic.pl +0 -7
- package/test/eyelang/conformance/expected/079_big_integer_arithmetic.pl +0 -6
- package/test/eyelang/conformance/expected/080_rounding_modes.pl +0 -8
- package/test/eyelang/conformance/expected/081_zero_safe_numeric_functions.pl +0 -7
- package/test/eyelang/conformance/expected/082_comparison_semantics.pl +0 -8
- package/test/eyelang/conformance/expected/083_between_modes_and_empty_ranges.pl +0 -8
- package/test/eyelang/conformance/expected/084_append_and_select_composition.pl +0 -10
- package/test/eyelang/conformance/expected/085_nth_and_update_edges.pl +0 -8
- package/test/eyelang/conformance/expected/086_slicing_pipeline.pl +0 -7
- package/test/eyelang/conformance/expected/087_sort_reverse_length.pl +0 -6
- package/test/eyelang/conformance/expected/088_list_summaries_failures.pl +0 -6
- package/test/eyelang/conformance/expected/089_string_split_join_pipeline.pl +0 -4
- package/test/eyelang/conformance/expected/090_string_substring_replace_edges.pl +0 -7
- package/test/eyelang/conformance/expected/091_string_case_and_trim.pl +0 -5
- package/test/eyelang/conformance/expected/092_scalar_string_conversions.pl +0 -7
- package/test/eyelang/conformance/expected/093_regex_named_captures_context.pl +0 -5
- package/test/eyelang/conformance/expected/094_context_holds_enumeration.pl +0 -8
- package/test/eyelang/conformance/expected/095_term_introspection_roundtrip.pl +0 -6
- package/test/eyelang/conformance/expected/096_functor_scalar_edges.pl +0 -6
- package/test/eyelang/conformance/expected/097_control_negation_once_forall.pl +0 -5
- package/test/eyelang/conformance/expected/098_aggregation_nested_templates.pl +0 -5
- package/test/eyelang/conformance/expected/099_materialize_multiple_arities.pl +0 -4
- package/test/eyelang/conformance/expected/100_reusable_builtin_workflow.pl +0 -6
- package/test/eyelang/conformance/expected/core/001_fact_output.out +0 -1
- package/test/eyelang/conformance/expected/core/002_rule_recursion.out +0 -2
- package/test/eyelang/conformance/expected/core/003_terms_and_readback.out +0 -13
- package/test/eyelang/conformance/expected/core/004_conjunction_and_parentheses.out +0 -1
- package/test/eyelang/conformance/expected/core/005_list_deconstruction.out +0 -2
- package/test/eyelang/conformance/expected/core/006_comma_formula_data.out +0 -1
- package/test/eyelang/conformance/expected/core/007_anonymous_variables.out +0 -1
- package/test/eyelang/conformance/expected/core/008_graphic_atoms.out +0 -3
- package/test/eyelang/conformance/expected/core/009_comments_and_whitespace.out +0 -2
- package/test/eyelang/conformance/expected/core/010_variable_scope_and_reuse.out +0 -2
- package/test/eyelang/conformance/expected/core/011_predicate_arity.out +0 -2
- package/test/eyelang/conformance/expected/core/012_nested_compound_unification.out +0 -2
- package/test/eyelang/conformance/expected/core/013_multiple_clauses_order.out +0 -2
- package/test/eyelang/conformance/expected/core/014_failure_filters_answers.out +0 -1
- package/test/eyelang/conformance/expected/core/015_improper_list_unification.out +0 -3
- package/test/eyelang/conformance/expected/core/016_zero_arity_compound.out +0 -1
- package/test/eyelang/conformance/expected/core/017_three_step_recursion.out +0 -3
- package/test/eyelang/conformance/expected/core/018_quoted_atom_readback.out +0 -3
- package/test/eyelang/conformance/expected/core/019_parenthesized_three_conjuncts.out +0 -1
- package/test/eyelang/conformance/expected/core/020_nested_list_terms.out +0 -2
- package/test/eyelang/conformance/expected/core/021_repeated_variable_head.out +0 -2
- package/test/eyelang/conformance/expected/core/022_rule_head_structure.out +0 -2
- package/test/eyelang/conformance/expected/core/023_quoted_escapes_readback.out +0 -2
- package/test/eyelang/conformance/expected/core/024_numeric_literal_readback.out +0 -3
- package/test/eyelang/conformance/expected/core/025_body_parentheses_with_formula_data.out +0 -1
- package/test/eyelang/conformance/expected/core/026_underscore_named_variable_reuse.out +0 -1
- package/test/eyelang/conformance/expected/extension/001_default_derived_output.out +0 -3
- package/test/eyelang/conformance/expected/extension/002_materialize_focus.out +0 -1
- package/test/eyelang/conformance/expected/extension/003_arithmetic_and_comparison.out +0 -9
- package/test/eyelang/conformance/expected/extension/004_strings_and_atoms.out +0 -2
- package/test/eyelang/conformance/expected/extension/005_lists_aggregation_ordering.out +0 -9
- package/test/eyelang/conformance/expected/extension/006_holds_parts.out +0 -3
- package/test/eyelang/conformance/expected/extension/007_negation_once_generators.out +0 -2
- package/test/eyelang/conformance/expected/extension/008_equality_and_inequality.out +0 -4
- package/test/eyelang/conformance/expected/extension/009_list_relations.out +0 -4
- package/test/eyelang/conformance/expected/extension/010_append_splits.out +0 -3
- package/test/eyelang/conformance/expected/extension/011_matching_and_comparison.out +0 -5
- package/test/eyelang/conformance/expected/extension/012_memoize_declaration.out +0 -2
- package/test/eyelang/conformance/expected/extension/013_numeric_functions.out +0 -7
- package/test/eyelang/conformance/expected/extension/014_between_enumeration.out +0 -3
- package/test/eyelang/conformance/expected/extension/015_smallest_divisor.out +0 -1
- package/test/eyelang/conformance/expected/extension/016_negation_filter.out +0 -2
- package/test/eyelang/conformance/expected/extension/017_once_user_predicate.out +0 -1
- package/test/eyelang/conformance/expected/extension/018_findall_user_goal.out +0 -1
- package/test/eyelang/conformance/expected/extension/019_sort_deduplicates_atoms.out +0 -1
- package/test/eyelang/conformance/expected/extension/020_append_bound_prefix_suffix.out +0 -2
- package/test/eyelang/conformance/expected/extension/021_nth0_index_generation.out +0 -1
- package/test/eyelang/conformance/expected/extension/022_set_nth0_edges.out +0 -2
- package/test/eyelang/conformance/expected/extension/023_select_duplicate_occurrences.out +0 -2
- package/test/eyelang/conformance/expected/extension/024_not_member_filter.out +0 -1
- package/test/eyelang/conformance/expected/extension/026_nested_holds_parts.out +0 -3
- package/test/eyelang/conformance/expected/extension/027_holds_member.out +0 -2
- package/test/eyelang/conformance/expected/extension/027_materialize_excludes_source_fact.out +0 -1
- package/test/eyelang/conformance/expected/extension/028_numeric_and_lexical_comparison.out +0 -3
- package/test/eyelang/conformance/expected/extension/029_string_matching_filters.out +0 -2
- package/test/eyelang/conformance/expected/extension/030_string_and_atom_concat.out +0 -1
- package/test/eyelang/conformance/expected/extension/031_countall_empty_and_nonempty.out +0 -1
- package/test/eyelang/conformance/expected/extension/032_sumall_numeric_template.out +0 -1
- package/test/eyelang/conformance/expected/extension/033_aggregate_min_template.out +0 -1
- package/test/eyelang/conformance/expected/extension/034_aggregate_max_compound_key.out +0 -1
- package/test/eyelang/conformance/expected/extension/035_date_difference.out +0 -2
- package/test/eyelang/conformance/expected/extension/036_reusable_numeric_builtins.out +0 -8
- package/test/eyelang/conformance/expected/extension/037_reusable_list_builtins.out +0 -9
- package/test/eyelang/conformance/expected/extension/038_reusable_string_builtins.out +0 -10
- package/test/eyelang/conformance/expected/extension/039_reusable_term_control_builtins.out +0 -6
- package/test/eyelang/conformance/expected/extension/044_matches_named_captures.out +0 -1
- package/test/eyelang/run-all.mjs +0 -20
- package/test/eyelang/run-conformance.mjs +0 -78
- package/test/eyelang/run-examples.mjs +0 -125
- package/test/eyelang/run-regression.mjs +0 -612
- package/test/eyelang/test-style.mjs +0 -94
- package/test/eyelang.test.js +0 -58
|
@@ -1,94 +0,0 @@
|
|
|
1
|
-
// Shared test output helpers.
|
|
2
|
-
// The runners use this small reporter so individual suites and `npm test` share
|
|
3
|
-
// one compact Eyeling-style layout: colored OK/FAIL, sequence number, test description, and dimmed timing.
|
|
4
|
-
import process from 'node:process';
|
|
5
|
-
import { fileURLToPath } from 'node:url';
|
|
6
|
-
import path from 'node:path';
|
|
7
|
-
|
|
8
|
-
const useColor = process.env.NO_COLOR == null && (
|
|
9
|
-
Boolean(process.stdout.isTTY) ||
|
|
10
|
-
Boolean(process.env.FORCE_COLOR && process.env.FORCE_COLOR !== '0')
|
|
11
|
-
);
|
|
12
|
-
|
|
13
|
-
export const colors = {
|
|
14
|
-
green: useColor ? '\x1b[32m' : '',
|
|
15
|
-
red: useColor ? '\x1b[31m' : '',
|
|
16
|
-
yellow: useColor ? '\x1b[33m' : '',
|
|
17
|
-
dim: useColor ? '\x1b[2m' : '',
|
|
18
|
-
reset: useColor ? '\x1b[0m' : '',
|
|
19
|
-
};
|
|
20
|
-
|
|
21
|
-
export class TestReporter {
|
|
22
|
-
constructor({ stdout = process.stdout, stderr = process.stderr } = {}) {
|
|
23
|
-
this.stdout = stdout;
|
|
24
|
-
this.stderr = stderr;
|
|
25
|
-
this.ok = 0;
|
|
26
|
-
this.total = 0;
|
|
27
|
-
this.startedAt = nowMs();
|
|
28
|
-
this.sectionCount = 0;
|
|
29
|
-
this.currentSection = null;
|
|
30
|
-
}
|
|
31
|
-
|
|
32
|
-
section(name) {
|
|
33
|
-
const prefix = this.sectionCount === 0 ? '' : '\n';
|
|
34
|
-
this.stdout.write(`${prefix}${colors.yellow}== ${name}${colors.reset}\n`);
|
|
35
|
-
this.currentSection = {
|
|
36
|
-
name,
|
|
37
|
-
okAtStart: this.ok,
|
|
38
|
-
totalAtStart: this.total,
|
|
39
|
-
startedAt: nowMs(),
|
|
40
|
-
};
|
|
41
|
-
this.sectionCount++;
|
|
42
|
-
}
|
|
43
|
-
|
|
44
|
-
sectionTotal(label = null) {
|
|
45
|
-
if (this.currentSection == null) return;
|
|
46
|
-
|
|
47
|
-
const ok = this.ok - this.currentSection.okAtStart;
|
|
48
|
-
const total = this.total - this.currentSection.totalAtStart;
|
|
49
|
-
const ms = nowMs() - this.currentSection.startedAt;
|
|
50
|
-
const suite = label ?? defaultSectionLabel(this.currentSection.name);
|
|
51
|
-
this.stdout.write(`${colors.green}OK${colors.reset} ${ok}/${total} ${suite} tests passed ${colors.dim}(${ms} ms)${colors.reset}\n`);
|
|
52
|
-
}
|
|
53
|
-
|
|
54
|
-
test(name, run) {
|
|
55
|
-
this.total++;
|
|
56
|
-
const nr = String(this.total).padStart(3, '0');
|
|
57
|
-
const startedAt = nowMs();
|
|
58
|
-
|
|
59
|
-
try {
|
|
60
|
-
run();
|
|
61
|
-
const ms = nowMs() - startedAt;
|
|
62
|
-
this.ok++;
|
|
63
|
-
this.stdout.write(`${colors.green}OK${colors.reset} ${nr} ${name} ${colors.dim}(${ms} ms)${colors.reset}\n`);
|
|
64
|
-
} catch (error) {
|
|
65
|
-
const ms = nowMs() - startedAt;
|
|
66
|
-
this.stderr.write(`${colors.red}FAIL${colors.reset} ${nr} ${name} ${colors.dim}(${ms} ms)${colors.reset}\n`);
|
|
67
|
-
this.stderr.write(`${error?.stack ?? String(error)}\n`);
|
|
68
|
-
throw error;
|
|
69
|
-
}
|
|
70
|
-
}
|
|
71
|
-
|
|
72
|
-
totalLine() {
|
|
73
|
-
const ms = nowMs() - this.startedAt;
|
|
74
|
-
this.stdout.write(`\n${colors.yellow}== Total${colors.reset}\n`);
|
|
75
|
-
this.stdout.write(`${colors.green}OK${colors.reset} ${this.ok}/${this.total} tests passed ${colors.dim}(${ms} ms)${colors.reset}\n`);
|
|
76
|
-
}
|
|
77
|
-
}
|
|
78
|
-
|
|
79
|
-
export function nowMs() {
|
|
80
|
-
return Number(process.hrtime.bigint() / 1000000n);
|
|
81
|
-
}
|
|
82
|
-
|
|
83
|
-
export function isMainModule(metaUrl) {
|
|
84
|
-
return process.argv[1] != null && path.resolve(process.argv[1]) === fileURLToPath(metaUrl);
|
|
85
|
-
}
|
|
86
|
-
|
|
87
|
-
function defaultSectionLabel(name) {
|
|
88
|
-
return String(name)
|
|
89
|
-
.replace(/^Conformance\s+/, 'conformance ')
|
|
90
|
-
.replace(/^Examples$/, 'examples')
|
|
91
|
-
.replace(/^Regression$/, 'regression')
|
|
92
|
-
.replace(/^API$/, 'API')
|
|
93
|
-
.replace(/^White-box$/, 'white-box');
|
|
94
|
-
}
|
package/test/eyelang.test.js
DELETED
|
@@ -1,58 +0,0 @@
|
|
|
1
|
-
'use strict';
|
|
2
|
-
|
|
3
|
-
const assert = require('node:assert/strict');
|
|
4
|
-
const cp = require('node:child_process');
|
|
5
|
-
const { pathToFileURL } = require('node:url');
|
|
6
|
-
|
|
7
|
-
const eyeling = require('..');
|
|
8
|
-
const { detail, failResult, info, pass } = require('./report');
|
|
9
|
-
|
|
10
|
-
const startedAt = Date.now();
|
|
11
|
-
const program = `
|
|
12
|
-
materialize(out, 1).
|
|
13
|
-
in(done).
|
|
14
|
-
out(X) :- in(X).
|
|
15
|
-
`;
|
|
16
|
-
|
|
17
|
-
(async () => {
|
|
18
|
-
info('Checking eyelang second-engine integration…');
|
|
19
|
-
|
|
20
|
-
const syncOutput = eyeling.reason({ engine: 'eyelang' }, program);
|
|
21
|
-
assert.match(syncOutput, /out\(done\)\./);
|
|
22
|
-
|
|
23
|
-
const asyncOutput = await eyeling.reasonEyelang(program);
|
|
24
|
-
assert.match(asyncOutput, /out\(done\)\./);
|
|
25
|
-
|
|
26
|
-
const asyncRun = await eyeling.runAsync(program, { engine: 'eyelang' });
|
|
27
|
-
assert.match(asyncRun.stdout, /out\(done\)\./);
|
|
28
|
-
|
|
29
|
-
const subpath = await import('eyeling/eyelang');
|
|
30
|
-
assert.equal(typeof subpath.run, 'function');
|
|
31
|
-
assert.match(subpath.run(program).stdout, /out\(done\)\./);
|
|
32
|
-
|
|
33
|
-
const cli = cp.spawnSync(process.execPath, ['bin/eyeling.cjs', '--engine', 'eyelang', 'examples/eyelang/ancestor.pl'], {
|
|
34
|
-
cwd: process.cwd(),
|
|
35
|
-
encoding: 'utf8',
|
|
36
|
-
maxBuffer: 5 * 1024 * 1024,
|
|
37
|
-
});
|
|
38
|
-
assert.equal(cli.status, 0, cli.stderr || cli.stdout);
|
|
39
|
-
assert.match(cli.stdout, /ancestor\(pat, emma\)\./);
|
|
40
|
-
|
|
41
|
-
const directCli = cp.spawnSync(process.execPath, ['lib/eyelang/bin.js', 'examples/eyelang/ancestor.pl'], {
|
|
42
|
-
cwd: process.cwd(),
|
|
43
|
-
encoding: 'utf8',
|
|
44
|
-
maxBuffer: 5 * 1024 * 1024,
|
|
45
|
-
});
|
|
46
|
-
assert.equal(directCli.status, 0, directCli.stderr || directCli.stdout);
|
|
47
|
-
assert.match(directCli.stdout, /ancestor\(jan, emma\)\./);
|
|
48
|
-
|
|
49
|
-
// Sanity check the ESM file URL too; this catches nested package type regressions.
|
|
50
|
-
const esm = await import(pathToFileURL(`${process.cwd()}/lib/eyelang/index.js`).href);
|
|
51
|
-
assert.equal(typeof esm.Program, 'function');
|
|
52
|
-
|
|
53
|
-
pass(1, 'eyelang second-engine integration passed', Date.now() - startedAt);
|
|
54
|
-
})().catch((e) => {
|
|
55
|
-
failResult(1, 'eyelang second-engine integration failed', Date.now() - startedAt);
|
|
56
|
-
detail(e && e.stack ? e.stack : String(e));
|
|
57
|
-
process.exit(1);
|
|
58
|
-
});
|