eyeling 1.16.2 → 1.16.4

package/HANDBOOK.md

@@ -484,6 +484,8 @@ When proving a goal with IRI predicate, Eyeling computes candidate facts by:
 
 This is a cheap selectivity heuristic. In type-heavy RDF, `(p,o)` is often extremely selective (e.g., `rdf:type` + a class IRI), so the PO index can be a major speed win.
 
+The same selectivity idea is also reused by the single-premise forward-rule agenda in `forwardChain`: safe one-premise rules are pre-indexed by predicate / `(p,s)` / `(p,o)` patterns so a newly added fact only checks the small subset of rules that could match it.
+
 ### 7.3 Duplicate detection with fast keys
 
 When adding derived facts, Eyeling uses a fast-path duplicate check when possible:
@@ -662,6 +664,8 @@ until not changed
 
 Top-level input triples are kept as parsed (including non-ground triples such as ?X :p :o.). Groundness is enforced when adding derived facts during forward chaining, and when selecting printed/query output triples.
 
+There is also a narrow fast path for some **single-premise** forward rules. When a rule has exactly one non-builtin premise and that premise cannot also be satisfied through backward rules, `forwardChain` can index the rule by that premise shape and fire it directly from newly added facts. This does **not** replace the general saturation loop; it is only an agenda-style shortcut for the safe one-premise case.
+
 ### 9.2 Strict-ground head optimization
 
 There is a nice micro-compiler optimization in `runFixpoint()`:

package/README.md

@@ -15,7 +15,6 @@ A compact [Notation3 (N3)](https://notation3.org/) reasoner in **JavaScript**.
 - **Semantics:** [https://eyereasoner.github.io/eyeling/SEMANTICS](https://eyereasoner.github.io/eyeling/SEMANTICS)
 - **Playground:** [https://eyereasoner.github.io/eyeling/demo](https://eyereasoner.github.io/eyeling/demo)
 - **Conformance report:** [https://codeberg.org/phochste/notation3tests/src/branch/main/reports/report.md](https://codeberg.org/phochste/notation3tests/src/branch/main/reports/report.md)
-- **ARCtifacts:** [https://eyereasoner.github.io/eyeling/arctifacts/](https://eyereasoner.github.io/eyeling/arctifacts/)
 
 Eyeling is regularly checked against the community Notation3 test suite. If you want implementation details (parser, unifier, proof search, skolemization, scoped closure, builtins), start with the handbook.
 

package/examples/ershov-mixed-computation.n3

@@ -0,0 +1,106 @@
+# =====================================================================
+# Ershov mixed computation in Notation3
+#
+# This example illustrates the basic idea of Ershov mixed computation:
+# a computation is split into two phases.
+#
+#   Phase 1: specialization
+#     We take a generic pricing computation and the part of the input
+#     already known now (here: the customer is VIP), and we produce a
+#     residual program with those known values baked in.
+#
+#   Phase 2: residual execution
+#     Later, when the remaining input becomes available
+#     (here: an order subtotal), we run the residual program and obtain
+#     the final result.
+#
+# In this example:
+#   generic formula: finalPrice = subtotal * discountRate + shippingFee
+#   known now:       customerClass = VIP
+#   known later:     subtotal = 100.00
+#
+# Specialization fixes:
+#   discountRate = 0.90
+#   shippingFee  = 5.00
+#
+# So the residual program becomes:
+#   finalPrice = subtotal * 0.90 + 5.00
+#
+# With subtotal = 100.00, the expected result is:
+#   100.00 * 0.90 + 5.00 = 95.00
+#
+# Typical eyeling output therefore includes:
+#   - the specialized residual rule
+#   - :futureOrder :computedByResidualProgram "95"^^xsd:decimal
+#
+# This is a tiny staging example, not a full partial evaluator.
+# =====================================================================
+
+@prefix :    <http://example.org/mix#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math:<http://www.w3.org/2000/10/swap/math#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+# ------------------------------------------------------------
+# Generic computation, represented as static parameters
+# ------------------------------------------------------------
+
+:pricingProgram
+    :discountRate "0.90"^^xsd:decimal;
+    :shippingFee  "5.00"^^xsd:decimal.
+
+# Static input known at specialization time
+:specialization :customerClass :VIP.
+
+# ------------------------------------------------------------
+# Phase 1: specialization
+#
+# Build a residual program for the VIP case by baking the static
+# constants into a quoted rule.
+# ------------------------------------------------------------
+
+{
+    :pricingProgram :discountRate ?rate;
+                    :shippingFee ?fee.
+    :specialization :customerClass :VIP.
+}
+=>
+{
+    :specialization :residualProgram {
+        {
+            ?order :subtotal ?subtotal.
+            (?subtotal ?rate) math:product ?discounted.
+            (?discounted ?fee) math:sum ?final.
+        }
+        =>
+        {
+            ?order :finalPrice ?final.
+        } .
+    } .
+} .
+
+# ------------------------------------------------------------
+# Phase 2: residual execution
+#
+# Later input arrives:
+#   :futureOrder :subtotal 100.00
+#
+# We combine that later input with the residual program, take the
+# logical closure, and extract the inferred final price.
+# ------------------------------------------------------------
+
+{
+    :specialization :residualProgram ?rp.
+
+    ( ?rp
+      { :futureOrder :subtotal "100.00"^^xsd:decimal. }
+    ) log:conjunction ?run .
+
+    ?run log:conclusion ?closure .
+
+    ?closure log:includes { :futureOrder :finalPrice ?price. } .
+}
+=>
+{
+    :futureOrder :computedByResidualProgram ?price.
+} .

package/examples/output/ershov-mixed-computation.n3

@@ -0,0 +1,15 @@
+@prefix : <http://example.org/mix#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:specialization :residualProgram {
+    {
+        ?order :subtotal ?subtotal .
+        (?subtotal "0.90"^^xsd:decimal) math:product ?discounted .
+        (?discounted "5.00"^^xsd:decimal) math:sum ?final .
+    } => {
+        ?order :finalPrice ?final .
+    } .
+} .
+:futureOrder :computedByResidualProgram "95"^^xsd:decimal .