eyelang 1.6.0 → 1.7.0
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 +39 -602
- package/bin/eyelang.js +7 -0
- package/docs/guide.md +591 -0
- package/docs/language-reference.md +763 -0
- package/examples/access-control-policy.eye +52 -0
- package/examples/ackermann.eye +47 -0
- package/examples/age.eye +26 -0
- package/examples/aliases-and-namespaces.eye +20 -0
- package/examples/alignment-demo.eye +44 -0
- package/examples/allen-interval-calculus.eye +64 -0
- package/examples/ancestor.eye +22 -0
- package/examples/animal.eye +21 -0
- package/examples/annotation.eye +34 -0
- package/examples/auroracare.eye +309 -0
- package/examples/backward.eye +11 -0
- package/examples/basic-monadic.eye +10032 -0
- package/examples/bayes-diagnosis.eye +108 -0
- package/examples/bayes-therapy.eye +189 -0
- package/examples/beam-deflection.eye +48 -0
- package/examples/binomial-vandermonde.eye +49 -0
- package/examples/blocks-world-planning.eye +77 -0
- package/examples/bmi.eye +232 -0
- package/examples/braking-safety-worlds.eye +69 -0
- package/examples/buck-converter-design.eye +83 -0
- package/examples/cache-performance.eye +56 -0
- package/examples/canary-release.eye +51 -0
- package/examples/cat-koko.eye +24 -0
- package/examples/catalan-convolution.eye +37 -0
- package/examples/chart-parser.eye +65 -0
- package/examples/clinical-trial-screening.eye +97 -0
- package/examples/collatz-1000.eye +45 -0
- package/examples/combinatorics-findall-sort.eye +38 -0
- package/examples/competitive-enzyme-kinetics.eye +78 -0
- package/examples/complex.eye +133 -0
- package/examples/composition-of-injective-functions-is-injective.eye +50 -0
- package/examples/context-association.eye +53 -0
- package/examples/context-schema-audit.eye +46 -0
- package/examples/continued-fraction-sqrt2.eye +36 -0
- package/examples/control-system.eye +76 -0
- package/examples/critical-path-schedule.eye +82 -0
- package/examples/cyclic-path.eye +18 -0
- package/examples/d3-group.eye +99 -0
- package/examples/dairy-energy-balance.eye +66 -0
- package/examples/data-negotiation.eye +38 -0
- package/examples/deep-taxonomy-10.eye +115 -0
- package/examples/deep-taxonomy-100.eye +385 -0
- package/examples/deep-taxonomy-1000.eye +3085 -0
- package/examples/deep-taxonomy-10000.eye +30094 -0
- package/examples/deep-taxonomy-100000.eye +300184 -0
- package/examples/delfour.eye +281 -0
- package/examples/deontic-logic.eye +52 -0
- package/examples/derived-backward-rule.eye +30 -0
- package/examples/derived-rule.eye +27 -0
- package/examples/diamond-property.eye +38 -0
- package/examples/dijkstra-findall-sort.eye +43 -0
- package/examples/dijkstra-risk-path.eye +87 -0
- package/examples/dijkstra.eye +50 -0
- package/examples/dining-philosophers.eye +147 -0
- package/examples/dog.eye +25 -0
- package/examples/dpv-odrl-purpose-mapping.eye +48 -0
- package/examples/drone-corridor-planner.eye +48 -0
- package/examples/easter-computus.eye +88 -0
- package/examples/electrical-rc-filter.eye +37 -0
- package/examples/epidemic-policy.eye +66 -0
- package/examples/equivalence-classes-overlap-implies-same-class.eye +27 -0
- package/examples/eulerian-path.eye +87 -0
- package/examples/ev-range-worlds.eye +87 -0
- package/examples/existential-rule.eye +21 -0
- package/examples/exoplanet-validation-worlds.eye +94 -0
- package/examples/expression-eval.eye +45 -0
- package/examples/family-cousins.eye +67 -0
- package/examples/fastpow.eye +61 -0
- package/examples/fft8-numeric.eye +85 -0
- package/examples/fibonacci.eye +60 -0
- package/examples/field-nitrogen-balance.eye +73 -0
- package/examples/flandor.eye +296 -0
- package/examples/floating-point.eye +28 -0
- package/examples/four-color-map.eye +133 -0
- package/examples/fundamental-theorem-arithmetic.eye +119 -0
- package/examples/gd-step-certified.eye +162 -0
- package/examples/gdpr-compliance.eye +69 -0
- package/examples/good-cobbler.eye +16 -0
- package/examples/gps.eye +146 -0
- package/examples/graph-reachability.eye +33 -0
- package/examples/graph.eye +35 -0
- package/examples/gray-code-counter.eye +47 -0
- package/examples/greatest-lower-bound-uniqueness.eye +30 -0
- package/examples/group-inverse-uniqueness.eye +36 -0
- package/examples/hamiltonian-path.eye +51 -0
- package/examples/hamming-code.eye +109 -0
- package/examples/hanoi.eye +19 -0
- package/examples/heat-loss.eye +56 -0
- package/examples/heron-theorem.eye +42 -0
- package/examples/ideal-gas-law.eye +39 -0
- package/examples/illegitimate-reasoning.eye +88 -0
- package/examples/integer-partitions.eye +35 -0
- package/examples/intuitionistic-logic-kripke.eye +69 -0
- package/examples/job-shop-scheduling.eye +48 -0
- package/examples/knapsack-optimization.eye +46 -0
- package/examples/knowledge-engineering-alignment-flow.eye +46 -0
- package/examples/language.eye +25 -0
- package/examples/law-of-cosines.eye +37 -0
- package/examples/least-squares-regression.eye +85 -0
- package/examples/linear-logic-resources.eye +51 -0
- package/examples/list-collection.eye +35 -0
- package/examples/lldm.eye +80 -0
- package/examples/manufacturing-quality-control.eye +73 -0
- package/examples/matrix-chain-order.eye +79 -0
- package/examples/microgrid-dispatch.eye +89 -0
- package/examples/missionaries-cannibals.eye +53 -0
- package/examples/modal-logic-kripke.eye +45 -0
- package/examples/modular-exponentiation.eye +35 -0
- package/examples/monkey-bananas.eye +45 -0
- package/examples/n-queens-8.eye +35 -0
- package/examples/network-sla.eye +48 -0
- package/examples/newton-raphson.eye +48 -0
- package/examples/nixon-diamond.eye +37 -0
- package/examples/observability-log-correlation.eye +40 -0
- package/examples/odrl-dpv-fpv-trust-flow.eye +51 -0
- package/examples/odrl-dpv-healthcare-risk-ranked.eye +270 -0
- package/examples/odrl-dpv-risk-ranked.eye +320 -0
- package/examples/orbital-transfer-design.eye +116 -0
- package/examples/output/basic-monadic.eye +1518 -0
- package/examples/output/binomial-vandermonde.eye +4 -0
- package/examples/output/catalan-convolution.eye +4 -0
- package/examples/output/chart-parser.eye +6 -0
- package/examples/output/collatz-1000.eye +1000 -0
- package/examples/output/complex.eye +6 -0
- package/examples/output/context-schema-audit.eye +12 -0
- package/examples/output/continued-fraction-sqrt2.eye +4 -0
- package/examples/output/critical-path-schedule.eye +19 -0
- package/examples/output/dpv-odrl-purpose-mapping.eye +18 -0
- package/examples/output/graph.eye +21 -0
- package/examples/output/integer-partitions.eye +4 -0
- package/examples/output/intuitionistic-logic-kripke.eye +5 -0
- package/examples/output/job-shop-scheduling.eye +3 -0
- package/examples/output/knapsack-optimization.eye +4 -0
- package/examples/output/knowledge-engineering-alignment-flow.eye +17 -0
- package/examples/output/language.eye +6 -0
- package/examples/output/linear-logic-resources.eye +2 -0
- package/examples/output/matrix-chain-order.eye +4 -0
- package/examples/output/missionaries-cannibals.eye +3 -0
- package/examples/output/modal-logic-kripke.eye +4 -0
- package/examples/output/modular-exponentiation.eye +4 -0
- package/examples/output/n-queens-8.eye +1 -0
- package/examples/output/observability-log-correlation.eye +28 -0
- package/examples/output/odrl-dpv-fpv-trust-flow.eye +9 -0
- package/examples/output/path-discovery.eye +3 -0
- package/examples/output/pell-equation.eye +4 -0
- package/examples/output/reusable-builtins.eye +5 -0
- package/examples/output/send-more-money.eye +3 -0
- package/examples/output/stable-marriage.eye +2 -0
- package/examples/output/stirling-bell-numbers.eye +4 -0
- package/examples/output/sudoku-4x4.eye +2 -0
- package/examples/output/term-tools.eye +6 -0
- package/examples/output/totient-summatory.eye +4 -0
- package/examples/output/trust-flow-provenance-threshold.eye +6 -0
- package/examples/output/vulnerability-impact.eye +20 -0
- package/examples/output/web-names.eye +10 -0
- package/examples/output/weighted-interval-scheduling.eye +5 -0
- package/examples/path-discovery.eye +45013 -0
- package/examples/peano-arithmetic.eye +33 -0
- package/examples/peasant.eye +29 -0
- package/examples/pell-equation.eye +34 -0
- package/examples/pendulum-period.eye +50 -0
- package/examples/polynomial.eye +124 -0
- package/examples/proof/access-control-policy.eye +158 -0
- package/examples/proof/age.eye +71 -0
- package/examples/proof/aliases-and-namespaces.eye +78 -0
- package/examples/proof/ancestor.eye +140 -0
- package/examples/proof/animal.eye +68 -0
- package/examples/proof/annotation.eye +80 -0
- package/examples/proof/backward.eye +22 -0
- package/examples/proof/bayes-diagnosis.eye +208 -0
- package/examples/proof/beam-deflection.eye +227 -0
- package/examples/proof/cache-performance.eye +310 -0
- package/examples/proof/canary-release.eye +172 -0
- package/examples/proof/cat-koko.eye +86 -0
- package/examples/proof/chart-parser.eye +474 -0
- package/examples/proof/clinical-trial-screening.eye +389 -0
- package/examples/proof/composition-of-injective-functions-is-injective.eye +258 -0
- package/examples/proof/context-association.eye +78 -0
- package/examples/proof/data-negotiation.eye +76 -0
- package/examples/proof/deontic-logic.eye +109 -0
- package/examples/proof/derived-backward-rule.eye +74 -0
- package/examples/proof/derived-rule.eye +43 -0
- package/examples/proof/diamond-property.eye +307 -0
- package/examples/proof/dog.eye +31 -0
- package/examples/proof/dpv-odrl-purpose-mapping.eye +348 -0
- package/examples/proof/electrical-rc-filter.eye +105 -0
- package/examples/proof/epidemic-policy.eye +774 -0
- package/examples/proof/equivalence-classes-overlap-implies-same-class.eye +1098 -0
- package/examples/proof/existential-rule.eye +40 -0
- package/examples/proof/expression-eval.eye +105 -0
- package/examples/proof/floating-point.eye +160 -0
- package/examples/proof/gdpr-compliance.eye +199 -0
- package/examples/proof/good-cobbler.eye +16 -0
- package/examples/proof/graph-reachability.eye +151 -0
- package/examples/proof/greatest-lower-bound-uniqueness.eye +150 -0
- package/examples/proof/group-inverse-uniqueness.eye +84 -0
- package/examples/proof/hanoi.eye +185 -0
- package/examples/proof/heat-loss.eye +228 -0
- package/examples/proof/ideal-gas-law.eye +151 -0
- package/examples/proof/intuitionistic-logic-kripke.eye +133 -0
- package/examples/proof/linear-logic-resources.eye +205 -0
- package/examples/proof/list-collection.eye +52 -0
- package/examples/proof/modal-logic-kripke.eye +125 -0
- package/examples/proof/nixon-diamond.eye +181 -0
- package/examples/proof/proof-contrapositive.eye +78 -0
- package/examples/proof/reusable-builtins.eye +124 -0
- package/examples/proof/security-incident-correlation.eye +270 -0
- package/examples/proof/socket-age.eye +32 -0
- package/examples/proof/socket-family.eye +59 -0
- package/examples/proof/socrates.eye +38 -0
- package/examples/proof/term-tools.eye +95 -0
- package/examples/proof/witch.eye +216 -0
- package/examples/proof-contrapositive.eye +27 -0
- package/examples/quadratic-formula.eye +56 -0
- package/examples/radioactive-decay.eye +58 -0
- package/examples/reusable-builtins.eye +36 -0
- package/examples/riemann-hypothesis.eye +110 -0
- package/examples/security-incident-correlation.eye +69 -0
- package/examples/send-more-money.eye +71 -0
- package/examples/service-impact.eye +41 -0
- package/examples/sieve.eye +20 -0
- package/examples/skolem-functions.eye +52 -0
- package/examples/socket-age.eye +39 -0
- package/examples/socket-family.eye +28 -0
- package/examples/socrates.eye +19 -0
- package/examples/stable-marriage.eye +92 -0
- package/examples/statistics-summary.eye +56 -0
- package/examples/stirling-bell-numbers.eye +32 -0
- package/examples/sudoku-4x4.eye +54 -0
- package/examples/superdense-coding.eye +84 -0
- package/examples/term-tools.eye +32 -0
- package/examples/totient-summatory.eye +33 -0
- package/examples/trust-flow-provenance-threshold.eye +47 -0
- package/examples/turing.eye +69 -0
- package/examples/vector-similarity.eye +60 -0
- package/examples/vulnerability-impact.eye +69 -0
- package/examples/web-names.eye +83 -0
- package/examples/weighted-interval-scheduling.eye +81 -0
- package/examples/witch.eye +38 -0
- package/examples/wolf-goat-cabbage.eye +56 -0
- package/examples/zebra.eye +45 -0
- package/index.d.ts +230 -0
- package/index.js +4 -0
- package/package.json +23 -17
- package/playground.html +1065 -1201
- package/src/bin.js +7 -0
- package/src/builtins/arithmetic.js +19 -8
- package/src/builtins/context.js +42 -0
- package/src/builtins/control.js +12 -0
- package/src/builtins/lists.js +144 -10
- package/src/builtins/registry.js +3 -9
- package/src/builtins/strings.js +207 -14
- package/src/builtins/terms.js +68 -0
- package/src/cli.js +20 -16
- package/src/explain.js +1 -1
- package/src/hash.js +294 -0
- package/src/index.js +0 -1
- package/src/parser.js +101 -33
- package/src/program.js +222 -19
- package/src/solver.js +163 -35
- package/src/term.js +14 -1
- package/test/conformance/README.md +43 -0
- package/test/conformance/cases/001_fact_output.eye +4 -0
- package/test/conformance/cases/002_rule_recursion.eye +7 -0
- package/test/conformance/cases/002_rule_recursion.query +1 -0
- package/test/conformance/cases/003_terms_and_readback.eye +16 -0
- package/test/conformance/cases/003_terms_and_readback.query +1 -0
- package/test/conformance/cases/004_conjunction_and_parentheses.eye +5 -0
- package/test/conformance/cases/004_conjunction_and_parentheses.query +1 -0
- package/test/conformance/cases/005_list_deconstruction.eye +6 -0
- package/test/conformance/cases/005_list_deconstruction.query +1 -0
- package/test/conformance/cases/006_comma_formula_data.eye +4 -0
- package/test/conformance/cases/006_comma_formula_data.query +1 -0
- package/test/conformance/cases/007_anonymous_variables.eye +5 -0
- package/test/conformance/cases/007_anonymous_variables.query +1 -0
- package/test/conformance/cases/008_graphic_atoms.eye +6 -0
- package/test/conformance/cases/008_graphic_atoms.query +1 -0
- package/test/conformance/cases/009_comments_and_whitespace.eye +5 -0
- package/test/conformance/cases/009_comments_and_whitespace.query +1 -0
- package/test/conformance/cases/010_variable_scope_and_reuse.eye +8 -0
- package/test/conformance/cases/010_variable_scope_and_reuse.query +1 -0
- package/test/conformance/cases/011_predicate_arity.eye +6 -0
- package/test/conformance/cases/011_predicate_arity.query +1 -0
- package/test/conformance/cases/012_nested_compound_unification.eye +5 -0
- package/test/conformance/cases/012_nested_compound_unification.query +1 -0
- package/test/conformance/cases/013_multiple_clauses_order.eye +6 -0
- package/test/conformance/cases/013_multiple_clauses_order.query +1 -0
- package/test/conformance/cases/014_failure_filters_answers.eye +7 -0
- package/test/conformance/cases/014_failure_filters_answers.query +1 -0
- package/test/conformance/cases/015_improper_list_unification.eye +6 -0
- package/test/conformance/cases/015_improper_list_unification.query +1 -0
- package/test/conformance/cases/016_arity_zero_atom.eye +4 -0
- package/test/conformance/cases/017_three_step_recursion.eye +8 -0
- package/test/conformance/cases/017_three_step_recursion.query +1 -0
- package/test/conformance/cases/018_quoted_atom_readback.eye +6 -0
- package/test/conformance/cases/018_quoted_atom_readback.query +1 -0
- package/test/conformance/cases/019_parenthesized_three_conjuncts.eye +7 -0
- package/test/conformance/cases/019_parenthesized_three_conjuncts.query +1 -0
- package/test/conformance/cases/020_nested_list_terms.eye +5 -0
- package/test/conformance/cases/020_nested_list_terms.query +1 -0
- package/test/conformance/cases/021_repeated_variable_head.eye +7 -0
- package/test/conformance/cases/022_rule_head_structure.eye +5 -0
- package/test/conformance/cases/023_quoted_escapes_readback.eye +5 -0
- package/test/conformance/cases/024_numeric_literal_readback.eye +6 -0
- package/test/conformance/cases/025_body_parentheses_with_formula_data.eye +5 -0
- package/test/conformance/cases/026_question_underscore_named_variable_reuse.eye +5 -0
- package/test/conformance/cases/027_default_derived_output.eye +5 -0
- package/test/conformance/cases/028_materialize_focus.eye +5 -0
- package/test/conformance/cases/029_arithmetic_and_comparison.eye +11 -0
- package/test/conformance/cases/029_arithmetic_and_comparison.query +1 -0
- package/test/conformance/cases/030_strings_and_atoms.eye +4 -0
- package/test/conformance/cases/030_strings_and_atoms.query +1 -0
- package/test/conformance/cases/031_lists_aggregation_ordering.eye +10 -0
- package/test/conformance/cases/031_lists_aggregation_ordering.query +1 -0
- package/test/conformance/cases/032_holds_parts.eye +4 -0
- package/test/conformance/cases/033_negation_once_generators.eye +7 -0
- package/test/conformance/cases/033_negation_once_generators.query +1 -0
- package/test/conformance/cases/034_equality_and_inequality.eye +6 -0
- package/test/conformance/cases/034_equality_and_inequality.query +1 -0
- package/test/conformance/cases/035_list_relations.eye +5 -0
- package/test/conformance/cases/035_list_relations.query +1 -0
- package/test/conformance/cases/036_append_splits.eye +3 -0
- package/test/conformance/cases/036_append_splits.query +1 -0
- package/test/conformance/cases/037_matching_and_comparison.eye +7 -0
- package/test/conformance/cases/037_matching_and_comparison.query +1 -0
- package/test/conformance/cases/038_table_declaration.eye +8 -0
- package/test/conformance/cases/038_table_declaration.query +1 -0
- package/test/conformance/cases/039_numeric_functions.eye +9 -0
- package/test/conformance/cases/039_numeric_functions.query +1 -0
- package/test/conformance/cases/040_between_enumeration.eye +3 -0
- package/test/conformance/cases/040_between_enumeration.query +1 -0
- package/test/conformance/cases/041_smallest_divisor.eye +3 -0
- package/test/conformance/cases/041_smallest_divisor.query +1 -0
- package/test/conformance/cases/042_negation_filter.eye +7 -0
- package/test/conformance/cases/042_negation_filter.query +1 -0
- package/test/conformance/cases/043_once_user_predicate.eye +5 -0
- package/test/conformance/cases/043_once_user_predicate.query +1 -0
- package/test/conformance/cases/044_findall_user_goal.eye +6 -0
- package/test/conformance/cases/044_findall_user_goal.query +1 -0
- package/test/conformance/cases/045_sort_deduplicates_atoms.eye +3 -0
- package/test/conformance/cases/045_sort_deduplicates_atoms.query +1 -0
- package/test/conformance/cases/046_append_bound_prefix_suffix.eye +4 -0
- package/test/conformance/cases/046_append_bound_prefix_suffix.query +1 -0
- package/test/conformance/cases/047_nth0_index_generation.eye +3 -0
- package/test/conformance/cases/047_nth0_index_generation.query +1 -0
- package/test/conformance/cases/048_set_nth0_edges.eye +4 -0
- package/test/conformance/cases/048_set_nth0_edges.query +1 -0
- package/test/conformance/cases/049_select_duplicate_occurrences.eye +3 -0
- package/test/conformance/cases/049_select_duplicate_occurrences.query +1 -0
- package/test/conformance/cases/050_not_member_filter.eye +6 -0
- package/test/conformance/cases/050_not_member_filter.query +1 -0
- package/test/conformance/cases/051_nested_holds_parts.eye +4 -0
- package/test/conformance/cases/052_holds_member.eye +3 -0
- package/test/conformance/cases/053_materialize_excludes_source_fact.eye +6 -0
- package/test/conformance/cases/054_numeric_and_lexical_comparison.eye +5 -0
- package/test/conformance/cases/054_numeric_and_lexical_comparison.query +1 -0
- package/test/conformance/cases/055_string_matching_filters.eye +6 -0
- package/test/conformance/cases/055_string_matching_filters.query +1 -0
- package/test/conformance/cases/056_string_and_atom_concat.eye +3 -0
- package/test/conformance/cases/056_string_and_atom_concat.query +1 -0
- package/test/conformance/cases/057_countall_empty_and_nonempty.eye +4 -0
- package/test/conformance/cases/057_countall_empty_and_nonempty.query +1 -0
- package/test/conformance/cases/058_sumall_numeric_template.eye +5 -0
- package/test/conformance/cases/058_sumall_numeric_template.query +1 -0
- package/test/conformance/cases/059_aggregate_min_template.eye +5 -0
- package/test/conformance/cases/059_aggregate_min_template.query +1 -0
- package/test/conformance/cases/060_aggregate_max_compound_key.eye +5 -0
- package/test/conformance/cases/060_aggregate_max_compound_key.query +1 -0
- package/test/conformance/cases/061_date_difference.eye +4 -0
- package/test/conformance/cases/062_reusable_numeric_builtins.eye +10 -0
- package/test/conformance/cases/063_reusable_list_builtins.eye +11 -0
- package/test/conformance/cases/064_reusable_string_builtins.eye +12 -0
- package/test/conformance/cases/065_reusable_term_control_builtins.eye +11 -0
- package/test/conformance/cases/066_numeric_edges.eye +14 -0
- package/test/conformance/cases/067_list_edges.eye +10 -0
- package/test/conformance/cases/068_list_generation_order.eye +7 -0
- package/test/conformance/cases/069_list_summaries_and_sets.eye +9 -0
- package/test/conformance/cases/070_matches_named_captures.eye +13 -0
- package/test/conformance/cases/071_string_edges.eye +10 -0
- package/test/conformance/cases/072_string_conversions.eye +10 -0
- package/test/conformance/cases/073_term_introspection_edges.eye +11 -0
- package/test/conformance/cases/074_forall_edges.eye +10 -0
- package/test/conformance/cases/075_aggregation_edges.eye +12 -0
- package/test/conformance/cases/076_composed_reusable_builtins.eye +8 -0
- package/test/conformance/cases/077_recursive_path_with_lists.eye +10 -0
- package/test/conformance/cases/078_mutual_recursion_with_arithmetic.eye +7 -0
- package/test/conformance/cases/079_big_integer_arithmetic.eye +8 -0
- package/test/conformance/cases/080_rounding_modes.eye +10 -0
- package/test/conformance/cases/081_zero_safe_numeric_functions.eye +9 -0
- package/test/conformance/cases/082_comparison_semantics.eye +10 -0
- package/test/conformance/cases/083_between_modes_and_empty_ranges.eye +8 -0
- package/test/conformance/cases/084_append_and_select_composition.eye +7 -0
- package/test/conformance/cases/085_nth_and_update_edges.eye +8 -0
- package/test/conformance/cases/086_slicing_pipeline.eye +10 -0
- package/test/conformance/cases/087_sort_reverse_length.eye +8 -0
- package/test/conformance/cases/088_list_summaries_failures.eye +8 -0
- package/test/conformance/cases/089_string_split_join_pipeline.eye +7 -0
- package/test/conformance/cases/090_string_substring_replace_edges.eye +9 -0
- package/test/conformance/cases/091_string_case_and_trim.eye +7 -0
- package/test/conformance/cases/092_scalar_string_conversions.eye +9 -0
- package/test/conformance/cases/093_regex_named_captures_context.eye +8 -0
- package/test/conformance/cases/094_context_holds_enumeration.eye +7 -0
- package/test/conformance/cases/095_term_introspection_roundtrip.eye +8 -0
- package/test/conformance/cases/096_functor_scalar_edges.eye +8 -0
- package/test/conformance/cases/097_control_negation_once_forall.eye +13 -0
- package/test/conformance/cases/098_aggregation_nested_templates.eye +11 -0
- package/test/conformance/cases/099_materialize_multiple_arities.eye +8 -0
- package/test/conformance/cases/100_reusable_builtin_workflow.eye +10 -0
- package/test/conformance/cases/101_question_mark_variables.eye +7 -0
- package/test/conformance/cases/102_table_declaration.eye +11 -0
- package/test/conformance/cases/103_angle_iri_atoms.eye +7 -0
- package/test/conformance/cases/104_mode_determinism_declarations.eye +11 -0
- package/test/conformance/expected/003_terms_and_readback.eye +13 -0
- package/test/conformance/expected/016_arity_zero_atom.eye +1 -0
- package/test/conformance/expected/029_arithmetic_and_comparison.eye +9 -0
- package/test/conformance/expected/030_strings_and_atoms.eye +2 -0
- package/test/conformance/expected/032_holds_parts.eye +3 -0
- package/test/conformance/expected/035_list_relations.eye +4 -0
- package/test/conformance/expected/051_nested_holds_parts.eye +3 -0
- package/test/conformance/expected/052_holds_member.eye +2 -0
- package/test/conformance/expected/056_string_and_atom_concat.eye +1 -0
- package/test/conformance/expected/062_reusable_numeric_builtins.eye +8 -0
- package/test/conformance/expected/063_reusable_list_builtins.eye +9 -0
- package/test/conformance/expected/064_reusable_string_builtins.eye +10 -0
- package/test/conformance/expected/065_reusable_term_control_builtins.eye +6 -0
- package/test/conformance/expected/066_numeric_edges.eye +12 -0
- package/test/conformance/expected/067_list_edges.eye +8 -0
- package/test/conformance/expected/068_list_generation_order.eye +10 -0
- package/test/conformance/expected/069_list_summaries_and_sets.eye +7 -0
- package/test/conformance/expected/070_matches_named_captures.eye +1 -0
- package/test/conformance/expected/071_string_edges.eye +8 -0
- package/test/conformance/expected/072_string_conversions.eye +8 -0
- package/test/conformance/expected/073_term_introspection_edges.eye +9 -0
- package/test/conformance/expected/074_forall_edges.eye +5 -0
- package/test/conformance/expected/075_aggregation_edges.eye +7 -0
- package/test/conformance/expected/076_composed_reusable_builtins.eye +5 -0
- package/test/conformance/expected/077_recursive_path_with_lists.eye +3 -0
- package/test/conformance/expected/078_mutual_recursion_with_arithmetic.eye +7 -0
- package/test/conformance/expected/079_big_integer_arithmetic.eye +6 -0
- package/test/conformance/expected/080_rounding_modes.eye +8 -0
- package/test/conformance/expected/081_zero_safe_numeric_functions.eye +7 -0
- package/test/conformance/expected/082_comparison_semantics.eye +8 -0
- package/test/conformance/expected/083_between_modes_and_empty_ranges.eye +8 -0
- package/test/conformance/expected/084_append_and_select_composition.eye +10 -0
- package/test/conformance/expected/085_nth_and_update_edges.eye +8 -0
- package/test/conformance/expected/086_slicing_pipeline.eye +7 -0
- package/test/conformance/expected/087_sort_reverse_length.eye +6 -0
- package/test/conformance/expected/088_list_summaries_failures.eye +6 -0
- package/test/conformance/expected/089_string_split_join_pipeline.eye +4 -0
- package/test/conformance/expected/090_string_substring_replace_edges.eye +7 -0
- package/test/conformance/expected/091_string_case_and_trim.eye +5 -0
- package/test/conformance/expected/092_scalar_string_conversions.eye +7 -0
- package/test/conformance/expected/093_regex_named_captures_context.eye +5 -0
- package/test/conformance/expected/094_context_holds_enumeration.eye +8 -0
- package/test/conformance/expected/095_term_introspection_roundtrip.eye +6 -0
- package/test/conformance/expected/096_functor_scalar_edges.eye +6 -0
- package/test/conformance/expected/097_control_negation_once_forall.eye +5 -0
- package/test/conformance/expected/098_aggregation_nested_templates.eye +5 -0
- package/test/conformance/expected/099_materialize_multiple_arities.eye +4 -0
- package/test/conformance/expected/100_reusable_builtin_workflow.eye +6 -0
- package/test/conformance/expected/101_question_mark_variables.eye +3 -0
- package/test/conformance/expected/102_table_declaration.eye +6 -0
- package/test/conformance/expected/103_angle_iri_atoms.eye +3 -0
- package/test/conformance/expected/104_mode_determinism_declarations.eye +4 -0
- package/test/run-all.mjs +20 -0
- package/test/run-conformance.mjs +78 -0
- package/test/run-examples.mjs +155 -0
- package/test/run-regression.mjs +1215 -0
- package/test/test-style.mjs +94 -0
- package/SPEC.md +0 -684
- package/bin/eyelang +0 -7
- package/conformance/README.md +0 -45
- package/conformance/cases/core/001_fact_output.pl +0 -4
- package/conformance/cases/core/001_fact_query.query +0 -1
- package/conformance/cases/core/002_rule_recursion.pl +0 -7
- package/conformance/cases/core/002_rule_recursion.query +0 -1
- package/conformance/cases/core/003_terms_and_readback.pl +0 -16
- package/conformance/cases/core/003_terms_and_readback.query +0 -1
- package/conformance/cases/core/004_conjunction_and_parentheses.pl +0 -5
- package/conformance/cases/core/004_conjunction_and_parentheses.query +0 -1
- package/conformance/cases/core/005_list_deconstruction.pl +0 -6
- package/conformance/cases/core/005_list_deconstruction.query +0 -1
- package/conformance/cases/core/006_comma_formula_data.pl +0 -4
- package/conformance/cases/core/006_comma_formula_data.query +0 -1
- package/conformance/cases/core/007_anonymous_variables.pl +0 -5
- package/conformance/cases/core/007_anonymous_variables.query +0 -1
- package/conformance/cases/core/008_graphic_atoms.pl +0 -6
- package/conformance/cases/core/008_graphic_atoms.query +0 -1
- package/conformance/cases/core/009_comments_and_whitespace.pl +0 -5
- package/conformance/cases/core/009_comments_and_whitespace.query +0 -1
- package/conformance/cases/core/010_variable_scope_and_reuse.pl +0 -8
- package/conformance/cases/core/010_variable_scope_and_reuse.query +0 -1
- package/conformance/cases/core/011_predicate_arity.pl +0 -6
- package/conformance/cases/core/011_predicate_arity.query +0 -1
- package/conformance/cases/core/012_nested_compound_unification.pl +0 -5
- package/conformance/cases/core/012_nested_compound_unification.query +0 -1
- package/conformance/cases/core/013_multiple_clauses_order.pl +0 -6
- package/conformance/cases/core/013_multiple_clauses_order.query +0 -1
- package/conformance/cases/core/014_failure_filters_answers.pl +0 -7
- package/conformance/cases/core/014_failure_filters_answers.query +0 -1
- package/conformance/cases/core/015_improper_list_unification.pl +0 -6
- package/conformance/cases/core/015_improper_list_unification.query +0 -1
- package/conformance/cases/core/016_zero_arity_compound.pl +0 -4
- package/conformance/cases/core/016_zero_arity_compound.query +0 -1
- package/conformance/cases/core/017_three_step_recursion.pl +0 -8
- package/conformance/cases/core/017_three_step_recursion.query +0 -1
- package/conformance/cases/core/018_quoted_atom_readback.pl +0 -6
- package/conformance/cases/core/018_quoted_atom_readback.query +0 -1
- package/conformance/cases/core/019_parenthesized_three_conjuncts.pl +0 -7
- package/conformance/cases/core/019_parenthesized_three_conjuncts.query +0 -1
- package/conformance/cases/core/020_nested_list_terms.pl +0 -5
- package/conformance/cases/core/020_nested_list_terms.query +0 -1
- package/conformance/cases/core/021_repeated_variable_head.pl +0 -7
- package/conformance/cases/core/022_rule_head_structure.pl +0 -5
- package/conformance/cases/core/023_quoted_escapes_readback.pl +0 -5
- package/conformance/cases/core/024_numeric_literal_readback.pl +0 -6
- package/conformance/cases/core/025_body_parentheses_with_formula_data.pl +0 -5
- package/conformance/cases/core/026_underscore_named_variable_reuse.pl +0 -5
- package/conformance/cases/extension/001_default_derived_output.pl +0 -5
- package/conformance/cases/extension/002_materialize_focus.pl +0 -5
- package/conformance/cases/extension/003_arithmetic_and_comparison.pl +0 -12
- package/conformance/cases/extension/003_arithmetic_and_comparison.query +0 -1
- package/conformance/cases/extension/004_strings_and_atoms.pl +0 -6
- package/conformance/cases/extension/004_strings_and_atoms.query +0 -1
- package/conformance/cases/extension/005_lists_aggregation_ordering.pl +0 -10
- package/conformance/cases/extension/005_lists_aggregation_ordering.query +0 -1
- package/conformance/cases/extension/006_formula_terms.pl +0 -5
- package/conformance/cases/extension/006_formula_terms.query +0 -1
- package/conformance/cases/extension/007_negation_once_generators.pl +0 -7
- package/conformance/cases/extension/007_negation_once_generators.query +0 -1
- package/conformance/cases/extension/008_equality_and_inequality.pl +0 -6
- package/conformance/cases/extension/008_equality_and_inequality.query +0 -1
- package/conformance/cases/extension/009_list_relations.pl +0 -6
- package/conformance/cases/extension/009_list_relations.query +0 -1
- package/conformance/cases/extension/010_append_splits.pl +0 -3
- package/conformance/cases/extension/010_append_splits.query +0 -1
- package/conformance/cases/extension/011_matching_and_comparison.pl +0 -7
- package/conformance/cases/extension/011_matching_and_comparison.query +0 -1
- package/conformance/cases/extension/012_memoize_declaration.pl +0 -8
- package/conformance/cases/extension/012_memoize_declaration.query +0 -1
- package/conformance/cases/extension/013_numeric_functions.pl +0 -9
- package/conformance/cases/extension/013_numeric_functions.query +0 -1
- package/conformance/cases/extension/014_between_enumeration.pl +0 -3
- package/conformance/cases/extension/014_between_enumeration.query +0 -1
- package/conformance/cases/extension/015_smallest_divisor.pl +0 -3
- package/conformance/cases/extension/015_smallest_divisor.query +0 -1
- package/conformance/cases/extension/016_negation_filter.pl +0 -7
- package/conformance/cases/extension/016_negation_filter.query +0 -1
- package/conformance/cases/extension/017_once_user_predicate.pl +0 -5
- package/conformance/cases/extension/017_once_user_predicate.query +0 -1
- package/conformance/cases/extension/018_findall_user_goal.pl +0 -6
- package/conformance/cases/extension/018_findall_user_goal.query +0 -1
- package/conformance/cases/extension/019_sort_deduplicates_atoms.pl +0 -3
- package/conformance/cases/extension/019_sort_deduplicates_atoms.query +0 -1
- package/conformance/cases/extension/020_append_bound_prefix_suffix.pl +0 -4
- package/conformance/cases/extension/020_append_bound_prefix_suffix.query +0 -1
- package/conformance/cases/extension/021_nth0_index_generation.pl +0 -3
- package/conformance/cases/extension/021_nth0_index_generation.query +0 -1
- package/conformance/cases/extension/022_set_nth0_edges.pl +0 -4
- package/conformance/cases/extension/022_set_nth0_edges.query +0 -1
- package/conformance/cases/extension/023_select_duplicate_occurrences.pl +0 -3
- package/conformance/cases/extension/023_select_duplicate_occurrences.query +0 -1
- package/conformance/cases/extension/024_not_member_filter.pl +0 -6
- package/conformance/cases/extension/024_not_member_filter.query +0 -1
- package/conformance/cases/extension/025_is_list_filter.pl +0 -5
- package/conformance/cases/extension/025_is_list_filter.query +0 -1
- package/conformance/cases/extension/026_nested_formula_terms.pl +0 -5
- package/conformance/cases/extension/026_nested_formula_terms.query +0 -1
- package/conformance/cases/extension/027_materialize_excludes_source_fact.pl +0 -6
- package/conformance/cases/extension/028_numeric_and_lexical_comparison.pl +0 -5
- package/conformance/cases/extension/028_numeric_and_lexical_comparison.query +0 -1
- package/conformance/cases/extension/029_string_matching_filters.pl +0 -6
- package/conformance/cases/extension/029_string_matching_filters.query +0 -1
- package/conformance/cases/extension/030_string_and_atom_concat.pl +0 -4
- package/conformance/cases/extension/030_string_and_atom_concat.query +0 -1
- package/conformance/cases/extension/031_countall_empty_and_nonempty.pl +0 -4
- package/conformance/cases/extension/031_countall_empty_and_nonempty.query +0 -1
- package/conformance/cases/extension/032_sumall_numeric_template.pl +0 -5
- package/conformance/cases/extension/032_sumall_numeric_template.query +0 -1
- package/conformance/cases/extension/033_aggregate_min_template.pl +0 -5
- package/conformance/cases/extension/033_aggregate_min_template.query +0 -1
- package/conformance/cases/extension/034_aggregate_max_compound_key.pl +0 -5
- package/conformance/cases/extension/034_aggregate_max_compound_key.query +0 -1
- package/conformance/cases/extension/035_date_difference.pl +0 -4
- package/conformance/cases/extension/036_extended_gcd.pl +0 -3
- package/conformance/cases/extension/037_collatz_trajectory.pl +0 -3
- package/conformance/cases/extension/038_kaprekar_steps.pl +0 -3
- package/conformance/cases/extension/039_goldbach_pair.pl +0 -3
- package/conformance/cases/extension/040_matrix_operations.pl +0 -5
- package/conformance/cases/extension/041_atom_range_generators.pl +0 -5
- package/conformance/cases/extension/042_n_queens_small.pl +0 -3
- package/conformance/cases/extension/043_cnf_model.pl +0 -3
- package/conformance/cases/extension/044_cover9_filter.pl +0 -6
- package/conformance/cases/extension/045_alphametic_sum_small.pl +0 -3
- package/conformance/cases/extension/046_bounded_subset.pl +0 -4
- package/conformance/expected/core/003_terms_and_readback.out +0 -13
- package/conformance/expected/core/016_zero_arity_compound.out +0 -1
- package/conformance/expected/extension/003_arithmetic_and_comparison.out +0 -10
- package/conformance/expected/extension/004_strings_and_atoms.out +0 -4
- package/conformance/expected/extension/006_formula_terms.out +0 -4
- package/conformance/expected/extension/009_list_relations.out +0 -5
- package/conformance/expected/extension/025_is_list_filter.out +0 -1
- package/conformance/expected/extension/026_nested_formula_terms.out +0 -6
- package/conformance/expected/extension/030_string_and_atom_concat.out +0 -2
- package/conformance/expected/extension/036_extended_gcd.out +0 -1
- package/conformance/expected/extension/037_collatz_trajectory.out +0 -1
- package/conformance/expected/extension/038_kaprekar_steps.out +0 -1
- package/conformance/expected/extension/039_goldbach_pair.out +0 -2
- package/conformance/expected/extension/040_matrix_operations.out +0 -3
- package/conformance/expected/extension/041_atom_range_generators.out +0 -8
- package/conformance/expected/extension/042_n_queens_small.out +0 -2
- package/conformance/expected/extension/043_cnf_model.out +0 -1
- package/conformance/expected/extension/044_cover9_filter.out +0 -2
- package/conformance/expected/extension/045_alphametic_sum_small.out +0 -4
- package/conformance/expected/extension/046_bounded_subset.out +0 -5
- package/examples/access-control-policy.pl +0 -52
- package/examples/ackermann.pl +0 -46
- package/examples/age.pl +0 -28
- package/examples/aliases-and-namespaces.pl +0 -22
- package/examples/alignment-demo.pl +0 -44
- package/examples/allen-interval-calculus.pl +0 -64
- package/examples/ancestor.pl +0 -21
- package/examples/animal.pl +0 -21
- package/examples/annotation-rdf12.ttl +0 -12
- package/examples/annotation.pl +0 -34
- package/examples/auroracare.pl +0 -309
- package/examples/backward.pl +0 -12
- package/examples/basic-monadic.pl +0 -10018
- package/examples/bayes-diagnosis.pl +0 -108
- package/examples/bayes-therapy.pl +0 -182
- package/examples/beam-deflection.pl +0 -50
- package/examples/blocks-world-planning.pl +0 -75
- package/examples/bmi.pl +0 -232
- package/examples/braking-safety-worlds.pl +0 -69
- package/examples/buck-converter-design.pl +0 -78
- package/examples/cache-performance.pl +0 -54
- package/examples/canary-release.pl +0 -49
- package/examples/cat-koko.pl +0 -24
- package/examples/clinical-trial-screening.pl +0 -92
- package/examples/collatz-1000.pl +0 -14
- package/examples/combinatorics-findall-sort.pl +0 -37
- package/examples/competitive-enzyme-kinetics.pl +0 -78
- package/examples/complex-matrix-stability.pl +0 -45
- package/examples/complex.pl +0 -121
- package/examples/composition-of-injective-functions-is-injective.pl +0 -50
- package/examples/context-association.pl +0 -53
- package/examples/control-system.pl +0 -72
- package/examples/cryptarithmetic-send-more-money.pl +0 -49
- package/examples/cyclic-path.pl +0 -16
- package/examples/d3-group.pl +0 -100
- package/examples/dairy-energy-balance.pl +0 -65
- package/examples/data-negotiation.pl +0 -39
- package/examples/deep-taxonomy-10.pl +0 -115
- package/examples/deep-taxonomy-100.pl +0 -385
- package/examples/deep-taxonomy-1000.pl +0 -3085
- package/examples/deep-taxonomy-10000.pl +0 -30094
- package/examples/deep-taxonomy-100000.pl +0 -300184
- package/examples/delfour.pl +0 -281
- package/examples/dense-hamiltonian-cycle.pl +0 -92
- package/examples/deontic-logic.pl +0 -52
- package/examples/derived-backward-rule.pl +0 -30
- package/examples/derived-rule.pl +0 -27
- package/examples/diamond-property.pl +0 -38
- package/examples/dijkstra-findall-sort.pl +0 -44
- package/examples/dijkstra-risk-path.pl +0 -86
- package/examples/dijkstra.pl +0 -46
- package/examples/dining-philosophers.pl +0 -140
- package/examples/directional-language.ttl +0 -9
- package/examples/dog.pl +0 -25
- package/examples/drone-corridor-planner.pl +0 -51
- package/examples/easter-computus.pl +0 -89
- package/examples/electrical-rc-filter.pl +0 -36
- package/examples/epidemic-policy.pl +0 -67
- package/examples/equivalence-classes-overlap-implies-same-class.pl +0 -27
- package/examples/eulerian-path.pl +0 -85
- package/examples/ev-range-worlds.pl +0 -82
- package/examples/exact-cover-sudoku.pl +0 -113
- package/examples/existential-rule.pl +0 -18
- package/examples/exoplanet-validation-worlds.pl +0 -88
- package/examples/expression-eval.pl +0 -43
- package/examples/eyeling-ackermann.n3 +0 -41
- package/examples/eyeling-age-threshold.n3 +0 -12
- package/examples/eyeling-alignment-demo.n3 +0 -11
- package/examples/eyeling-allen-interval-calculus-small.n3 +0 -13
- package/examples/eyeling-backward-recursion.n3 +0 -11
- package/examples/eyeling-backward.n3 +0 -10
- package/examples/eyeling-basic-monadic-small.n3 +0 -11
- package/examples/eyeling-bmi.n3 +0 -10
- package/examples/eyeling-cat-koko.n3 +0 -15
- package/examples/eyeling-collatz-small.n3 +0 -11
- package/examples/eyeling-collection.n3 +0 -11
- package/examples/eyeling-complex-arithmetic.n3 +0 -10
- package/examples/eyeling-context-association.n3 +0 -11
- package/examples/eyeling-control-system-small.n3 +0 -11
- package/examples/eyeling-crypto-builtins-extra.n3 +0 -10
- package/examples/eyeling-crypto-builtins.n3 +0 -8
- package/examples/eyeling-deep-taxonomy-10.n3 +0 -18
- package/examples/eyeling-derived-backward-rule-flat.n3 +0 -10
- package/examples/eyeling-derived-rule-flat.n3 +0 -9
- package/examples/eyeling-digital-product-passport-small.n3 +0 -11
- package/examples/eyeling-dijkstra-tiny.n3 +0 -14
- package/examples/eyeling-dog-license.n3 +0 -13
- package/examples/eyeling-drone-corridor-planner-small.n3 +0 -13
- package/examples/eyeling-equals.n3 +0 -8
- package/examples/eyeling-equivalence-classes.n3 +0 -11
- package/examples/eyeling-euler-identity.n3 +0 -9
- package/examples/eyeling-existential-rule.n3 +0 -9
- package/examples/eyeling-expression-eval.n3 +0 -11
- package/examples/eyeling-family-cousins-extended.n3 +0 -12
- package/examples/eyeling-fastpow.n3 +0 -10
- package/examples/eyeling-fibonacci.n3 +0 -44
- package/examples/eyeling-french-cities-reachability.n3 +0 -22
- package/examples/eyeling-goldbach-small.n3 +0 -22
- package/examples/eyeling-good-cobbler.n3 +0 -9
- package/examples/eyeling-list-builtins.n3 +0 -10
- package/examples/eyeling-list-collection-extra.n3 +0 -9
- package/examples/eyeling-math-builtins.n3 +0 -9
- package/examples/eyeling-string-builtins-extra.n3 +0 -9
- package/examples/eyeling-string-builtins.n3 +0 -10
- package/examples/eyeling-time-builtins.n3 +0 -11
- package/examples/eyeling-time-components-extra.n3 +0 -10
- package/examples/eyeling-witch.n3 +0 -10
- package/examples/family-cousins.n3 +0 -17
- package/examples/family-cousins.pl +0 -65
- package/examples/fastpow.pl +0 -53
- package/examples/fft8-numeric.pl +0 -83
- package/examples/fibonacci.pl +0 -53
- package/examples/field-nitrogen-balance.pl +0 -70
- package/examples/flandor.pl +0 -296
- package/examples/floating-point.pl +0 -23
- package/examples/four-color-map.pl +0 -127
- package/examples/fundamental-theorem-arithmetic.pl +0 -113
- package/examples/gcd-bezout-identity.pl +0 -48
- package/examples/gd-step-certified.pl +0 -158
- package/examples/gdpr-compliance.pl +0 -69
- package/examples/goldbach-1000.pl +0 -185
- package/examples/good-cobbler.pl +0 -14
- package/examples/gps.pl +0 -152
- package/examples/graph-reachability.pl +0 -36
- package/examples/gray-code-counter.pl +0 -48
- package/examples/greatest-lower-bound-uniqueness.pl +0 -28
- package/examples/group-inverse-uniqueness.pl +0 -34
- package/examples/hamiltonian-cycle.pl +0 -55
- package/examples/hamiltonian-path.pl +0 -49
- package/examples/hamming-code.pl +0 -105
- package/examples/hanoi.pl +0 -20
- package/examples/heat-loss.pl +0 -51
- package/examples/heron-theorem.pl +0 -36
- package/examples/ideal-gas-law.pl +0 -37
- package/examples/illegitimate-reasoning.pl +0 -88
- package/examples/kaprekar.pl +0 -32
- package/examples/law-of-cosines.pl +0 -31
- package/examples/least-squares-regression.pl +0 -81
- package/examples/list-collection.pl +0 -33
- package/examples/lldm.pl +0 -78
- package/examples/manufacturing-quality-control.pl +0 -73
- package/examples/matrix.pl +0 -296
- package/examples/microgrid-dispatch.pl +0 -85
- package/examples/monkey-bananas.pl +0 -45
- package/examples/n-queens.pl +0 -23
- package/examples/n3-builtins.n3 +0 -28
- package/examples/network-sla.pl +0 -48
- package/examples/newton-raphson.pl +0 -49
- package/examples/nixon-diamond.pl +0 -37
- package/examples/odrl-dpv-healthcare-risk-ranked.pl +0 -266
- package/examples/odrl-dpv-risk-ranked.pl +0 -320
- package/examples/orbital-transfer-design.pl +0 -113
- package/examples/output/annotation-rdf12.ttl +0 -1
- package/examples/output/basic-monadic.pl +0 -1518
- package/examples/output/collatz-1000.pl +0 -1000
- package/examples/output/complex-matrix-stability.pl +0 -5
- package/examples/output/complex.pl +0 -1
- package/examples/output/cryptarithmetic-send-more-money.pl +0 -6
- package/examples/output/dense-hamiltonian-cycle.pl +0 -4
- package/examples/output/directional-language.ttl +0 -1
- package/examples/output/exact-cover-sudoku.pl +0 -3
- package/examples/output/eyeling-ackermann.n3 +0 -12
- package/examples/output/eyeling-age-threshold.n3 +0 -4
- package/examples/output/eyeling-alignment-demo.n3 +0 -1
- package/examples/output/eyeling-allen-interval-calculus-small.n3 +0 -3
- package/examples/output/eyeling-backward-recursion.n3 +0 -9
- package/examples/output/eyeling-backward.n3 +0 -1
- package/examples/output/eyeling-basic-monadic-small.n3 +0 -8
- package/examples/output/eyeling-bmi.n3 +0 -2
- package/examples/output/eyeling-cat-koko.n3 +0 -3
- package/examples/output/eyeling-collatz-small.n3 +0 -3
- package/examples/output/eyeling-collection.n3 +0 -1
- package/examples/output/eyeling-complex-arithmetic.n3 +0 -5
- package/examples/output/eyeling-context-association.n3 +0 -4
- package/examples/output/eyeling-control-system-small.n3 +0 -4
- package/examples/output/eyeling-crypto-builtins-extra.n3 +0 -3
- package/examples/output/eyeling-crypto-builtins.n3 +0 -2
- package/examples/output/eyeling-deep-taxonomy-10.n3 +0 -32
- package/examples/output/eyeling-derived-backward-rule-flat.n3 +0 -4
- package/examples/output/eyeling-derived-rule-flat.n3 +0 -2
- package/examples/output/eyeling-digital-product-passport-small.n3 +0 -3
- package/examples/output/eyeling-dijkstra-tiny.n3 +0 -9
- package/examples/output/eyeling-dog-license.n3 +0 -1
- package/examples/output/eyeling-drone-corridor-planner-small.n3 +0 -5
- package/examples/output/eyeling-equals.n3 +0 -1
- package/examples/output/eyeling-equivalence-classes.n3 +0 -2
- package/examples/output/eyeling-euler-identity.n3 +0 -3
- package/examples/output/eyeling-existential-rule.n3 +0 -4
- package/examples/output/eyeling-expression-eval.n3 +0 -3
- package/examples/output/eyeling-family-cousins-extended.n3 +0 -6
- package/examples/output/eyeling-fastpow.n3 +0 -4
- package/examples/output/eyeling-fibonacci.n3 +0 -6
- package/examples/output/eyeling-french-cities-reachability.n3 +0 -25
- package/examples/output/eyeling-goldbach-small.n3 +0 -2
- package/examples/output/eyeling-good-cobbler.n3 +0 -2
- package/examples/output/eyeling-list-builtins.n3 +0 -6
- package/examples/output/eyeling-list-collection-extra.n3 +0 -5
- package/examples/output/eyeling-math-builtins.n3 +0 -5
- package/examples/output/eyeling-string-builtins-extra.n3 +0 -3
- package/examples/output/eyeling-string-builtins.n3 +0 -4
- package/examples/output/eyeling-time-builtins.n3 +0 -4
- package/examples/output/eyeling-time-components-extra.n3 +0 -5
- package/examples/output/eyeling-witch.n3 +0 -2
- package/examples/output/family-cousins.n3 +0 -8
- package/examples/output/gcd-bezout-identity.pl +0 -36
- package/examples/output/goldbach-1000.pl +0 -667
- package/examples/output/hamiltonian-cycle.pl +0 -4
- package/examples/output/kaprekar.pl +0 -8
- package/examples/output/matrix.pl +0 -10
- package/examples/output/n-queens.pl +0 -93
- package/examples/output/n3-builtins.n3 +0 -6
- package/examples/output/path-discovery.pl +0 -3
- package/examples/output/project-portfolio-optimization.pl +0 -6
- package/examples/output/quine-mccluskey.pl +0 -3
- package/examples/output/resilient-city-orchestration.pl +0 -67
- package/examples/output/sat-dpll.pl +0 -5
- package/examples/output/socrates.n3 +0 -1
- package/examples/output/sudoku.pl +0 -2
- package/examples/output/traveling-salesman.pl +0 -1
- package/examples/output/triple-term.n3 +0 -2
- package/examples/path-discovery.pl +0 -44998
- package/examples/peano-arithmetic.pl +0 -31
- package/examples/peasant.pl +0 -30
- package/examples/pendulum-period.pl +0 -50
- package/examples/polynomial.pl +0 -124
- package/examples/project-portfolio-optimization.pl +0 -101
- package/examples/proof/age.pl +0 -71
- package/examples/proof/aliases-and-namespaces.pl +0 -78
- package/examples/proof/ancestor.pl +0 -140
- package/examples/proof/animal.pl +0 -68
- package/examples/proof/annotation.pl +0 -80
- package/examples/proof/backward.pl +0 -22
- package/examples/proof/cat-koko.pl +0 -86
- package/examples/proof/data-negotiation.pl +0 -76
- package/examples/proof/derived-rule.pl +0 -43
- package/examples/proof/dog.pl +0 -31
- package/examples/proof/electrical-rc-filter.pl +0 -105
- package/examples/proof/existential-rule.pl +0 -40
- package/examples/proof/floating-point.pl +0 -160
- package/examples/proof/good-cobbler.pl +0 -16
- package/examples/proof/group-inverse-uniqueness.pl +0 -84
- package/examples/proof/list-collection.pl +0 -52
- package/examples/proof/proof-contrapositive.pl +0 -78
- package/examples/proof/socket-age.pl +0 -32
- package/examples/proof/socket-family.pl +0 -59
- package/examples/proof/socrates.pl +0 -38
- package/examples/proof-contrapositive.pl +0 -27
- package/examples/quadratic-formula.pl +0 -54
- package/examples/quine-mccluskey.pl +0 -143
- package/examples/radioactive-decay.pl +0 -56
- package/examples/resilient-city-orchestration.pl +0 -303
- package/examples/riemann-hypothesis.pl +0 -110
- package/examples/sat-dpll.pl +0 -80
- package/examples/security-incident-correlation.pl +0 -69
- package/examples/service-impact.pl +0 -41
- package/examples/sieve.pl +0 -20
- package/examples/skolem-functions.pl +0 -52
- package/examples/socket-age.pl +0 -39
- package/examples/socket-family.pl +0 -28
- package/examples/socrates.n3 +0 -11
- package/examples/socrates.pl +0 -19
- package/examples/statistics-summary.pl +0 -54
- package/examples/sudoku.pl +0 -20
- package/examples/superdense-coding.pl +0 -84
- package/examples/traveling-salesman.pl +0 -64
- package/examples/triple-term.n3 +0 -9
- package/examples/turing.pl +0 -67
- package/examples/vector-similarity.pl +0 -56
- package/examples/witch.pl +0 -38
- package/examples/wolf-goat-cabbage.pl +0 -56
- package/examples/zebra.pl +0 -44
- package/playground-worker.mjs +0 -141
- package/src/builtins/alphametic.js +0 -144
- package/src/builtins/formula.js +0 -42
- package/src/builtins/matrix.js +0 -226
- package/src/builtins/n3.js +0 -483
- package/src/builtins/number-theory.js +0 -114
- package/src/builtins/portfolio.js +0 -73
- package/src/builtins/search.js +0 -579
- package/src/builtins/sudoku.js +0 -141
- package/src/rdf.js +0 -747
- package/test/run-all.js +0 -20
- package/test/run-conformance.js +0 -80
- package/test/run-examples.js +0 -125
- package/test/run-regression.js +0 -603
- package/test/test-style.js +0 -91
- /package/examples/output/{access-control-policy.pl → access-control-policy.eye} +0 -0
- /package/examples/output/{ackermann.pl → ackermann.eye} +0 -0
- /package/examples/output/{age.pl → age.eye} +0 -0
- /package/examples/output/{aliases-and-namespaces.pl → aliases-and-namespaces.eye} +0 -0
- /package/examples/output/{alignment-demo.pl → alignment-demo.eye} +0 -0
- /package/examples/output/{allen-interval-calculus.pl → allen-interval-calculus.eye} +0 -0
- /package/examples/output/{ancestor.pl → ancestor.eye} +0 -0
- /package/examples/output/{animal.pl → animal.eye} +0 -0
- /package/examples/output/{annotation.pl → annotation.eye} +0 -0
- /package/examples/output/{auroracare.pl → auroracare.eye} +0 -0
- /package/examples/output/{backward.pl → backward.eye} +0 -0
- /package/examples/output/{bayes-diagnosis.pl → bayes-diagnosis.eye} +0 -0
- /package/examples/output/{bayes-therapy.pl → bayes-therapy.eye} +0 -0
- /package/examples/output/{beam-deflection.pl → beam-deflection.eye} +0 -0
- /package/examples/output/{blocks-world-planning.pl → blocks-world-planning.eye} +0 -0
- /package/examples/output/{bmi.pl → bmi.eye} +0 -0
- /package/examples/output/{braking-safety-worlds.pl → braking-safety-worlds.eye} +0 -0
- /package/examples/output/{buck-converter-design.pl → buck-converter-design.eye} +0 -0
- /package/examples/output/{cache-performance.pl → cache-performance.eye} +0 -0
- /package/examples/output/{canary-release.pl → canary-release.eye} +0 -0
- /package/examples/output/{cat-koko.pl → cat-koko.eye} +0 -0
- /package/examples/output/{clinical-trial-screening.pl → clinical-trial-screening.eye} +0 -0
- /package/examples/output/{combinatorics-findall-sort.pl → combinatorics-findall-sort.eye} +0 -0
- /package/examples/output/{competitive-enzyme-kinetics.pl → competitive-enzyme-kinetics.eye} +0 -0
- /package/examples/output/{composition-of-injective-functions-is-injective.pl → composition-of-injective-functions-is-injective.eye} +0 -0
- /package/examples/output/{context-association.pl → context-association.eye} +0 -0
- /package/examples/output/{control-system.pl → control-system.eye} +0 -0
- /package/examples/output/{cyclic-path.pl → cyclic-path.eye} +0 -0
- /package/examples/output/{d3-group.pl → d3-group.eye} +0 -0
- /package/examples/output/{dairy-energy-balance.pl → dairy-energy-balance.eye} +0 -0
- /package/examples/output/{data-negotiation.pl → data-negotiation.eye} +0 -0
- /package/examples/output/{deep-taxonomy-10.pl → deep-taxonomy-10.eye} +0 -0
- /package/examples/output/{deep-taxonomy-100.pl → deep-taxonomy-100.eye} +0 -0
- /package/examples/output/{deep-taxonomy-1000.pl → deep-taxonomy-1000.eye} +0 -0
- /package/examples/output/{deep-taxonomy-10000.pl → deep-taxonomy-10000.eye} +0 -0
- /package/examples/output/{deep-taxonomy-100000.pl → deep-taxonomy-100000.eye} +0 -0
- /package/examples/output/{delfour.pl → delfour.eye} +0 -0
- /package/examples/output/{deontic-logic.pl → deontic-logic.eye} +0 -0
- /package/examples/output/{derived-backward-rule.pl → derived-backward-rule.eye} +0 -0
- /package/examples/output/{derived-rule.pl → derived-rule.eye} +0 -0
- /package/examples/output/{diamond-property.pl → diamond-property.eye} +0 -0
- /package/examples/output/{dijkstra-findall-sort.pl → dijkstra-findall-sort.eye} +0 -0
- /package/examples/output/{dijkstra-risk-path.pl → dijkstra-risk-path.eye} +0 -0
- /package/examples/output/{dijkstra.pl → dijkstra.eye} +0 -0
- /package/examples/output/{dining-philosophers.pl → dining-philosophers.eye} +0 -0
- /package/examples/output/{dog.pl → dog.eye} +0 -0
- /package/examples/output/{drone-corridor-planner.pl → drone-corridor-planner.eye} +0 -0
- /package/examples/output/{easter-computus.pl → easter-computus.eye} +0 -0
- /package/examples/output/{electrical-rc-filter.pl → electrical-rc-filter.eye} +0 -0
- /package/examples/output/{epidemic-policy.pl → epidemic-policy.eye} +0 -0
- /package/examples/output/{equivalence-classes-overlap-implies-same-class.pl → equivalence-classes-overlap-implies-same-class.eye} +0 -0
- /package/examples/output/{eulerian-path.pl → eulerian-path.eye} +0 -0
- /package/examples/output/{ev-range-worlds.pl → ev-range-worlds.eye} +0 -0
- /package/examples/output/{existential-rule.pl → existential-rule.eye} +0 -0
- /package/examples/output/{exoplanet-validation-worlds.pl → exoplanet-validation-worlds.eye} +0 -0
- /package/examples/output/{expression-eval.pl → expression-eval.eye} +0 -0
- /package/examples/output/{family-cousins.pl → family-cousins.eye} +0 -0
- /package/examples/output/{fastpow.pl → fastpow.eye} +0 -0
- /package/examples/output/{fft8-numeric.pl → fft8-numeric.eye} +0 -0
- /package/examples/output/{fibonacci.pl → fibonacci.eye} +0 -0
- /package/examples/output/{field-nitrogen-balance.pl → field-nitrogen-balance.eye} +0 -0
- /package/examples/output/{flandor.pl → flandor.eye} +0 -0
- /package/examples/output/{floating-point.pl → floating-point.eye} +0 -0
- /package/examples/output/{four-color-map.pl → four-color-map.eye} +0 -0
- /package/examples/output/{fundamental-theorem-arithmetic.pl → fundamental-theorem-arithmetic.eye} +0 -0
- /package/examples/output/{gd-step-certified.pl → gd-step-certified.eye} +0 -0
- /package/examples/output/{gdpr-compliance.pl → gdpr-compliance.eye} +0 -0
- /package/examples/output/{good-cobbler.pl → good-cobbler.eye} +0 -0
- /package/examples/output/{gps.pl → gps.eye} +0 -0
- /package/examples/output/{graph-reachability.pl → graph-reachability.eye} +0 -0
- /package/examples/output/{gray-code-counter.pl → gray-code-counter.eye} +0 -0
- /package/examples/output/{greatest-lower-bound-uniqueness.pl → greatest-lower-bound-uniqueness.eye} +0 -0
- /package/examples/output/{group-inverse-uniqueness.pl → group-inverse-uniqueness.eye} +0 -0
- /package/examples/output/{hamiltonian-path.pl → hamiltonian-path.eye} +0 -0
- /package/examples/output/{hamming-code.pl → hamming-code.eye} +0 -0
- /package/examples/output/{hanoi.pl → hanoi.eye} +0 -0
- /package/examples/output/{heat-loss.pl → heat-loss.eye} +0 -0
- /package/examples/output/{heron-theorem.pl → heron-theorem.eye} +0 -0
- /package/examples/output/{ideal-gas-law.pl → ideal-gas-law.eye} +0 -0
- /package/examples/output/{illegitimate-reasoning.pl → illegitimate-reasoning.eye} +0 -0
- /package/examples/output/{law-of-cosines.pl → law-of-cosines.eye} +0 -0
- /package/examples/output/{least-squares-regression.pl → least-squares-regression.eye} +0 -0
- /package/examples/output/{list-collection.pl → list-collection.eye} +0 -0
- /package/examples/output/{lldm.pl → lldm.eye} +0 -0
- /package/examples/output/{manufacturing-quality-control.pl → manufacturing-quality-control.eye} +0 -0
- /package/examples/output/{microgrid-dispatch.pl → microgrid-dispatch.eye} +0 -0
- /package/examples/output/{monkey-bananas.pl → monkey-bananas.eye} +0 -0
- /package/examples/output/{network-sla.pl → network-sla.eye} +0 -0
- /package/examples/output/{newton-raphson.pl → newton-raphson.eye} +0 -0
- /package/examples/output/{nixon-diamond.pl → nixon-diamond.eye} +0 -0
- /package/examples/output/{odrl-dpv-healthcare-risk-ranked.pl → odrl-dpv-healthcare-risk-ranked.eye} +0 -0
- /package/examples/output/{odrl-dpv-risk-ranked.pl → odrl-dpv-risk-ranked.eye} +0 -0
- /package/examples/output/{orbital-transfer-design.pl → orbital-transfer-design.eye} +0 -0
- /package/examples/output/{peano-arithmetic.pl → peano-arithmetic.eye} +0 -0
- /package/examples/output/{peasant.pl → peasant.eye} +0 -0
- /package/examples/output/{pendulum-period.pl → pendulum-period.eye} +0 -0
- /package/examples/output/{polynomial.pl → polynomial.eye} +0 -0
- /package/examples/output/{proof-contrapositive.pl → proof-contrapositive.eye} +0 -0
- /package/examples/output/{quadratic-formula.pl → quadratic-formula.eye} +0 -0
- /package/examples/output/{radioactive-decay.pl → radioactive-decay.eye} +0 -0
- /package/examples/output/{riemann-hypothesis.pl → riemann-hypothesis.eye} +0 -0
- /package/examples/output/{security-incident-correlation.pl → security-incident-correlation.eye} +0 -0
- /package/examples/output/{service-impact.pl → service-impact.eye} +0 -0
- /package/examples/output/{sieve.pl → sieve.eye} +0 -0
- /package/examples/output/{skolem-functions.pl → skolem-functions.eye} +0 -0
- /package/examples/output/{socket-age.pl → socket-age.eye} +0 -0
- /package/{conformance/expected/extension/001_default_derived_output.out → examples/output/socket-family.eye} +0 -0
- /package/examples/output/{socrates.pl → socrates.eye} +0 -0
- /package/examples/output/{statistics-summary.pl → statistics-summary.eye} +0 -0
- /package/examples/output/{superdense-coding.pl → superdense-coding.eye} +0 -0
- /package/examples/output/{turing.pl → turing.eye} +0 -0
- /package/examples/output/{vector-similarity.pl → vector-similarity.eye} +0 -0
- /package/examples/output/{witch.pl → witch.eye} +0 -0
- /package/examples/output/{wolf-goat-cabbage.pl → wolf-goat-cabbage.eye} +0 -0
- /package/examples/output/{zebra.pl → zebra.eye} +0 -0
- /package/{conformance/expected/core/001_fact_output.out → test/conformance/expected/001_fact_output.eye} +0 -0
- /package/{conformance/expected/core/002_rule_recursion.out → test/conformance/expected/002_rule_recursion.eye} +0 -0
- /package/{conformance/expected/core/004_conjunction_and_parentheses.out → test/conformance/expected/004_conjunction_and_parentheses.eye} +0 -0
- /package/{conformance/expected/core/005_list_deconstruction.out → test/conformance/expected/005_list_deconstruction.eye} +0 -0
- /package/{conformance/expected/core/006_comma_formula_data.out → test/conformance/expected/006_comma_formula_data.eye} +0 -0
- /package/{conformance/expected/core/007_anonymous_variables.out → test/conformance/expected/007_anonymous_variables.eye} +0 -0
- /package/{conformance/expected/core/008_graphic_atoms.out → test/conformance/expected/008_graphic_atoms.eye} +0 -0
- /package/{conformance/expected/core/009_comments_and_whitespace.out → test/conformance/expected/009_comments_and_whitespace.eye} +0 -0
- /package/{conformance/expected/core/010_variable_scope_and_reuse.out → test/conformance/expected/010_variable_scope_and_reuse.eye} +0 -0
- /package/{conformance/expected/core/011_predicate_arity.out → test/conformance/expected/011_predicate_arity.eye} +0 -0
- /package/{conformance/expected/core/012_nested_compound_unification.out → test/conformance/expected/012_nested_compound_unification.eye} +0 -0
- /package/{conformance/expected/core/013_multiple_clauses_order.out → test/conformance/expected/013_multiple_clauses_order.eye} +0 -0
- /package/{conformance/expected/core/014_failure_filters_answers.out → test/conformance/expected/014_failure_filters_answers.eye} +0 -0
- /package/{conformance/expected/core/015_improper_list_unification.out → test/conformance/expected/015_improper_list_unification.eye} +0 -0
- /package/{conformance/expected/core/017_three_step_recursion.out → test/conformance/expected/017_three_step_recursion.eye} +0 -0
- /package/{conformance/expected/core/018_quoted_atom_readback.out → test/conformance/expected/018_quoted_atom_readback.eye} +0 -0
- /package/{conformance/expected/core/019_parenthesized_three_conjuncts.out → test/conformance/expected/019_parenthesized_three_conjuncts.eye} +0 -0
- /package/{conformance/expected/core/020_nested_list_terms.out → test/conformance/expected/020_nested_list_terms.eye} +0 -0
- /package/{conformance/expected/core/021_repeated_variable_head.out → test/conformance/expected/021_repeated_variable_head.eye} +0 -0
- /package/{conformance/expected/core/022_rule_head_structure.out → test/conformance/expected/022_rule_head_structure.eye} +0 -0
- /package/{conformance/expected/core/023_quoted_escapes_readback.out → test/conformance/expected/023_quoted_escapes_readback.eye} +0 -0
- /package/{conformance/expected/core/024_numeric_literal_readback.out → test/conformance/expected/024_numeric_literal_readback.eye} +0 -0
- /package/{conformance/expected/core/025_body_parentheses_with_formula_data.out → test/conformance/expected/025_body_parentheses_with_formula_data.eye} +0 -0
- /package/{conformance/expected/core/026_underscore_named_variable_reuse.out → test/conformance/expected/026_question_underscore_named_variable_reuse.eye} +0 -0
- /package/{examples/output/socket-family.pl → test/conformance/expected/027_default_derived_output.eye} +0 -0
- /package/{conformance/expected/extension/002_materialize_focus.out → test/conformance/expected/028_materialize_focus.eye} +0 -0
- /package/{conformance/expected/extension/005_lists_aggregation_ordering.out → test/conformance/expected/031_lists_aggregation_ordering.eye} +0 -0
- /package/{conformance/expected/extension/007_negation_once_generators.out → test/conformance/expected/033_negation_once_generators.eye} +0 -0
- /package/{conformance/expected/extension/008_equality_and_inequality.out → test/conformance/expected/034_equality_and_inequality.eye} +0 -0
- /package/{conformance/expected/extension/010_append_splits.out → test/conformance/expected/036_append_splits.eye} +0 -0
- /package/{conformance/expected/extension/011_matching_and_comparison.out → test/conformance/expected/037_matching_and_comparison.eye} +0 -0
- /package/{conformance/expected/extension/012_memoize_declaration.out → test/conformance/expected/038_table_declaration.eye} +0 -0
- /package/{conformance/expected/extension/013_numeric_functions.out → test/conformance/expected/039_numeric_functions.eye} +0 -0
- /package/{conformance/expected/extension/014_between_enumeration.out → test/conformance/expected/040_between_enumeration.eye} +0 -0
- /package/{conformance/expected/extension/015_smallest_divisor.out → test/conformance/expected/041_smallest_divisor.eye} +0 -0
- /package/{conformance/expected/extension/016_negation_filter.out → test/conformance/expected/042_negation_filter.eye} +0 -0
- /package/{conformance/expected/extension/017_once_user_predicate.out → test/conformance/expected/043_once_user_predicate.eye} +0 -0
- /package/{conformance/expected/extension/018_findall_user_goal.out → test/conformance/expected/044_findall_user_goal.eye} +0 -0
- /package/{conformance/expected/extension/019_sort_deduplicates_atoms.out → test/conformance/expected/045_sort_deduplicates_atoms.eye} +0 -0
- /package/{conformance/expected/extension/020_append_bound_prefix_suffix.out → test/conformance/expected/046_append_bound_prefix_suffix.eye} +0 -0
- /package/{conformance/expected/extension/021_nth0_index_generation.out → test/conformance/expected/047_nth0_index_generation.eye} +0 -0
- /package/{conformance/expected/extension/022_set_nth0_edges.out → test/conformance/expected/048_set_nth0_edges.eye} +0 -0
- /package/{conformance/expected/extension/023_select_duplicate_occurrences.out → test/conformance/expected/049_select_duplicate_occurrences.eye} +0 -0
- /package/{conformance/expected/extension/024_not_member_filter.out → test/conformance/expected/050_not_member_filter.eye} +0 -0
- /package/{conformance/expected/extension/027_materialize_excludes_source_fact.out → test/conformance/expected/053_materialize_excludes_source_fact.eye} +0 -0
- /package/{conformance/expected/extension/028_numeric_and_lexical_comparison.out → test/conformance/expected/054_numeric_and_lexical_comparison.eye} +0 -0
- /package/{conformance/expected/extension/029_string_matching_filters.out → test/conformance/expected/055_string_matching_filters.eye} +0 -0
- /package/{conformance/expected/extension/031_countall_empty_and_nonempty.out → test/conformance/expected/057_countall_empty_and_nonempty.eye} +0 -0
- /package/{conformance/expected/extension/032_sumall_numeric_template.out → test/conformance/expected/058_sumall_numeric_template.eye} +0 -0
- /package/{conformance/expected/extension/033_aggregate_min_template.out → test/conformance/expected/059_aggregate_min_template.eye} +0 -0
- /package/{conformance/expected/extension/034_aggregate_max_compound_key.out → test/conformance/expected/060_aggregate_max_compound_key.eye} +0 -0
- /package/{conformance/expected/extension/035_date_difference.out → test/conformance/expected/061_date_difference.eye} +0 -0
|
@@ -1,667 +0,0 @@
|
|
|
1
|
-
isPrime(2, true).
|
|
2
|
-
isPrime(3, true).
|
|
3
|
-
isPrime(5, true).
|
|
4
|
-
isPrime(7, true).
|
|
5
|
-
isPrime(11, true).
|
|
6
|
-
isPrime(13, true).
|
|
7
|
-
isPrime(17, true).
|
|
8
|
-
isPrime(19, true).
|
|
9
|
-
isPrime(23, true).
|
|
10
|
-
isPrime(29, true).
|
|
11
|
-
isPrime(31, true).
|
|
12
|
-
isPrime(37, true).
|
|
13
|
-
isPrime(41, true).
|
|
14
|
-
isPrime(43, true).
|
|
15
|
-
isPrime(47, true).
|
|
16
|
-
isPrime(53, true).
|
|
17
|
-
isPrime(59, true).
|
|
18
|
-
isPrime(61, true).
|
|
19
|
-
isPrime(67, true).
|
|
20
|
-
isPrime(71, true).
|
|
21
|
-
isPrime(73, true).
|
|
22
|
-
isPrime(79, true).
|
|
23
|
-
isPrime(83, true).
|
|
24
|
-
isPrime(89, true).
|
|
25
|
-
isPrime(97, true).
|
|
26
|
-
isPrime(101, true).
|
|
27
|
-
isPrime(103, true).
|
|
28
|
-
isPrime(107, true).
|
|
29
|
-
isPrime(109, true).
|
|
30
|
-
isPrime(113, true).
|
|
31
|
-
isPrime(127, true).
|
|
32
|
-
isPrime(131, true).
|
|
33
|
-
isPrime(137, true).
|
|
34
|
-
isPrime(139, true).
|
|
35
|
-
isPrime(149, true).
|
|
36
|
-
isPrime(151, true).
|
|
37
|
-
isPrime(157, true).
|
|
38
|
-
isPrime(163, true).
|
|
39
|
-
isPrime(167, true).
|
|
40
|
-
isPrime(173, true).
|
|
41
|
-
isPrime(179, true).
|
|
42
|
-
isPrime(181, true).
|
|
43
|
-
isPrime(191, true).
|
|
44
|
-
isPrime(193, true).
|
|
45
|
-
isPrime(197, true).
|
|
46
|
-
isPrime(199, true).
|
|
47
|
-
isPrime(211, true).
|
|
48
|
-
isPrime(223, true).
|
|
49
|
-
isPrime(227, true).
|
|
50
|
-
isPrime(229, true).
|
|
51
|
-
isPrime(233, true).
|
|
52
|
-
isPrime(239, true).
|
|
53
|
-
isPrime(241, true).
|
|
54
|
-
isPrime(251, true).
|
|
55
|
-
isPrime(257, true).
|
|
56
|
-
isPrime(263, true).
|
|
57
|
-
isPrime(269, true).
|
|
58
|
-
isPrime(271, true).
|
|
59
|
-
isPrime(277, true).
|
|
60
|
-
isPrime(281, true).
|
|
61
|
-
isPrime(283, true).
|
|
62
|
-
isPrime(293, true).
|
|
63
|
-
isPrime(307, true).
|
|
64
|
-
isPrime(311, true).
|
|
65
|
-
isPrime(313, true).
|
|
66
|
-
isPrime(317, true).
|
|
67
|
-
isPrime(331, true).
|
|
68
|
-
isPrime(337, true).
|
|
69
|
-
isPrime(347, true).
|
|
70
|
-
isPrime(349, true).
|
|
71
|
-
isPrime(353, true).
|
|
72
|
-
isPrime(359, true).
|
|
73
|
-
isPrime(367, true).
|
|
74
|
-
isPrime(373, true).
|
|
75
|
-
isPrime(379, true).
|
|
76
|
-
isPrime(383, true).
|
|
77
|
-
isPrime(389, true).
|
|
78
|
-
isPrime(397, true).
|
|
79
|
-
isPrime(401, true).
|
|
80
|
-
isPrime(409, true).
|
|
81
|
-
isPrime(419, true).
|
|
82
|
-
isPrime(421, true).
|
|
83
|
-
isPrime(431, true).
|
|
84
|
-
isPrime(433, true).
|
|
85
|
-
isPrime(439, true).
|
|
86
|
-
isPrime(443, true).
|
|
87
|
-
isPrime(449, true).
|
|
88
|
-
isPrime(457, true).
|
|
89
|
-
isPrime(461, true).
|
|
90
|
-
isPrime(463, true).
|
|
91
|
-
isPrime(467, true).
|
|
92
|
-
isPrime(479, true).
|
|
93
|
-
isPrime(487, true).
|
|
94
|
-
isPrime(491, true).
|
|
95
|
-
isPrime(499, true).
|
|
96
|
-
isPrime(503, true).
|
|
97
|
-
isPrime(509, true).
|
|
98
|
-
isPrime(521, true).
|
|
99
|
-
isPrime(523, true).
|
|
100
|
-
isPrime(541, true).
|
|
101
|
-
isPrime(547, true).
|
|
102
|
-
isPrime(557, true).
|
|
103
|
-
isPrime(563, true).
|
|
104
|
-
isPrime(569, true).
|
|
105
|
-
isPrime(571, true).
|
|
106
|
-
isPrime(577, true).
|
|
107
|
-
isPrime(587, true).
|
|
108
|
-
isPrime(593, true).
|
|
109
|
-
isPrime(599, true).
|
|
110
|
-
isPrime(601, true).
|
|
111
|
-
isPrime(607, true).
|
|
112
|
-
isPrime(613, true).
|
|
113
|
-
isPrime(617, true).
|
|
114
|
-
isPrime(619, true).
|
|
115
|
-
isPrime(631, true).
|
|
116
|
-
isPrime(641, true).
|
|
117
|
-
isPrime(643, true).
|
|
118
|
-
isPrime(647, true).
|
|
119
|
-
isPrime(653, true).
|
|
120
|
-
isPrime(659, true).
|
|
121
|
-
isPrime(661, true).
|
|
122
|
-
isPrime(673, true).
|
|
123
|
-
isPrime(677, true).
|
|
124
|
-
isPrime(683, true).
|
|
125
|
-
isPrime(691, true).
|
|
126
|
-
isPrime(701, true).
|
|
127
|
-
isPrime(709, true).
|
|
128
|
-
isPrime(719, true).
|
|
129
|
-
isPrime(727, true).
|
|
130
|
-
isPrime(733, true).
|
|
131
|
-
isPrime(739, true).
|
|
132
|
-
isPrime(743, true).
|
|
133
|
-
isPrime(751, true).
|
|
134
|
-
isPrime(757, true).
|
|
135
|
-
isPrime(761, true).
|
|
136
|
-
isPrime(769, true).
|
|
137
|
-
isPrime(773, true).
|
|
138
|
-
isPrime(787, true).
|
|
139
|
-
isPrime(797, true).
|
|
140
|
-
isPrime(809, true).
|
|
141
|
-
isPrime(811, true).
|
|
142
|
-
isPrime(821, true).
|
|
143
|
-
isPrime(823, true).
|
|
144
|
-
isPrime(827, true).
|
|
145
|
-
isPrime(829, true).
|
|
146
|
-
isPrime(839, true).
|
|
147
|
-
isPrime(853, true).
|
|
148
|
-
isPrime(857, true).
|
|
149
|
-
isPrime(859, true).
|
|
150
|
-
isPrime(863, true).
|
|
151
|
-
isPrime(877, true).
|
|
152
|
-
isPrime(881, true).
|
|
153
|
-
isPrime(883, true).
|
|
154
|
-
isPrime(887, true).
|
|
155
|
-
isPrime(907, true).
|
|
156
|
-
isPrime(911, true).
|
|
157
|
-
isPrime(919, true).
|
|
158
|
-
isPrime(929, true).
|
|
159
|
-
isPrime(937, true).
|
|
160
|
-
isPrime(941, true).
|
|
161
|
-
isPrime(947, true).
|
|
162
|
-
isPrime(953, true).
|
|
163
|
-
isPrime(967, true).
|
|
164
|
-
isPrime(971, true).
|
|
165
|
-
isPrime(977, true).
|
|
166
|
-
isPrime(983, true).
|
|
167
|
-
isPrime(991, true).
|
|
168
|
-
isPrime(997, true).
|
|
169
|
-
goldbachOk(4, true).
|
|
170
|
-
goldbachOk(6, true).
|
|
171
|
-
goldbachOk(8, true).
|
|
172
|
-
goldbachOk(10, true).
|
|
173
|
-
goldbachOk(12, true).
|
|
174
|
-
goldbachOk(14, true).
|
|
175
|
-
goldbachOk(16, true).
|
|
176
|
-
goldbachOk(18, true).
|
|
177
|
-
goldbachOk(20, true).
|
|
178
|
-
goldbachOk(22, true).
|
|
179
|
-
goldbachOk(24, true).
|
|
180
|
-
goldbachOk(26, true).
|
|
181
|
-
goldbachOk(28, true).
|
|
182
|
-
goldbachOk(30, true).
|
|
183
|
-
goldbachOk(32, true).
|
|
184
|
-
goldbachOk(34, true).
|
|
185
|
-
goldbachOk(36, true).
|
|
186
|
-
goldbachOk(38, true).
|
|
187
|
-
goldbachOk(40, true).
|
|
188
|
-
goldbachOk(42, true).
|
|
189
|
-
goldbachOk(44, true).
|
|
190
|
-
goldbachOk(46, true).
|
|
191
|
-
goldbachOk(48, true).
|
|
192
|
-
goldbachOk(50, true).
|
|
193
|
-
goldbachOk(52, true).
|
|
194
|
-
goldbachOk(54, true).
|
|
195
|
-
goldbachOk(56, true).
|
|
196
|
-
goldbachOk(58, true).
|
|
197
|
-
goldbachOk(60, true).
|
|
198
|
-
goldbachOk(62, true).
|
|
199
|
-
goldbachOk(64, true).
|
|
200
|
-
goldbachOk(66, true).
|
|
201
|
-
goldbachOk(68, true).
|
|
202
|
-
goldbachOk(70, true).
|
|
203
|
-
goldbachOk(72, true).
|
|
204
|
-
goldbachOk(74, true).
|
|
205
|
-
goldbachOk(76, true).
|
|
206
|
-
goldbachOk(78, true).
|
|
207
|
-
goldbachOk(80, true).
|
|
208
|
-
goldbachOk(82, true).
|
|
209
|
-
goldbachOk(84, true).
|
|
210
|
-
goldbachOk(86, true).
|
|
211
|
-
goldbachOk(88, true).
|
|
212
|
-
goldbachOk(90, true).
|
|
213
|
-
goldbachOk(92, true).
|
|
214
|
-
goldbachOk(94, true).
|
|
215
|
-
goldbachOk(96, true).
|
|
216
|
-
goldbachOk(98, true).
|
|
217
|
-
goldbachOk(100, true).
|
|
218
|
-
goldbachOk(102, true).
|
|
219
|
-
goldbachOk(104, true).
|
|
220
|
-
goldbachOk(106, true).
|
|
221
|
-
goldbachOk(108, true).
|
|
222
|
-
goldbachOk(110, true).
|
|
223
|
-
goldbachOk(112, true).
|
|
224
|
-
goldbachOk(114, true).
|
|
225
|
-
goldbachOk(116, true).
|
|
226
|
-
goldbachOk(118, true).
|
|
227
|
-
goldbachOk(120, true).
|
|
228
|
-
goldbachOk(122, true).
|
|
229
|
-
goldbachOk(124, true).
|
|
230
|
-
goldbachOk(126, true).
|
|
231
|
-
goldbachOk(128, true).
|
|
232
|
-
goldbachOk(130, true).
|
|
233
|
-
goldbachOk(132, true).
|
|
234
|
-
goldbachOk(134, true).
|
|
235
|
-
goldbachOk(136, true).
|
|
236
|
-
goldbachOk(138, true).
|
|
237
|
-
goldbachOk(140, true).
|
|
238
|
-
goldbachOk(142, true).
|
|
239
|
-
goldbachOk(144, true).
|
|
240
|
-
goldbachOk(146, true).
|
|
241
|
-
goldbachOk(148, true).
|
|
242
|
-
goldbachOk(150, true).
|
|
243
|
-
goldbachOk(152, true).
|
|
244
|
-
goldbachOk(154, true).
|
|
245
|
-
goldbachOk(156, true).
|
|
246
|
-
goldbachOk(158, true).
|
|
247
|
-
goldbachOk(160, true).
|
|
248
|
-
goldbachOk(162, true).
|
|
249
|
-
goldbachOk(164, true).
|
|
250
|
-
goldbachOk(166, true).
|
|
251
|
-
goldbachOk(168, true).
|
|
252
|
-
goldbachOk(170, true).
|
|
253
|
-
goldbachOk(172, true).
|
|
254
|
-
goldbachOk(174, true).
|
|
255
|
-
goldbachOk(176, true).
|
|
256
|
-
goldbachOk(178, true).
|
|
257
|
-
goldbachOk(180, true).
|
|
258
|
-
goldbachOk(182, true).
|
|
259
|
-
goldbachOk(184, true).
|
|
260
|
-
goldbachOk(186, true).
|
|
261
|
-
goldbachOk(188, true).
|
|
262
|
-
goldbachOk(190, true).
|
|
263
|
-
goldbachOk(192, true).
|
|
264
|
-
goldbachOk(194, true).
|
|
265
|
-
goldbachOk(196, true).
|
|
266
|
-
goldbachOk(198, true).
|
|
267
|
-
goldbachOk(200, true).
|
|
268
|
-
goldbachOk(202, true).
|
|
269
|
-
goldbachOk(204, true).
|
|
270
|
-
goldbachOk(206, true).
|
|
271
|
-
goldbachOk(208, true).
|
|
272
|
-
goldbachOk(210, true).
|
|
273
|
-
goldbachOk(212, true).
|
|
274
|
-
goldbachOk(214, true).
|
|
275
|
-
goldbachOk(216, true).
|
|
276
|
-
goldbachOk(218, true).
|
|
277
|
-
goldbachOk(220, true).
|
|
278
|
-
goldbachOk(222, true).
|
|
279
|
-
goldbachOk(224, true).
|
|
280
|
-
goldbachOk(226, true).
|
|
281
|
-
goldbachOk(228, true).
|
|
282
|
-
goldbachOk(230, true).
|
|
283
|
-
goldbachOk(232, true).
|
|
284
|
-
goldbachOk(234, true).
|
|
285
|
-
goldbachOk(236, true).
|
|
286
|
-
goldbachOk(238, true).
|
|
287
|
-
goldbachOk(240, true).
|
|
288
|
-
goldbachOk(242, true).
|
|
289
|
-
goldbachOk(244, true).
|
|
290
|
-
goldbachOk(246, true).
|
|
291
|
-
goldbachOk(248, true).
|
|
292
|
-
goldbachOk(250, true).
|
|
293
|
-
goldbachOk(252, true).
|
|
294
|
-
goldbachOk(254, true).
|
|
295
|
-
goldbachOk(256, true).
|
|
296
|
-
goldbachOk(258, true).
|
|
297
|
-
goldbachOk(260, true).
|
|
298
|
-
goldbachOk(262, true).
|
|
299
|
-
goldbachOk(264, true).
|
|
300
|
-
goldbachOk(266, true).
|
|
301
|
-
goldbachOk(268, true).
|
|
302
|
-
goldbachOk(270, true).
|
|
303
|
-
goldbachOk(272, true).
|
|
304
|
-
goldbachOk(274, true).
|
|
305
|
-
goldbachOk(276, true).
|
|
306
|
-
goldbachOk(278, true).
|
|
307
|
-
goldbachOk(280, true).
|
|
308
|
-
goldbachOk(282, true).
|
|
309
|
-
goldbachOk(284, true).
|
|
310
|
-
goldbachOk(286, true).
|
|
311
|
-
goldbachOk(288, true).
|
|
312
|
-
goldbachOk(290, true).
|
|
313
|
-
goldbachOk(292, true).
|
|
314
|
-
goldbachOk(294, true).
|
|
315
|
-
goldbachOk(296, true).
|
|
316
|
-
goldbachOk(298, true).
|
|
317
|
-
goldbachOk(300, true).
|
|
318
|
-
goldbachOk(302, true).
|
|
319
|
-
goldbachOk(304, true).
|
|
320
|
-
goldbachOk(306, true).
|
|
321
|
-
goldbachOk(308, true).
|
|
322
|
-
goldbachOk(310, true).
|
|
323
|
-
goldbachOk(312, true).
|
|
324
|
-
goldbachOk(314, true).
|
|
325
|
-
goldbachOk(316, true).
|
|
326
|
-
goldbachOk(318, true).
|
|
327
|
-
goldbachOk(320, true).
|
|
328
|
-
goldbachOk(322, true).
|
|
329
|
-
goldbachOk(324, true).
|
|
330
|
-
goldbachOk(326, true).
|
|
331
|
-
goldbachOk(328, true).
|
|
332
|
-
goldbachOk(330, true).
|
|
333
|
-
goldbachOk(332, true).
|
|
334
|
-
goldbachOk(334, true).
|
|
335
|
-
goldbachOk(336, true).
|
|
336
|
-
goldbachOk(338, true).
|
|
337
|
-
goldbachOk(340, true).
|
|
338
|
-
goldbachOk(342, true).
|
|
339
|
-
goldbachOk(344, true).
|
|
340
|
-
goldbachOk(346, true).
|
|
341
|
-
goldbachOk(348, true).
|
|
342
|
-
goldbachOk(350, true).
|
|
343
|
-
goldbachOk(352, true).
|
|
344
|
-
goldbachOk(354, true).
|
|
345
|
-
goldbachOk(356, true).
|
|
346
|
-
goldbachOk(358, true).
|
|
347
|
-
goldbachOk(360, true).
|
|
348
|
-
goldbachOk(362, true).
|
|
349
|
-
goldbachOk(364, true).
|
|
350
|
-
goldbachOk(366, true).
|
|
351
|
-
goldbachOk(368, true).
|
|
352
|
-
goldbachOk(370, true).
|
|
353
|
-
goldbachOk(372, true).
|
|
354
|
-
goldbachOk(374, true).
|
|
355
|
-
goldbachOk(376, true).
|
|
356
|
-
goldbachOk(378, true).
|
|
357
|
-
goldbachOk(380, true).
|
|
358
|
-
goldbachOk(382, true).
|
|
359
|
-
goldbachOk(384, true).
|
|
360
|
-
goldbachOk(386, true).
|
|
361
|
-
goldbachOk(388, true).
|
|
362
|
-
goldbachOk(390, true).
|
|
363
|
-
goldbachOk(392, true).
|
|
364
|
-
goldbachOk(394, true).
|
|
365
|
-
goldbachOk(396, true).
|
|
366
|
-
goldbachOk(398, true).
|
|
367
|
-
goldbachOk(400, true).
|
|
368
|
-
goldbachOk(402, true).
|
|
369
|
-
goldbachOk(404, true).
|
|
370
|
-
goldbachOk(406, true).
|
|
371
|
-
goldbachOk(408, true).
|
|
372
|
-
goldbachOk(410, true).
|
|
373
|
-
goldbachOk(412, true).
|
|
374
|
-
goldbachOk(414, true).
|
|
375
|
-
goldbachOk(416, true).
|
|
376
|
-
goldbachOk(418, true).
|
|
377
|
-
goldbachOk(420, true).
|
|
378
|
-
goldbachOk(422, true).
|
|
379
|
-
goldbachOk(424, true).
|
|
380
|
-
goldbachOk(426, true).
|
|
381
|
-
goldbachOk(428, true).
|
|
382
|
-
goldbachOk(430, true).
|
|
383
|
-
goldbachOk(432, true).
|
|
384
|
-
goldbachOk(434, true).
|
|
385
|
-
goldbachOk(436, true).
|
|
386
|
-
goldbachOk(438, true).
|
|
387
|
-
goldbachOk(440, true).
|
|
388
|
-
goldbachOk(442, true).
|
|
389
|
-
goldbachOk(444, true).
|
|
390
|
-
goldbachOk(446, true).
|
|
391
|
-
goldbachOk(448, true).
|
|
392
|
-
goldbachOk(450, true).
|
|
393
|
-
goldbachOk(452, true).
|
|
394
|
-
goldbachOk(454, true).
|
|
395
|
-
goldbachOk(456, true).
|
|
396
|
-
goldbachOk(458, true).
|
|
397
|
-
goldbachOk(460, true).
|
|
398
|
-
goldbachOk(462, true).
|
|
399
|
-
goldbachOk(464, true).
|
|
400
|
-
goldbachOk(466, true).
|
|
401
|
-
goldbachOk(468, true).
|
|
402
|
-
goldbachOk(470, true).
|
|
403
|
-
goldbachOk(472, true).
|
|
404
|
-
goldbachOk(474, true).
|
|
405
|
-
goldbachOk(476, true).
|
|
406
|
-
goldbachOk(478, true).
|
|
407
|
-
goldbachOk(480, true).
|
|
408
|
-
goldbachOk(482, true).
|
|
409
|
-
goldbachOk(484, true).
|
|
410
|
-
goldbachOk(486, true).
|
|
411
|
-
goldbachOk(488, true).
|
|
412
|
-
goldbachOk(490, true).
|
|
413
|
-
goldbachOk(492, true).
|
|
414
|
-
goldbachOk(494, true).
|
|
415
|
-
goldbachOk(496, true).
|
|
416
|
-
goldbachOk(498, true).
|
|
417
|
-
goldbachOk(500, true).
|
|
418
|
-
goldbachOk(502, true).
|
|
419
|
-
goldbachOk(504, true).
|
|
420
|
-
goldbachOk(506, true).
|
|
421
|
-
goldbachOk(508, true).
|
|
422
|
-
goldbachOk(510, true).
|
|
423
|
-
goldbachOk(512, true).
|
|
424
|
-
goldbachOk(514, true).
|
|
425
|
-
goldbachOk(516, true).
|
|
426
|
-
goldbachOk(518, true).
|
|
427
|
-
goldbachOk(520, true).
|
|
428
|
-
goldbachOk(522, true).
|
|
429
|
-
goldbachOk(524, true).
|
|
430
|
-
goldbachOk(526, true).
|
|
431
|
-
goldbachOk(528, true).
|
|
432
|
-
goldbachOk(530, true).
|
|
433
|
-
goldbachOk(532, true).
|
|
434
|
-
goldbachOk(534, true).
|
|
435
|
-
goldbachOk(536, true).
|
|
436
|
-
goldbachOk(538, true).
|
|
437
|
-
goldbachOk(540, true).
|
|
438
|
-
goldbachOk(542, true).
|
|
439
|
-
goldbachOk(544, true).
|
|
440
|
-
goldbachOk(546, true).
|
|
441
|
-
goldbachOk(548, true).
|
|
442
|
-
goldbachOk(550, true).
|
|
443
|
-
goldbachOk(552, true).
|
|
444
|
-
goldbachOk(554, true).
|
|
445
|
-
goldbachOk(556, true).
|
|
446
|
-
goldbachOk(558, true).
|
|
447
|
-
goldbachOk(560, true).
|
|
448
|
-
goldbachOk(562, true).
|
|
449
|
-
goldbachOk(564, true).
|
|
450
|
-
goldbachOk(566, true).
|
|
451
|
-
goldbachOk(568, true).
|
|
452
|
-
goldbachOk(570, true).
|
|
453
|
-
goldbachOk(572, true).
|
|
454
|
-
goldbachOk(574, true).
|
|
455
|
-
goldbachOk(576, true).
|
|
456
|
-
goldbachOk(578, true).
|
|
457
|
-
goldbachOk(580, true).
|
|
458
|
-
goldbachOk(582, true).
|
|
459
|
-
goldbachOk(584, true).
|
|
460
|
-
goldbachOk(586, true).
|
|
461
|
-
goldbachOk(588, true).
|
|
462
|
-
goldbachOk(590, true).
|
|
463
|
-
goldbachOk(592, true).
|
|
464
|
-
goldbachOk(594, true).
|
|
465
|
-
goldbachOk(596, true).
|
|
466
|
-
goldbachOk(598, true).
|
|
467
|
-
goldbachOk(600, true).
|
|
468
|
-
goldbachOk(602, true).
|
|
469
|
-
goldbachOk(604, true).
|
|
470
|
-
goldbachOk(606, true).
|
|
471
|
-
goldbachOk(608, true).
|
|
472
|
-
goldbachOk(610, true).
|
|
473
|
-
goldbachOk(612, true).
|
|
474
|
-
goldbachOk(614, true).
|
|
475
|
-
goldbachOk(616, true).
|
|
476
|
-
goldbachOk(618, true).
|
|
477
|
-
goldbachOk(620, true).
|
|
478
|
-
goldbachOk(622, true).
|
|
479
|
-
goldbachOk(624, true).
|
|
480
|
-
goldbachOk(626, true).
|
|
481
|
-
goldbachOk(628, true).
|
|
482
|
-
goldbachOk(630, true).
|
|
483
|
-
goldbachOk(632, true).
|
|
484
|
-
goldbachOk(634, true).
|
|
485
|
-
goldbachOk(636, true).
|
|
486
|
-
goldbachOk(638, true).
|
|
487
|
-
goldbachOk(640, true).
|
|
488
|
-
goldbachOk(642, true).
|
|
489
|
-
goldbachOk(644, true).
|
|
490
|
-
goldbachOk(646, true).
|
|
491
|
-
goldbachOk(648, true).
|
|
492
|
-
goldbachOk(650, true).
|
|
493
|
-
goldbachOk(652, true).
|
|
494
|
-
goldbachOk(654, true).
|
|
495
|
-
goldbachOk(656, true).
|
|
496
|
-
goldbachOk(658, true).
|
|
497
|
-
goldbachOk(660, true).
|
|
498
|
-
goldbachOk(662, true).
|
|
499
|
-
goldbachOk(664, true).
|
|
500
|
-
goldbachOk(666, true).
|
|
501
|
-
goldbachOk(668, true).
|
|
502
|
-
goldbachOk(670, true).
|
|
503
|
-
goldbachOk(672, true).
|
|
504
|
-
goldbachOk(674, true).
|
|
505
|
-
goldbachOk(676, true).
|
|
506
|
-
goldbachOk(678, true).
|
|
507
|
-
goldbachOk(680, true).
|
|
508
|
-
goldbachOk(682, true).
|
|
509
|
-
goldbachOk(684, true).
|
|
510
|
-
goldbachOk(686, true).
|
|
511
|
-
goldbachOk(688, true).
|
|
512
|
-
goldbachOk(690, true).
|
|
513
|
-
goldbachOk(692, true).
|
|
514
|
-
goldbachOk(694, true).
|
|
515
|
-
goldbachOk(696, true).
|
|
516
|
-
goldbachOk(698, true).
|
|
517
|
-
goldbachOk(700, true).
|
|
518
|
-
goldbachOk(702, true).
|
|
519
|
-
goldbachOk(704, true).
|
|
520
|
-
goldbachOk(706, true).
|
|
521
|
-
goldbachOk(708, true).
|
|
522
|
-
goldbachOk(710, true).
|
|
523
|
-
goldbachOk(712, true).
|
|
524
|
-
goldbachOk(714, true).
|
|
525
|
-
goldbachOk(716, true).
|
|
526
|
-
goldbachOk(718, true).
|
|
527
|
-
goldbachOk(720, true).
|
|
528
|
-
goldbachOk(722, true).
|
|
529
|
-
goldbachOk(724, true).
|
|
530
|
-
goldbachOk(726, true).
|
|
531
|
-
goldbachOk(728, true).
|
|
532
|
-
goldbachOk(730, true).
|
|
533
|
-
goldbachOk(732, true).
|
|
534
|
-
goldbachOk(734, true).
|
|
535
|
-
goldbachOk(736, true).
|
|
536
|
-
goldbachOk(738, true).
|
|
537
|
-
goldbachOk(740, true).
|
|
538
|
-
goldbachOk(742, true).
|
|
539
|
-
goldbachOk(744, true).
|
|
540
|
-
goldbachOk(746, true).
|
|
541
|
-
goldbachOk(748, true).
|
|
542
|
-
goldbachOk(750, true).
|
|
543
|
-
goldbachOk(752, true).
|
|
544
|
-
goldbachOk(754, true).
|
|
545
|
-
goldbachOk(756, true).
|
|
546
|
-
goldbachOk(758, true).
|
|
547
|
-
goldbachOk(760, true).
|
|
548
|
-
goldbachOk(762, true).
|
|
549
|
-
goldbachOk(764, true).
|
|
550
|
-
goldbachOk(766, true).
|
|
551
|
-
goldbachOk(768, true).
|
|
552
|
-
goldbachOk(770, true).
|
|
553
|
-
goldbachOk(772, true).
|
|
554
|
-
goldbachOk(774, true).
|
|
555
|
-
goldbachOk(776, true).
|
|
556
|
-
goldbachOk(778, true).
|
|
557
|
-
goldbachOk(780, true).
|
|
558
|
-
goldbachOk(782, true).
|
|
559
|
-
goldbachOk(784, true).
|
|
560
|
-
goldbachOk(786, true).
|
|
561
|
-
goldbachOk(788, true).
|
|
562
|
-
goldbachOk(790, true).
|
|
563
|
-
goldbachOk(792, true).
|
|
564
|
-
goldbachOk(794, true).
|
|
565
|
-
goldbachOk(796, true).
|
|
566
|
-
goldbachOk(798, true).
|
|
567
|
-
goldbachOk(800, true).
|
|
568
|
-
goldbachOk(802, true).
|
|
569
|
-
goldbachOk(804, true).
|
|
570
|
-
goldbachOk(806, true).
|
|
571
|
-
goldbachOk(808, true).
|
|
572
|
-
goldbachOk(810, true).
|
|
573
|
-
goldbachOk(812, true).
|
|
574
|
-
goldbachOk(814, true).
|
|
575
|
-
goldbachOk(816, true).
|
|
576
|
-
goldbachOk(818, true).
|
|
577
|
-
goldbachOk(820, true).
|
|
578
|
-
goldbachOk(822, true).
|
|
579
|
-
goldbachOk(824, true).
|
|
580
|
-
goldbachOk(826, true).
|
|
581
|
-
goldbachOk(828, true).
|
|
582
|
-
goldbachOk(830, true).
|
|
583
|
-
goldbachOk(832, true).
|
|
584
|
-
goldbachOk(834, true).
|
|
585
|
-
goldbachOk(836, true).
|
|
586
|
-
goldbachOk(838, true).
|
|
587
|
-
goldbachOk(840, true).
|
|
588
|
-
goldbachOk(842, true).
|
|
589
|
-
goldbachOk(844, true).
|
|
590
|
-
goldbachOk(846, true).
|
|
591
|
-
goldbachOk(848, true).
|
|
592
|
-
goldbachOk(850, true).
|
|
593
|
-
goldbachOk(852, true).
|
|
594
|
-
goldbachOk(854, true).
|
|
595
|
-
goldbachOk(856, true).
|
|
596
|
-
goldbachOk(858, true).
|
|
597
|
-
goldbachOk(860, true).
|
|
598
|
-
goldbachOk(862, true).
|
|
599
|
-
goldbachOk(864, true).
|
|
600
|
-
goldbachOk(866, true).
|
|
601
|
-
goldbachOk(868, true).
|
|
602
|
-
goldbachOk(870, true).
|
|
603
|
-
goldbachOk(872, true).
|
|
604
|
-
goldbachOk(874, true).
|
|
605
|
-
goldbachOk(876, true).
|
|
606
|
-
goldbachOk(878, true).
|
|
607
|
-
goldbachOk(880, true).
|
|
608
|
-
goldbachOk(882, true).
|
|
609
|
-
goldbachOk(884, true).
|
|
610
|
-
goldbachOk(886, true).
|
|
611
|
-
goldbachOk(888, true).
|
|
612
|
-
goldbachOk(890, true).
|
|
613
|
-
goldbachOk(892, true).
|
|
614
|
-
goldbachOk(894, true).
|
|
615
|
-
goldbachOk(896, true).
|
|
616
|
-
goldbachOk(898, true).
|
|
617
|
-
goldbachOk(900, true).
|
|
618
|
-
goldbachOk(902, true).
|
|
619
|
-
goldbachOk(904, true).
|
|
620
|
-
goldbachOk(906, true).
|
|
621
|
-
goldbachOk(908, true).
|
|
622
|
-
goldbachOk(910, true).
|
|
623
|
-
goldbachOk(912, true).
|
|
624
|
-
goldbachOk(914, true).
|
|
625
|
-
goldbachOk(916, true).
|
|
626
|
-
goldbachOk(918, true).
|
|
627
|
-
goldbachOk(920, true).
|
|
628
|
-
goldbachOk(922, true).
|
|
629
|
-
goldbachOk(924, true).
|
|
630
|
-
goldbachOk(926, true).
|
|
631
|
-
goldbachOk(928, true).
|
|
632
|
-
goldbachOk(930, true).
|
|
633
|
-
goldbachOk(932, true).
|
|
634
|
-
goldbachOk(934, true).
|
|
635
|
-
goldbachOk(936, true).
|
|
636
|
-
goldbachOk(938, true).
|
|
637
|
-
goldbachOk(940, true).
|
|
638
|
-
goldbachOk(942, true).
|
|
639
|
-
goldbachOk(944, true).
|
|
640
|
-
goldbachOk(946, true).
|
|
641
|
-
goldbachOk(948, true).
|
|
642
|
-
goldbachOk(950, true).
|
|
643
|
-
goldbachOk(952, true).
|
|
644
|
-
goldbachOk(954, true).
|
|
645
|
-
goldbachOk(956, true).
|
|
646
|
-
goldbachOk(958, true).
|
|
647
|
-
goldbachOk(960, true).
|
|
648
|
-
goldbachOk(962, true).
|
|
649
|
-
goldbachOk(964, true).
|
|
650
|
-
goldbachOk(966, true).
|
|
651
|
-
goldbachOk(968, true).
|
|
652
|
-
goldbachOk(970, true).
|
|
653
|
-
goldbachOk(972, true).
|
|
654
|
-
goldbachOk(974, true).
|
|
655
|
-
goldbachOk(976, true).
|
|
656
|
-
goldbachOk(978, true).
|
|
657
|
-
goldbachOk(980, true).
|
|
658
|
-
goldbachOk(982, true).
|
|
659
|
-
goldbachOk(984, true).
|
|
660
|
-
goldbachOk(986, true).
|
|
661
|
-
goldbachOk(988, true).
|
|
662
|
-
goldbachOk(990, true).
|
|
663
|
-
goldbachOk(992, true).
|
|
664
|
-
goldbachOk(994, true).
|
|
665
|
-
goldbachOk(996, true).
|
|
666
|
-
goldbachOk(998, true).
|
|
667
|
-
goldbachOk(1000, true).
|
|
@@ -1,10 +0,0 @@
|
|
|
1
|
-
result(det3, determinant([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], 4.0)).
|
|
2
|
-
result(inv3, matrix_inversion([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], [[0.74999999999999978, 0.5, 0.25], [0.5, 1.0000000000000004, 0.50000000000000022], [0.25, 0.50000000000000022, 0.75000000000000011]])).
|
|
3
|
-
result(inv4, matrix_inversion([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.5156250000000067, 0.48437500000000011, -1.2968749999999987, 0.35937499999999561], [0.48437500000000011, 0.14062499999999961, -0.32812499999999822, 0.14062499999999797], [-1.2968749999999987, -0.32812499999999822, 1.0156249999999925, -0.57812499999999201], [0.35937499999999561, 0.14062499999999797, -0.57812499999999201, 0.51562499999999278]])).
|
|
4
|
-
result(invtri3, matrix_inv_triang([[2, 0, 0], [-1, 2, 0], [0, -1, 2]], [[0.5, 0, 0], [0.25, 0.5, 0], [0.125, 0.25, 0.5]])).
|
|
5
|
-
result(mul_small, matrix_multiply([[[1, 2], [3, 4], [5, 6]], [[1, 1, 1], [1, 1, 1]]], [[3, 3, 3], [7, 7, 7], [11, 11, 11]])).
|
|
6
|
-
result(mul_identity_check, matrix_multiply([[[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.515624999999984, 0.4843749999999933, -1.296874999999973, 0.3593749999999767], [0.4843749999999933, 0.1406249999999978, -0.3281249999999918, 0.1406249999999936], [-1.296874999999973, -0.3281249999999918, 1.015624999999971, -0.5781249999999781], [0.3593749999999767, 0.1406249999999936, -0.5781249999999781, 0.5156249999999853]]], [[1.0000000000000497, 5.3290705182007514e-15, 1.7763568394002505e-14, 4.4408920985006262e-15], [5.6843418860808015e-14, 1.0000000000000089, 2.8421709430404007e-14, 1.0658141036401503e-14], [1.7053025658242404e-13, 1.7763568394002505e-14, 1.0000000000000426, 3.907985046680551e-14], [8.5265128291212022e-14, 3.5527136788005009e-15, 7.1054273576010019e-14, 0.99999999999999467]])).
|
|
7
|
-
result(sum_small, matrix_sum([[[1, 2], [3, 4], [5, 6]], [[1, 2], [3, 4], [5, 6]]], [[2, 4], [6, 8], [10, 12]])).
|
|
8
|
-
result(chol3, cholesky_decomposition([[25, 15, -5], [15, 18, 0], [-5, 0, 11]], [[5.0, 0, 0], [3.0, 3.0, 0], [-1.0, 1.0, 3.0]])).
|
|
9
|
-
result(chol4, cholesky_decomposition([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[4.2426406871192848, 0, 0, 0], [5.1854497287013492, 6.5659052011974026, 0, 0], [12.727922061357857, 3.0460384954008553, 1.6497422479090704, 0], [9.8994949366116654, 1.6245538642137891, 1.8497110052313821, 1.3926212476455924]])).
|
|
10
|
-
checksConsistentWithTreallaReference(matrix, true).
|