eyeling 1.33.8 → 1.33.10

package/README.md

@@ -829,7 +829,7 @@ The eyelang engine has its own built-in registry under `lib/eyelang/builtins/`.
 | Aggregation | `findall/3`, `countall/2`, `sumall/3`, `aggregate_min/5`, `aggregate_max/5` |
 | Control | `not/1`, `once/1` |
 | Context terms | `holds/2`, `holds/3` |
-| Search and optimization helpers | `n_queens/2`, `weighted_hamiltonian_cycle/4`, `weighted_hamiltonian_path/4`, `hamiltonian_cycle/3`, `fixed_length_cycle/4`, `bounded_path/5`, `cnf_model/3`, `qm_prime_implicants/4`, `qm_minimal_cover/4`, `alphametic_sum/5` |
+| Search and optimization helpers | `n_queens/2`, `weighted_hamiltonian_cycle/4`, `weighted_hamiltonian_path/4`, `hamiltonian_cycle/3`, `fixed_length_cycle/4`, `bounded_path/5`, `cnf_model/3`, `qm_prime_implicants/4`, `qm_minimal_cover/4` |
 | Numeric extension helpers | `extended_gcd/5`, `collatz_trajectory/2`, `kaprekar_steps/2`, `goldbach_pair/3` |
 | Matrix helpers | `matrix_sum/2`, `matrix_multiply/2`, `cholesky_decomposition/2`, `determinant/2`, `matrix_inv_triang/2`, `matrix_inversion/2` |
 

package/docs/eyelang-guide.md

@@ -261,7 +261,7 @@ best(Cycle, Cost) :-
   weighted_hamiltonian_cycle(edge, Cities, Cycle, Cost).
 ```
 
-The reusable search and numeric helpers include `n_queens/2`, Hamiltonian path/cycle helpers, `cnf_model/3`, Quine-McCluskey helpers, bounded subset/path helpers, number-theory helpers such as `extended_gcd/5`, matrix helpers such as `matrix_multiply/2`, and `alphametic_sum/5`. These helpers are extension builtins of this implementation; [the eyelang language reference](eyelang-language-reference.md) defines the portable core and standard builtin profile.
+The reusable search and numeric helpers include `n_queens/2`, Hamiltonian path/cycle helpers, `bounded_path/5`, `cnf_model/3`, Quine-McCluskey helpers, number-theory helpers such as `extended_gcd/5`, and matrix helpers such as `matrix_multiply/2`. These helpers are extension builtins of this implementation; [the eyelang language reference](eyelang-language-reference.md) defines the portable core and standard builtin profile.
 
 To add a builtin, create or extend a module with `register(registry)` and call `registry.add(name, arity, handler, options)`. The default registry is assembled in [`lib/eyelang/builtins/registry.js`](../lib/eyelang/builtins/registry.js). Builtins that are only safe for specific argument modes should provide a `ready` predicate and `fallbackWhenNotReady: true`, so user-defined clauses remain visible until the builtin is applicable.
 
@@ -336,7 +336,6 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`composition-of-injective-functions-is-injective.pl`](../examples/eyelang/composition-of-injective-functions-is-injective.pl) | Encodes composition and injectivity of finite functions. | [`output/composition-of-injective-functions-is-injective.pl`](../examples/eyelang/output/composition-of-injective-functions-is-injective.pl) |
 | [`context-association.pl`](../examples/eyelang/context-association.pl) | Associates named contexts with their contents. | [`output/context-association.pl`](../examples/eyelang/output/context-association.pl) |
 | [`control-system.pl`](../examples/eyelang/control-system.pl) | Evaluates control-system measurements and targets. | [`output/control-system.pl`](../examples/eyelang/output/control-system.pl) |
-| [`cryptarithmetic-send-more-money.pl`](../examples/eyelang/cryptarithmetic-send-more-money.pl) | Solves SEND+MORE and related puzzles. | [`output/cryptarithmetic-send-more-money.pl`](../examples/eyelang/output/cryptarithmetic-send-more-money.pl) |
 | [`cyclic-path.pl`](../examples/eyelang/cyclic-path.pl) | Computes paths in a cyclic graph. | [`output/cyclic-path.pl`](../examples/eyelang/output/cyclic-path.pl) |
 | [`d3-group.pl`](../examples/eyelang/d3-group.pl) | Enumerates subgroups of the D3 group. | [`output/d3-group.pl`](../examples/eyelang/output/d3-group.pl) |
 | [`dairy-energy-balance.pl`](../examples/eyelang/dairy-energy-balance.pl) | Classifies dairy cow energy balance. | [`output/dairy-energy-balance.pl`](../examples/eyelang/output/dairy-energy-balance.pl) |
@@ -357,6 +356,7 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`dijkstra.pl`](../examples/eyelang/dijkstra.pl) | Enumerates weighted simple paths. | [`output/dijkstra.pl`](../examples/eyelang/output/dijkstra.pl) |
 | [`dining-philosophers.pl`](../examples/eyelang/dining-philosophers.pl) | Simulates Chandy-Misra fork exchanges. | [`output/dining-philosophers.pl`](../examples/eyelang/output/dining-philosophers.pl) |
 | [`dog.pl`](../examples/eyelang/dog.pl) | Counts dogs and derives when a license is required. | [`output/dog.pl`](../examples/eyelang/output/dog.pl) |
+| [`dpv-odrl-purpose-mapping.pl`](../examples/eyelang/dpv-odrl-purpose-mapping.pl) | Maps a DPV process into an ODRL permission view. | [`output/dpv-odrl-purpose-mapping.pl`](../examples/eyelang/output/dpv-odrl-purpose-mapping.pl) |
 | [`drone-corridor-planner.pl`](../examples/eyelang/drone-corridor-planner.pl) | Plans bounded drone corridor routes. | [`output/drone-corridor-planner.pl`](../examples/eyelang/output/drone-corridor-planner.pl) |
 | [`easter-computus.pl`](../examples/eyelang/easter-computus.pl) | Computes Gregorian Easter dates. | [`output/easter-computus.pl`](../examples/eyelang/output/easter-computus.pl) |
 | [`electrical-rc-filter.pl`](../examples/eyelang/electrical-rc-filter.pl) | Sizes an RC low-pass filter. | [`output/electrical-rc-filter.pl`](../examples/eyelang/output/electrical-rc-filter.pl) |
@@ -395,6 +395,7 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`ideal-gas-law.pl`](../examples/eyelang/ideal-gas-law.pl) | Applies the ideal gas law. | [`output/ideal-gas-law.pl`](../examples/eyelang/output/ideal-gas-law.pl) |
 | [`illegitimate-reasoning.pl`](../examples/eyelang/illegitimate-reasoning.pl) | Detects suspect reasoning patterns. | [`output/illegitimate-reasoning.pl`](../examples/eyelang/output/illegitimate-reasoning.pl) |
 | [`kaprekar.pl`](../examples/eyelang/kaprekar.pl) | Iterates toward Kaprekar's constant. | [`output/kaprekar.pl`](../examples/eyelang/output/kaprekar.pl) |
+| [`knowledge-engineering-alignment-flow.pl`](../examples/eyelang/knowledge-engineering-alignment-flow.pl) | Specializes reusable alignment rules into a target-shaped flow view. | [`output/knowledge-engineering-alignment-flow.pl`](../examples/eyelang/output/knowledge-engineering-alignment-flow.pl) |
 | [`law-of-cosines.pl`](../examples/eyelang/law-of-cosines.pl) | Computes a triangle side by cosine law. | [`output/law-of-cosines.pl`](../examples/eyelang/output/law-of-cosines.pl) |
 | [`least-squares-regression.pl`](../examples/eyelang/least-squares-regression.pl) | Fits a least-squares regression line. | [`output/least-squares-regression.pl`](../examples/eyelang/output/least-squares-regression.pl) |
 | [`list-collection.pl`](../examples/eyelang/list-collection.pl) | Demonstrates list and collection built-ins. | [`output/list-collection.pl`](../examples/eyelang/output/list-collection.pl) |
@@ -407,6 +408,7 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`network-sla.pl`](../examples/eyelang/network-sla.pl) | Checks network path SLA compliance. | [`output/network-sla.pl`](../examples/eyelang/output/network-sla.pl) |
 | [`newton-raphson.pl`](../examples/eyelang/newton-raphson.pl) | Finds roots by Newton-Raphson iteration. | [`output/newton-raphson.pl`](../examples/eyelang/output/newton-raphson.pl) |
 | [`nixon-diamond.pl`](../examples/eyelang/nixon-diamond.pl) | Reports the classic Nixon-diamond conflict. | [`output/nixon-diamond.pl`](../examples/eyelang/output/nixon-diamond.pl) |
+| [`odrl-dpv-fpv-trust-flow.pl`](../examples/eyelang/odrl-dpv-fpv-trust-flow.pl) | Decides ODRL/DPV data flows with local FPV trust gates. | [`output/odrl-dpv-fpv-trust-flow.pl`](../examples/eyelang/output/odrl-dpv-fpv-trust-flow.pl) |
 | [`odrl-dpv-healthcare-risk-ranked.pl`](../examples/eyelang/odrl-dpv-healthcare-risk-ranked.pl) | Ranks healthcare policy risks and mitigations. | [`output/odrl-dpv-healthcare-risk-ranked.pl`](../examples/eyelang/output/odrl-dpv-healthcare-risk-ranked.pl) |
 | [`odrl-dpv-risk-ranked.pl`](../examples/eyelang/odrl-dpv-risk-ranked.pl) | Ranks data-policy risks and mitigations. | [`output/odrl-dpv-risk-ranked.pl`](../examples/eyelang/output/odrl-dpv-risk-ranked.pl) |
 | [`orbital-transfer-design.pl`](../examples/eyelang/orbital-transfer-design.pl) | Designs a Hohmann orbital transfer. | [`output/orbital-transfer-design.pl`](../examples/eyelang/output/orbital-transfer-design.pl) |
@@ -431,6 +433,7 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`statistics-summary.pl`](../examples/eyelang/statistics-summary.pl) | Computes population statistics for a sample. | [`output/statistics-summary.pl`](../examples/eyelang/output/statistics-summary.pl) |
 | [`superdense-coding.pl`](../examples/eyelang/superdense-coding.pl) | Models superdense-coding bit transmission. | [`output/superdense-coding.pl`](../examples/eyelang/output/superdense-coding.pl) |
 | [`traveling-salesman.pl`](../examples/eyelang/traveling-salesman.pl) | Finds an optimal traveling-salesman tour. | [`output/traveling-salesman.pl`](../examples/eyelang/output/traveling-salesman.pl) |
+| [`trust-flow-provenance-threshold.pl`](../examples/eyelang/trust-flow-provenance-threshold.pl) | Classifies message trust from provenance confidence scores. | [`output/trust-flow-provenance-threshold.pl`](../examples/eyelang/output/trust-flow-provenance-threshold.pl) |
 | [`turing.pl`](../examples/eyelang/turing.pl) | Simulates a binary-increment Turing machine. | [`output/turing.pl`](../examples/eyelang/output/turing.pl) |
 | [`vector-similarity.pl`](../examples/eyelang/vector-similarity.pl) | Computes dot product, norm, and cosine similarity. | [`output/vector-similarity.pl`](../examples/eyelang/output/vector-similarity.pl) |
 | [`vulnerability-impact.pl`](../examples/eyelang/vulnerability-impact.pl) | Analyzes vulnerable transitive dependencies and urgent patch impact. | [`output/vulnerability-impact.pl`](../examples/eyelang/output/vulnerability-impact.pl) |

package/docs/eyelang-language-reference.md

@@ -468,7 +468,7 @@ An extension built-in SHOULD obey the same surface-language discipline as standa
 - it SHOULD document its intended modes, especially which arguments must be ground before it runs deterministically;
 - it MUST NOT change the meaning of ordinary facts, rules, unification, or standard built-ins.
 
-For example, an implementation may include extension modules for number-theory algorithms, graph search, matrix operations, or alphametic puzzles. Those modules may be valuable and may make example programs much faster, but their predicate names, arities, algorithms, and modes are implementation-defined unless they are separately standardized.
+For example, an implementation may include extension modules for number-theory algorithms, graph search, or matrix operations. Those modules may be valuable and may make example programs much faster, but their predicate names, arities, algorithms, and modes are implementation-defined unless they are separately standardized.
 
 An implementation that provides explanation output SHOULD make extension built-ins explainable at least as opaque successful or failed built-in calls, so that proof traces do not incorrectly report "no clauses" for a host-provided relation.
 

package/examples/dpv-odrl-purpose-mapping.n3

@@ -0,0 +1,54 @@
+# DPV -> ODRL policy view.
+# A DPV process description is made executable by deriving the ODRL permission,
+# target, action, and purpose/legal-basis constraints used by a policy evaluator.
+
+@prefix :        <https://example.org/dpv-odrl-purpose-mapping#> .
+@prefix dpv:     <https://w3id.org/dpv#> .
+@prefix dpv-odrl:<https://w3id.org/dpv/mappings/odrl#> .
+@prefix odrl:    <http://www.w3.org/ns/odrl/2/> .
+
+:AlphaCareProcess a dpv:Process ;
+  dpv:hasDataController :HospitalA ;
+  dpv:hasRecipient :ResearchPartner ;
+  dpv:hasPersonalData :LabResult ;
+  dpv:hasProcessing dpv:Use ;
+  dpv:hasPurpose dpv:Healthcare ;
+  dpv:hasLegalBasis dpv:Consent .
+
+:AlphaPolicy :representsProcess :AlphaCareProcess ;
+  :permissionNode :AlphaPermission ;
+  :purposeConstraint :AlphaPurposeConstraint ;
+  :basisConstraint :AlphaBasisConstraint .
+
+{ ?policy :representsProcess ?process ; :permissionNode ?permission .
+  ?process a dpv:Process ;
+    dpv:hasDataController ?controller ;
+    dpv:hasRecipient ?recipient ;
+    dpv:hasPersonalData ?data ;
+    dpv:hasProcessing ?processing . }
+=>
+{ ?policy a odrl:Policy ; odrl:permission ?permission .
+  ?permission a odrl:Permission ;
+    odrl:assigner ?controller ;
+    odrl:assignee ?recipient ;
+    odrl:target ?data ;
+    odrl:action ?processing ;
+    :derivedFromProcess ?process . } .
+
+{ ?policy :representsProcess ?process ; :permissionNode ?permission ; :purposeConstraint ?constraint .
+  ?process dpv:hasPurpose ?purpose . }
+=>
+{ ?permission odrl:constraint ?constraint .
+  ?constraint a odrl:Constraint ;
+    odrl:leftOperand dpv-odrl:Purpose ;
+    odrl:operator odrl:isA ;
+    odrl:rightOperand ?purpose . } .
+
+{ ?policy :representsProcess ?process ; :permissionNode ?permission ; :basisConstraint ?constraint .
+  ?process dpv:hasLegalBasis ?basis . }
+=>
+{ ?permission odrl:constraint ?constraint .
+  ?constraint a odrl:Constraint ;
+    odrl:leftOperand dpv-odrl:LegalBasis ;
+    odrl:operator odrl:isA ;
+    odrl:rightOperand ?basis . } .

package/examples/eyelang/dpv-odrl-purpose-mapping.pl

@@ -0,0 +1,46 @@
+% DPV process to ODRL policy view in eyelang.
+
+materialize(type, 2).
+materialize(odrl_permission, 2).
+materialize(odrl_assigner, 2).
+materialize(odrl_assignee, 2).
+materialize(odrl_target, 2).
+materialize(odrl_action, 2).
+materialize(odrl_constraint, 2).
+materialize(odrl_leftOperand, 2).
+materialize(odrl_operator, 2).
+materialize(odrl_rightOperand, 2).
+materialize(derived_from_process, 2).
+
+process(alpha_care_process).
+data_controller(alpha_care_process, hospital_a).
+recipient(alpha_care_process, research_partner).
+personal_data(alpha_care_process, lab_result).
+processing(alpha_care_process, dpv_use).
+purpose(alpha_care_process, dpv_healthcare).
+legal_basis(alpha_care_process, dpv_consent).
+
+represents_process(alpha_policy, alpha_care_process).
+permission_node(alpha_policy, alpha_permission).
+purpose_constraint(alpha_policy, alpha_purpose_constraint).
+basis_constraint(alpha_policy, alpha_basis_constraint).
+
+type(Policy, odrl_policy) :- represents_process(Policy, _Process).
+odrl_permission(Policy, Permission) :- permission_node(Policy, Permission).
+type(Permission, odrl_permission) :- permission_node(_Policy, Permission).
+derived_from_process(Permission, Process) :- represents_process(Policy, Process), permission_node(Policy, Permission).
+odrl_assigner(Permission, Controller) :- represents_process(Policy, Process), permission_node(Policy, Permission), data_controller(Process, Controller).
+odrl_assignee(Permission, Recipient) :- represents_process(Policy, Process), permission_node(Policy, Permission), recipient(Process, Recipient).
+odrl_target(Permission, Data) :- represents_process(Policy, Process), permission_node(Policy, Permission), personal_data(Process, Data).
+odrl_action(Permission, Action) :- represents_process(Policy, Process), permission_node(Policy, Permission), processing(Process, Action).
+
+odrl_constraint(Permission, Constraint) :- permission_node(Policy, Permission), purpose_constraint(Policy, Constraint).
+odrl_constraint(Permission, Constraint) :- permission_node(Policy, Permission), basis_constraint(Policy, Constraint).
+type(Constraint, odrl_constraint) :- purpose_constraint(_Policy, Constraint).
+type(Constraint, odrl_constraint) :- basis_constraint(_Policy, Constraint).
+odrl_leftOperand(Constraint, dpv_odrl_purpose) :- purpose_constraint(_Policy, Constraint).
+odrl_leftOperand(Constraint, dpv_odrl_legal_basis) :- basis_constraint(_Policy, Constraint).
+odrl_operator(Constraint, odrl_isA) :- purpose_constraint(_Policy, Constraint).
+odrl_operator(Constraint, odrl_isA) :- basis_constraint(_Policy, Constraint).
+odrl_rightOperand(Constraint, Purpose) :- represents_process(Policy, Process), purpose_constraint(Policy, Constraint), purpose(Process, Purpose).
+odrl_rightOperand(Constraint, Basis) :- represents_process(Policy, Process), basis_constraint(Policy, Constraint), legal_basis(Process, Basis).

package/examples/eyelang/knowledge-engineering-alignment-flow.pl

@@ -0,0 +1,40 @@
+% Knowledge-engineering alignment flow in eyelang.
+% Local source predicates are aligned once and then reused to produce a target-shaped flow view.
+% fpv_* atoms denote a tiny local Flow/Policy Vocabulary profile.
+
+materialize(type, 2).
+materialize(target_fact, 3).
+materialize(runtime_rule, 2).
+materialize(target_predicate, 2).
+materialize(flow_emits, 2).
+materialize(trusted_by, 2).
+
+sub_class(local_observation, sosa_observation).
+sub_class(temperature_probe, sosa_sensor).
+sub_property(observed_by, sosa_madeBySensor).
+sub_property(observed_at, sosa_resultTime).
+sub_property(temperature_celsius, sosa_hasSimpleResult).
+sub_property(in_flow, fpv_hasFlowStep).
+equivalent_property(observed_feature, sosa_hasFeatureOfInterest).
+
+type(msg1, local_observation).
+type(probe7, temperature_probe).
+triple(msg1, observed_by, probe7).
+triple(msg1, observed_at, "2026-06-17T12:34:56Z").
+triple(msg1, temperature_celsius, 18.6).
+triple(msg1, observed_feature, platform_b).
+triple(msg1, in_flow, ingest_step).
+
+% Generic alignment rules.
+type(Thing, Super) :- type(Thing, Class), sub_class(Class, Super).
+target_fact(Subject, SuperPredicate, Object) :- triple(Subject, Predicate, Object), sub_property(Predicate, SuperPredicate).
+target_fact(Subject, TargetPredicate, Object) :- triple(Subject, Predicate, Object), equivalent_property(Predicate, TargetPredicate).
+target_fact(Subject, SourcePredicate, Object) :- triple(Subject, Predicate, Object), equivalent_property(SourcePredicate, Predicate).
+
+runtime_rule(SourcePredicate, copy_to_target) :- sub_property(SourcePredicate, _TargetPredicate).
+runtime_rule(SourcePredicate, copy_to_target) :- equivalent_property(SourcePredicate, _TargetPredicate).
+target_predicate(SourcePredicate, TargetPredicate) :- sub_property(SourcePredicate, TargetPredicate).
+target_predicate(SourcePredicate, TargetPredicate) :- equivalent_property(SourcePredicate, TargetPredicate).
+
+flow_emits(Step, Message) :- type(Message, sosa_observation), target_fact(Message, fpv_hasFlowStep, Step), target_fact(Message, sosa_madeBySensor, _Sensor).
+trusted_by(Step, Sensor) :- type(Message, sosa_observation), target_fact(Message, fpv_hasFlowStep, Step), target_fact(Message, sosa_madeBySensor, Sensor).

package/examples/eyelang/odrl-dpv-fpv-trust-flow.pl

@@ -0,0 +1,43 @@
+% ODRL + DPV + local FPV trust-flow decisioning in eyelang.
+
+materialize(decision, 2).
+materialize(confidence, 2).
+materialize(status, 2).
+materialize(risk, 2).
+
+trust_score(hospital_a, 0.92).
+trust_score(small_clinic, 0.63).
+trust_score(ad_network, 0.28).
+
+flow(flow_care, hospital_a, research_partner, lab_result, dpv_use, dpv_healthcare).
+flow(flow_clinic, small_clinic, research_partner, lab_result, dpv_use, dpv_healthcare).
+flow(flow_ads, hospital_a, ad_network, lab_result, dpv_share, dpv_marketing).
+
+permission(permit_healthcare_research, research_partner, lab_result, dpv_use, dpv_healthcare, 0.80).
+prohibition(prohibit_marketing_disclosure, ad_network, lab_result, dpv_share, dpv_marketing).
+
+permitted_flow(Flow, Score) :-
+  flow(Flow, Source, Recipient, Data, Action, Purpose),
+  permission(_Permission, Recipient, Data, Action, Purpose, MinTrust),
+  trust_score(Source, Score),
+  ge(Score, MinTrust).
+
+review_flow(Flow, Score) :-
+  flow(Flow, Source, Recipient, Data, Action, Purpose),
+  permission(_Permission, Recipient, Data, Action, Purpose, MinTrust),
+  trust_score(Source, Score),
+  lt(Score, MinTrust).
+
+denied_flow(Flow) :-
+  flow(Flow, _Source, Recipient, Data, Action, Purpose),
+  prohibition(_Prohibition, Recipient, Data, Action, Purpose).
+
+decision(Flow, fpv_permit) :- permitted_flow(Flow, _Score).
+decision(Flow, fpv_review) :- review_flow(Flow, _Score).
+decision(Flow, fpv_deny) :- denied_flow(Flow).
+confidence(Flow, Score) :- permitted_flow(Flow, Score).
+confidence(Flow, Score) :- review_flow(Flow, Score).
+status(Flow, fpv_executable_flow) :- permitted_flow(Flow, _Score).
+status(Flow, fpv_blocked_flow) :- denied_flow(Flow).
+risk(Flow, risk_trustworthiness_risk) :- review_flow(Flow, _Score).
+risk(Flow, risk_unwanted_disclosure_data) :- denied_flow(Flow).

package/examples/eyelang/output/dpv-odrl-purpose-mapping.pl

@@ -0,0 +1,18 @@
+type(alpha_policy, odrl_policy).
+type(alpha_permission, odrl_permission).
+type(alpha_purpose_constraint, odrl_constraint).
+type(alpha_basis_constraint, odrl_constraint).
+odrl_permission(alpha_policy, alpha_permission).
+derived_from_process(alpha_permission, alpha_care_process).
+odrl_assigner(alpha_permission, hospital_a).
+odrl_assignee(alpha_permission, research_partner).
+odrl_target(alpha_permission, lab_result).
+odrl_action(alpha_permission, dpv_use).
+odrl_constraint(alpha_permission, alpha_purpose_constraint).
+odrl_constraint(alpha_permission, alpha_basis_constraint).
+odrl_leftOperand(alpha_purpose_constraint, dpv_odrl_purpose).
+odrl_leftOperand(alpha_basis_constraint, dpv_odrl_legal_basis).
+odrl_operator(alpha_purpose_constraint, odrl_isA).
+odrl_operator(alpha_basis_constraint, odrl_isA).
+odrl_rightOperand(alpha_purpose_constraint, dpv_healthcare).
+odrl_rightOperand(alpha_basis_constraint, dpv_consent).

package/examples/eyelang/output/knowledge-engineering-alignment-flow.pl

@@ -0,0 +1,17 @@
+target_fact(msg1, sosa_madeBySensor, probe7).
+target_fact(msg1, sosa_resultTime, "2026-06-17T12:34:56Z").
+target_fact(msg1, sosa_hasSimpleResult, 18.6).
+target_fact(msg1, fpv_hasFlowStep, ingest_step).
+target_fact(msg1, sosa_hasFeatureOfInterest, platform_b).
+runtime_rule(observed_by, copy_to_target).
+runtime_rule(observed_at, copy_to_target).
+runtime_rule(temperature_celsius, copy_to_target).
+runtime_rule(in_flow, copy_to_target).
+runtime_rule(observed_feature, copy_to_target).
+target_predicate(observed_by, sosa_madeBySensor).
+target_predicate(observed_at, sosa_resultTime).
+target_predicate(temperature_celsius, sosa_hasSimpleResult).
+target_predicate(in_flow, fpv_hasFlowStep).
+target_predicate(observed_feature, sosa_hasFeatureOfInterest).
+flow_emits(ingest_step, msg1).
+trusted_by(ingest_step, probe7).

package/examples/eyelang/output/odrl-dpv-fpv-trust-flow.pl

@@ -0,0 +1,9 @@
+decision(flow_care, fpv_permit).
+decision(flow_clinic, fpv_review).
+decision(flow_ads, fpv_deny).
+confidence(flow_care, 0.92).
+confidence(flow_clinic, 0.63).
+status(flow_care, fpv_executable_flow).
+status(flow_ads, fpv_blocked_flow).
+risk(flow_clinic, risk_trustworthiness_risk).
+risk(flow_ads, risk_unwanted_disclosure_data).

package/examples/eyelang/output/trust-flow-provenance-threshold.pl

@@ -0,0 +1,6 @@
+confidence(message_a, 0.89375999999999989).
+confidence(message_b, 0.41999999999999993).
+trust_flow_state(message_a, fpv_accepted).
+trust_flow_state(message_b, fpv_quarantine).
+status(message_a, fpv_high_trust_flow).
+risk(message_b, risk_low_trust_data_source).

package/examples/eyelang/trust-flow-provenance-threshold.pl

@@ -0,0 +1,40 @@
+% Provenance-derived trust-flow thresholding in eyelang.
+
+materialize(confidence, 2).
+materialize(trust_flow_state, 2).
+materialize(status, 2).
+materialize(risk, 2).
+
+message(message_a, publisher_a, transform_a, signature_a, receiver_app).
+message(message_b, publisher_b, transform_b, signature_b, receiver_app).
+
+publisher_trust(publisher_a, 0.95).
+publisher_trust(publisher_b, 0.70).
+signature_strength(signature_a, 0.98).
+signature_strength(signature_b, 0.75).
+quality_score(transform_a, 0.96).
+quality_score(transform_b, 0.80).
+acceptance_threshold(receiver_app, 0.85).
+
+confidence(Message, Confidence) :-
+  message(Message, Publisher, Transform, Signature, _Receiver),
+  publisher_trust(Publisher, PublisherTrust),
+  signature_strength(Signature, SignatureTrust),
+  quality_score(Transform, Quality),
+  mul(PublisherTrust, SignatureTrust, A),
+  mul(A, Quality, Confidence).
+
+trust_flow_state(Message, fpv_accepted) :-
+  message(Message, _Publisher, _Transform, _Signature, Receiver),
+  confidence(Message, Confidence),
+  acceptance_threshold(Receiver, Threshold),
+  ge(Confidence, Threshold).
+
+trust_flow_state(Message, fpv_quarantine) :-
+  message(Message, _Publisher, _Transform, _Signature, Receiver),
+  confidence(Message, Confidence),
+  acceptance_threshold(Receiver, Threshold),
+  lt(Confidence, Threshold).
+
+status(Message, fpv_high_trust_flow) :- trust_flow_state(Message, fpv_accepted).
+risk(Message, risk_low_trust_data_source) :- trust_flow_state(Message, fpv_quarantine).

package/examples/knowledge-engineering-alignment-flow.n3

@@ -0,0 +1,62 @@
+# Knowledge-engineering alignment flow inspired by reusable Linked Data artefacts.
+# The example keeps domain terms local, adds generic RDFS/OWL alignment rules once,
+# and derives a target SOSA/FPV-shaped view plus the compact runtime steps that were useful.
+# FPV is used here as a small local Flow/Policy Vocabulary profile, not as a public standard.
+
+@prefix :     <https://example.org/knowledge-engineering-alignment-flow#> .
+@prefix fpv:  <https://example.org/fpv#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix sosa: <http://www.w3.org/ns/sosa/> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
+
+# Local vocabulary: useful to the source team, but not yet the application profile.
+:LocalObservation rdfs:subClassOf sosa:Observation .
+:TemperatureProbe rdfs:subClassOf sosa:Sensor .
+:observedBy rdfs:subPropertyOf sosa:madeBySensor .
+:observedAt rdfs:subPropertyOf sosa:resultTime .
+:temperatureCelsius rdfs:subPropertyOf sosa:hasSimpleResult .
+:observedFeature owl:equivalentProperty sosa:hasFeatureOfInterest .
+:inFlow rdfs:subPropertyOf fpv:hasFlowStep .
+
+# Incoming message in local terms.
+:msg1 a :LocalObservation ;
+  :observedBy :probe7 ;
+  :observedAt "2026-06-17T12:34:56Z"^^xsd:dateTime ;
+  :temperatureCelsius 18.6 ;
+  :observedFeature :platformB ;
+  :inFlow :ingestStep .
+
+:probe7 a :TemperatureProbe .
+
+# Generic rules over vocabulary primitives. They never mention the source classes directly.
+{ ?thing a ?class . ?class rdfs:subClassOf ?super . }
+=>
+{ ?thing a ?super . } .
+
+{ ?subject ?property ?object . ?property rdfs:subPropertyOf ?superProperty . }
+=>
+{ ?subject ?superProperty ?object . } .
+
+{ ?p owl:equivalentProperty ?q . ?s ?p ?o . }
+=>
+{ ?s ?q ?o . } .
+
+{ ?p owl:equivalentProperty ?q . ?s ?q ?o . }
+=>
+{ ?s ?p ?o . } .
+
+# Shape-planning trace: when a source predicate is aligned to a target predicate,
+# record the direct rule that a streaming runtime could specialize.
+{ ?sourcePredicate rdfs:subPropertyOf ?targetPredicate . }
+=>
+{ ?sourcePredicate fpv:runtimeRule fpv:copyToTarget ; fpv:targetPredicate ?targetPredicate . } .
+
+{ ?sourcePredicate owl:equivalentProperty ?targetPredicate . }
+=>
+{ ?sourcePredicate fpv:runtimeRule fpv:copyToTarget ; fpv:targetPredicate ?targetPredicate . } .
+
+# Trust-flow hook: the target-shaped observation can now be attached to a flow step.
+{ ?message a sosa:Observation ; fpv:hasFlowStep ?step ; sosa:madeBySensor ?sensor . }
+=>
+{ ?step fpv:emits ?message ; fpv:trustedBy ?sensor . } .

package/examples/odrl-dpv-fpv-trust-flow.n3

@@ -0,0 +1,97 @@
+# ODRL + DPV + FPV trust-flow decisioning.
+# FPV is a local Flow/Policy Vocabulary profile used to describe data flows and trust gates.
+# ODRL states permissions/prohibitions, DPV gives privacy/risk vocabulary, and rules derive
+# which flow is permitted, denied, or escalated for human review.
+
+@prefix :     <https://example.org/odrl-dpv-fpv-trust-flow#> .
+@prefix dpv:  <https://w3id.org/dpv#> .
+@prefix fpv:  <https://example.org/fpv#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
+@prefix risk: <https://w3id.org/dpv/risk#> .
+
+:HospitalA :trustScore 0.92 .
+:SmallClinic :trustScore 0.63 .
+:AdNetwork :trustScore 0.28 .
+
+:FlowCare a fpv:DataFlow ;
+  fpv:source :HospitalA ;
+  fpv:recipient :ResearchPartner ;
+  fpv:data :LabResult ;
+  fpv:processing dpv:Use ;
+  fpv:purpose dpv:Healthcare .
+
+:FlowClinic a fpv:DataFlow ;
+  fpv:source :SmallClinic ;
+  fpv:recipient :ResearchPartner ;
+  fpv:data :LabResult ;
+  fpv:processing dpv:Use ;
+  fpv:purpose dpv:Healthcare .
+
+:FlowAds a fpv:DataFlow ;
+  fpv:source :HospitalA ;
+  fpv:recipient :AdNetwork ;
+  fpv:data :LabResult ;
+  fpv:processing dpv:Share ;
+  fpv:purpose dpv:Marketing .
+
+:TrustPolicy a odrl:Policy ;
+  odrl:permission :PermitHealthcareResearch ;
+  odrl:prohibition :ProhibitMarketingDisclosure .
+
+:PermitHealthcareResearch a odrl:Permission ;
+  odrl:assignee :ResearchPartner ;
+  odrl:target :LabResult ;
+  odrl:action dpv:Use ;
+  odrl:constraint :HealthcarePurpose, :MinTrust .
+
+:HealthcarePurpose a odrl:Constraint ;
+  odrl:leftOperand fpv:purpose ;
+  odrl:operator odrl:isA ;
+  odrl:rightOperand dpv:Healthcare .
+
+:MinTrust a odrl:Constraint ;
+  odrl:leftOperand fpv:sourceTrust ;
+  odrl:operator odrl:gteq ;
+  odrl:rightOperand 0.80 .
+
+:ProhibitMarketingDisclosure a odrl:Prohibition ;
+  odrl:assignee :AdNetwork ;
+  odrl:target :LabResult ;
+  odrl:action dpv:Share ;
+  odrl:constraint :MarketingPurpose .
+
+:MarketingPurpose a odrl:Constraint ;
+  odrl:leftOperand fpv:purpose ;
+  odrl:operator odrl:isA ;
+  odrl:rightOperand dpv:Marketing .
+
+# Permit if ODRL permission matches and the trust gate is satisfied.
+{ ?flow a fpv:DataFlow ; fpv:source ?source ; fpv:recipient ?recipient ; fpv:data ?data ; fpv:processing ?action ; fpv:purpose ?purpose .
+  ?source :trustScore ?score .
+  :TrustPolicy odrl:permission ?permission .
+  ?permission odrl:assignee ?recipient ; odrl:target ?data ; odrl:action ?action ; odrl:constraint ?purposeConstraint, ?trustConstraint .
+  ?purposeConstraint odrl:leftOperand fpv:purpose ; odrl:operator odrl:isA ; odrl:rightOperand ?purpose .
+  ?trustConstraint odrl:leftOperand fpv:sourceTrust ; odrl:operator odrl:gteq ; odrl:rightOperand ?minTrust .
+  ?score math:notLessThan ?minTrust . }
+=>
+{ ?flow fpv:decision fpv:permit ; fpv:confidence ?score ; dpv:hasStatus fpv:ExecutableFlow . } .
+
+# If the flow otherwise matches but the trust gate is too low, escalate rather than silently deny.
+{ ?flow a fpv:DataFlow ; fpv:source ?source ; fpv:recipient ?recipient ; fpv:data ?data ; fpv:processing ?action ; fpv:purpose ?purpose .
+  ?source :trustScore ?score .
+  :TrustPolicy odrl:permission ?permission .
+  ?permission odrl:assignee ?recipient ; odrl:target ?data ; odrl:action ?action ; odrl:constraint ?purposeConstraint, ?trustConstraint .
+  ?purposeConstraint odrl:leftOperand fpv:purpose ; odrl:operator odrl:isA ; odrl:rightOperand ?purpose .
+  ?trustConstraint odrl:leftOperand fpv:sourceTrust ; odrl:operator odrl:gteq ; odrl:rightOperand ?minTrust .
+  ?score math:lessThan ?minTrust . }
+=>
+{ ?flow fpv:decision fpv:review ; fpv:confidence ?score ; dpv:hasRisk risk:TrustworthinessRisk . } .
+
+# Prohibition wins for marketing disclosure to the advertising network.
+{ ?flow a fpv:DataFlow ; fpv:recipient ?recipient ; fpv:data ?data ; fpv:processing ?action ; fpv:purpose ?purpose .
+  :TrustPolicy odrl:prohibition ?prohibition .
+  ?prohibition odrl:assignee ?recipient ; odrl:target ?data ; odrl:action ?action ; odrl:constraint ?purposeConstraint .
+  ?purposeConstraint odrl:leftOperand fpv:purpose ; odrl:operator odrl:isA ; odrl:rightOperand ?purpose . }
+=>
+{ ?flow fpv:decision fpv:deny ; dpv:hasRisk risk:UnwantedDisclosureData ; dpv:hasStatus fpv:BlockedFlow . } .

package/examples/output/dpv-odrl-purpose-mapping.n3

@@ -0,0 +1,23 @@
+@prefix : <https://example.org/dpv-odrl-purpose-mapping#> .
+@prefix dpv: <https://w3id.org/dpv#> .
+@prefix dpv-odrl: <https://w3id.org/dpv/mappings/odrl#> .
+@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
+
+:AlphaPolicy a odrl:Policy .
+:AlphaPolicy odrl:permission :AlphaPermission .
+:AlphaPermission a odrl:Permission .
+:AlphaPermission odrl:assigner :HospitalA .
+:AlphaPermission odrl:assignee :ResearchPartner .
+:AlphaPermission odrl:target :LabResult .
+:AlphaPermission odrl:action dpv:Use .
+:AlphaPermission :derivedFromProcess :AlphaCareProcess .
+:AlphaPermission odrl:constraint :AlphaPurposeConstraint .
+:AlphaPurposeConstraint a odrl:Constraint .
+:AlphaPurposeConstraint odrl:leftOperand dpv-odrl:Purpose .
+:AlphaPurposeConstraint odrl:operator odrl:isA .
+:AlphaPurposeConstraint odrl:rightOperand dpv:Healthcare .
+:AlphaPermission odrl:constraint :AlphaBasisConstraint .
+:AlphaBasisConstraint a odrl:Constraint .
+:AlphaBasisConstraint odrl:leftOperand dpv-odrl:LegalBasis .
+:AlphaBasisConstraint odrl:operator odrl:isA .
+:AlphaBasisConstraint odrl:rightOperand dpv:Consent .

package/examples/output/knowledge-engineering-alignment-flow.n3

@@ -0,0 +1,24 @@
+@prefix : <https://example.org/knowledge-engineering-alignment-flow#> .
+@prefix fpv: <https://example.org/fpv#> .
+@prefix sosa: <http://www.w3.org/ns/sosa/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:observedBy fpv:runtimeRule fpv:copyToTarget .
+:observedBy fpv:targetPredicate sosa:madeBySensor .
+:observedAt fpv:runtimeRule fpv:copyToTarget .
+:observedAt fpv:targetPredicate sosa:resultTime .
+:temperatureCelsius fpv:runtimeRule fpv:copyToTarget .
+:temperatureCelsius fpv:targetPredicate sosa:hasSimpleResult .
+:observedFeature fpv:runtimeRule fpv:copyToTarget .
+:observedFeature fpv:targetPredicate sosa:hasFeatureOfInterest .
+:inFlow fpv:runtimeRule fpv:copyToTarget .
+:inFlow fpv:targetPredicate fpv:hasFlowStep .
+:msg1 a sosa:Observation .
+:probe7 a sosa:Sensor .
+:msg1 sosa:madeBySensor :probe7 .
+:msg1 sosa:resultTime "2026-06-17T12:34:56Z"^^xsd:dateTime .
+:msg1 sosa:hasSimpleResult 18.6 .
+:msg1 fpv:hasFlowStep :ingestStep .
+:msg1 sosa:hasFeatureOfInterest :platformB .
+:ingestStep fpv:emits :msg1 .
+:ingestStep fpv:trustedBy :probe7 .

package/examples/output/odrl-dpv-fpv-trust-flow.n3

@@ -0,0 +1,14 @@
+@prefix : <https://example.org/odrl-dpv-fpv-trust-flow#> .
+@prefix dpv: <https://w3id.org/dpv#> .
+@prefix fpv: <https://example.org/fpv#> .
+@prefix risk: <https://w3id.org/dpv/risk#> .
+
+:FlowCare fpv:decision fpv:permit .
+:FlowCare fpv:confidence 0.92 .
+:FlowCare dpv:hasStatus fpv:ExecutableFlow .
+:FlowClinic fpv:decision fpv:review .
+:FlowClinic fpv:confidence 0.63 .
+:FlowClinic dpv:hasRisk risk:TrustworthinessRisk .
+:FlowAds fpv:decision fpv:deny .
+:FlowAds dpv:hasRisk risk:UnwantedDisclosureData .
+:FlowAds dpv:hasStatus fpv:BlockedFlow .

package/examples/output/trust-flow-provenance-threshold.n3

@@ -0,0 +1,12 @@
+@prefix : <https://example.org/trust-flow-provenance-threshold#> .
+@prefix dpv: <https://w3id.org/dpv#> .
+@prefix fpv: <https://example.org/fpv#> .
+@prefix risk: <https://w3id.org/dpv/risk#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:messageA fpv:confidence "0.8937599999999999"^^xsd:decimal .
+:messageB fpv:confidence "0.41999999999999993"^^xsd:decimal .
+:messageA fpv:trustFlowState fpv:accepted .
+:messageA dpv:hasStatus fpv:HighTrustFlow .
+:messageB fpv:trustFlowState fpv:quarantine .
+:messageB dpv:hasRisk risk:LowTrustDataSource .

package/examples/trust-flow-provenance-threshold.n3

@@ -0,0 +1,54 @@
+# Trust flow with provenance-derived confidence.
+# A message is considered high-trust only when publisher trust, signature strength,
+# and transformation quality combine above the receiver threshold.
+
+@prefix :     <https://example.org/trust-flow-provenance-threshold#> .
+@prefix dpv:  <https://w3id.org/dpv#> .
+@prefix fpv:  <https://example.org/fpv#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix risk: <https://w3id.org/dpv/risk#> .
+
+:messageA a fpv:Message ;
+  prov:wasAttributedTo :PublisherA ;
+  prov:wasGeneratedBy :TransformA ;
+  fpv:hasSignature :SignatureA ;
+  fpv:receiver :ReceiverApp .
+
+:messageB a fpv:Message ;
+  prov:wasAttributedTo :PublisherB ;
+  prov:wasGeneratedBy :TransformB ;
+  fpv:hasSignature :SignatureB ;
+  fpv:receiver :ReceiverApp .
+
+:PublisherA fpv:publisherTrust 0.95 .
+:PublisherB fpv:publisherTrust 0.70 .
+:SignatureA fpv:signatureStrength 0.98 .
+:SignatureB fpv:signatureStrength 0.75 .
+:TransformA fpv:qualityScore 0.96 .
+:TransformB fpv:qualityScore 0.80 .
+:ReceiverApp fpv:acceptanceThreshold 0.85 .
+
+{ ?message a fpv:Message ;
+    prov:wasAttributedTo ?publisher ;
+    prov:wasGeneratedBy ?transform ;
+    fpv:hasSignature ?signature ;
+    fpv:receiver ?receiver .
+  ?publisher fpv:publisherTrust ?publisherTrust .
+  ?signature fpv:signatureStrength ?signatureTrust .
+  ?transform fpv:qualityScore ?quality .
+  ( ?publisherTrust ?signatureTrust ?quality ) math:product ?confidence . }
+=>
+{ ?message fpv:confidence ?confidence . } .
+
+{ ?message fpv:confidence ?confidence ; fpv:receiver ?receiver .
+  ?receiver fpv:acceptanceThreshold ?threshold .
+  ?confidence math:notLessThan ?threshold . }
+=>
+{ ?message fpv:trustFlowState fpv:accepted ; dpv:hasStatus fpv:HighTrustFlow . } .
+
+{ ?message fpv:confidence ?confidence ; fpv:receiver ?receiver .
+  ?receiver fpv:acceptanceThreshold ?threshold .
+  ?confidence math:lessThan ?threshold . }
+=>
+{ ?message fpv:trustFlowState fpv:quarantine ; dpv:hasRisk risk:LowTrustDataSource . } .

package/lib/eyelang/builtins/registry.js

@@ -10,7 +10,6 @@ import { controlBuiltins } from './control.js';
 import { searchBuiltins } from './search.js';
 import { numberTheoryBuiltins } from './number-theory.js';
 import { matrixBuiltins } from './matrix.js';
-import { alphameticBuiltins } from './alphametic.js';
 
 export class BuiltinRegistry {
   constructor() {
@@ -37,7 +36,7 @@ export class BuiltinRegistry {
 
 export function createDefaultRegistry() {
   const registry = new BuiltinRegistry();
-  for (const mod of [coreBuiltins, arithmeticBuiltins, stringBuiltins, listBuiltins, aggregationBuiltins, contextBuiltins, controlBuiltins, searchBuiltins, numberTheoryBuiltins, matrixBuiltins, alphameticBuiltins]) {
+  for (const mod of [coreBuiltins, arithmeticBuiltins, stringBuiltins, listBuiltins, aggregationBuiltins, contextBuiltins, controlBuiltins, searchBuiltins, numberTheoryBuiltins, matrixBuiltins]) {
     mod.register(registry);
   }
   return registry;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.33.8",
+  "version": "1.33.10",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/examples/eyelang/cryptarithmetic-send-more-money.pl

@@ -1,49 +0,0 @@
-% Cryptarithmetic without cut.
-%
-% Two column-pruned puzzles are included.  SEND + MORE = MONEY is the classic
-% eight-letter puzzle, and DONALD + GERALD = ROBERT uses all ten digits across
-% a six-column addition.  Each column constraint is applied as soon as possible
-% so the finite digit search prunes early without cut.
-
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(status, 2).
-materialize(assignment, 2).
-materialize(equation, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-send_more_money(solution(S, E, N, D, M, O, R, Y), Send, More, Money) :-
-  alphametic_sum(
-    [s, e, n, d, m, o, r, y],
-    [[s, e, n, d], [m, o, r, e]],
-    [m, o, n, e, y],
-    [S, E, N, D, M, O, R, Y],
-    [Send, More, Money]
-  ).
-
-donald_gerald_robert(solution(D, O, N, A, L, G, E, R, B, T), Donald, Gerald, Robert) :-
-  alphametic_sum(
-    [d, o, n, a, l, g, e, r, b, t],
-    [[d, o, n, a, l, d], [g, e, r, a, l, d]],
-    [r, o, b, e, r, t],
-    [D, O, N, A, L, G, E, R, B, T],
-    [Donald, Gerald, Robert]
-  ).
-
-status(send_more_money, solved) :-
-  once(send_more_money(_Solution, _Send, _More, _Money)).
-
-assignment(send_more_money, Solution) :-
-  once(send_more_money(Solution, _Send, _More, _Money)).
-
-equation(send_more_money, plus(Send, More, Money)) :-
-  once(send_more_money(_Solution, Send, More, Money)).
-
-status(donald_gerald_robert, solved) :-
-  once(donald_gerald_robert(_Solution, _Donald, _Gerald, _Robert)).
-
-assignment(donald_gerald_robert, Solution) :-
-  once(donald_gerald_robert(Solution, _Donald, _Gerald, _Robert)).
-
-equation(donald_gerald_robert, plus(Donald, Gerald, Robert)) :-
-  once(donald_gerald_robert(_Solution, Donald, Gerald, Robert)).

package/examples/eyelang/output/cryptarithmetic-send-more-money.pl

@@ -1,6 +0,0 @@
-status(send_more_money, solved).
-status(donald_gerald_robert, solved).
-assignment(send_more_money, solution(9, 5, 6, 7, 1, 0, 8, 2)).
-assignment(donald_gerald_robert, solution(5, 2, 6, 4, 8, 1, 9, 7, 3, 0)).
-equation(send_more_money, plus(9567, 1085, 10652)).
-equation(donald_gerald_robert, plus(526485, 197485, 723970)).

package/lib/eyelang/builtins/alphametic.js

@@ -1,144 +0,0 @@
-// Reusable alphametic addition solver.
-// It evaluates column constraints right-to-left, so examples such as
-// SEND+MORE=MONEY and DONALD+GERALD=ROBERT do not need to express digit search
-// with many relational select/3 and arithmetic goals.
-import { atom, deref, listFromItems, numberTerm, properListItems, unify } from '../term.js';
-
-export const alphameticBuiltins = {
-  register(registry) {
-    registry.add('alphametic_sum', 5, alphameticSum, {
-      fallbackWhenNotReady: true,
-      ready: alphameticReady,
-    });
-  }
-};
-
-function alphameticReady(goal, env) {
-  return atomList(goal.args[0], env) !== null && wordList(goal.args[1], env) !== null && atomList(goal.args[2], env) !== null;
-}
-
-function* alphameticSum({ goal, env }) {
-  const letters = atomList(goal.args[0], env);
-  const addends = wordList(goal.args[1], env);
-  const result = atomList(goal.args[2], env);
-  if (!letters || !addends || !result || letters.length > 10 || addends.length === 0) return;
-
-  const letterSet = new Set(letters);
-  for (const word of [...addends, result]) for (const letter of word) if (!letterSet.has(letter)) return;
-
-  const leading = new Set();
-  for (const word of [...addends, result]) if (word.length > 1) leading.add(word[0]);
-  const maxLen = Math.max(result.length, ...addends.map((word) => word.length));
-  const assignment = new Map();
-  const used = Array(10).fill(false);
-
-  function canUse(letter, digit) {
-    return !used[digit] && !(digit === 0 && leading.has(letter));
-  }
-
-  function assignDigit(letter, digit) {
-    assignment.set(letter, digit);
-    used[digit] = true;
-  }
-
-  function unassignDigit(letter, digit) {
-    assignment.delete(letter);
-    used[digit] = false;
-  }
-
-  function* assignAddends(column, carry, index, sum) {
-    if (index >= addends.length) {
-      yield* finishColumn(column, sum);
-      return;
-    }
-    const word = addends[index];
-    const letter = word[word.length - 1 - column];
-    if (letter === undefined) {
-      yield* assignAddends(column, carry, index + 1, sum);
-      return;
-    }
-    const assigned = assignment.get(letter);
-    if (assigned !== undefined) {
-      yield* assignAddends(column, carry, index + 1, sum + assigned);
-      return;
-    }
-    for (let digit = 0; digit <= 9; digit++) {
-      if (!canUse(letter, digit)) continue;
-      assignDigit(letter, digit);
-      yield* assignAddends(column, carry, index + 1, sum + digit);
-      unassignDigit(letter, digit);
-    }
-  }
-
-  function* finishColumn(column, sum) {
-    const resultLetter = result[result.length - 1 - column];
-    const digit = sum % 10;
-    const nextCarry = Math.floor(sum / 10);
-    if (resultLetter === undefined) {
-      if (digit === 0) yield* solveColumn(column + 1, nextCarry);
-      return;
-    }
-    const assigned = assignment.get(resultLetter);
-    if (assigned !== undefined) {
-      if (assigned === digit) yield* solveColumn(column + 1, nextCarry);
-      return;
-    }
-    if (!canUse(resultLetter, digit)) return;
-    assignDigit(resultLetter, digit);
-    yield* solveColumn(column + 1, nextCarry);
-    unassignDigit(resultLetter, digit);
-  }
-
-  function* solveColumn(column, carry) {
-    if (column >= maxLen) {
-      if (carry !== 0) return;
-      if (assignment.size !== letters.length) return;
-      yield new Map(assignment);
-      return;
-    }
-    yield* assignAddends(column, carry, 0, carry);
-  }
-
-  for (const solution of solveColumn(0, 0)) {
-    const digitTerms = letters.map((letter) => numberTerm(String(solution.get(letter))));
-    const values = [...addends, result].map((word) => wordValue(word, solution));
-    const valueTerms = values.map((value) => numberTerm(String(value)));
-    const next = env.clone();
-    if (unify(goal.args[3], listFromItems(digitTerms), next) && unify(goal.args[4], listFromItems(valueTerms), next)) yield next;
-  }
-}
-
-function wordValue(word, assignment) {
-  let value = 0;
-  for (const letter of word) value = value * 10 + assignment.get(letter);
-  return value;
-}
-
-function atomList(term, env) {
-  const items = properListItems(term, env);
-  if (!items) return null;
-  const out = [];
-  for (const item of items) {
-    const text = atomKey(deref(item, env));
-    if (text == null) return null;
-    out.push(text);
-  }
-  return out;
-}
-
-function wordList(term, env) {
-  const items = properListItems(term, env);
-  if (!items) return null;
-  const out = [];
-  for (const item of items) {
-    const word = atomList(item, env);
-    if (!word) return null;
-    out.push(word);
-  }
-  return out;
-}
-
-function atomKey(term) {
-  if (term.type === 'atom' || term.type === 'string' || term.type === 'number') return term.name;
-  return null;
-}

package/test/eyelang/conformance/cases/extension/045_alphametic_sum_small.pl

@@ -1,3 +0,0 @@
-% Reference 9.5: alphametic_sum/5 enumerates unique digit assignments for column addition.
-answer(solution, result(Digits, Values)) :- alphametic_sum([a, b], [[a], [a]], [b], Digits, Values).
-materialize(answer, 2).

package/test/eyelang/conformance/expected/extension/045_alphametic_sum_small.out

@@ -1,4 +0,0 @@
-answer(solution, result([1, 2], [1, 1, 2])).
-answer(solution, result([2, 4], [2, 2, 4])).
-answer(solution, result([3, 6], [3, 3, 6])).
-answer(solution, result([4, 8], [4, 4, 8])).