eyeling 1.16.4 → 1.17.0

package/examples/easter.n3

@@ -1,78 +1,208 @@
-# =====================================================================
-# Easter Date
-# Calculation of easter dates.
-# original copy at http://www.w3.org/2000/10/swap/test/easter/easter.n3
-# =====================================================================
-
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix string: <http://www.w3.org/2000/10/swap/string#>.
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
-@prefix prolog: <http://eulersharp.sourceforge.net/2003/03swap/prolog#>.
-@prefix : <http://www.agfa.com/w3c/euler/easterP#>.
-
-<> rdfs:comment """
-              Divide            by      Quotient  Remainder
-        ---------------------------------------------------
-                 y               19                   j
-                 y              100        k          h
-                 k                4        m          n
-               k + 8             25        p
-             k - p + 1            3        q
-        19j + k - m - q + 15     30                   r
-                 h                4        s          u
-        32 + 2n + 2s - r - u      7                   v
-           j + 11r + 22v        451        w
-         r + v - 7w + 114        31        x          z
-
-Here x is the number of the month ond 1 + z is the day of that
-month upon which Easter Sunday falls in the year y.
-""".
-
-2021 a :Year.
-2022 a :Year.
-2023 a :Year.
-2024 a :Year.
-2025 a :Year.
-2026 a :Year.
-2027 a :Year.
-2028 a :Year.
-2029 a :Year.
-2030 a :Year.
-2031 a :Year.
-2032 a :Year.
-2033 a :Year.
-2034 a :Year.
-2035 a :Year.
-2036 a :Year.
-2037 a :Year.
-2038 a :Year.
-2039 a :Year.
-2040 a :Year.
-2041 a :Year.
-2042 a :Year.
-2043 a :Year.
-2044 a :Year.
-2045 a :Year.
-2046 a :Year.
-2047 a :Year.
-2048 a :Year.
-2049 a :Year.
-2050 a :Year.
-
-{   ?Y a :Year.
-    (?Y 19) math:remainder ?J.
-    (?Y 100) math:integerQuotient ?K; math:remainder ?H.
-    (?K 4) math:integerQuotient ?M; math:remainder ?N.
-    ((?K 8)!math:sum 25) math:integerQuotient ?P.
-    (((?K ?P)!math:difference 1)!math:sum 3) math:integerQuotient ?Q.
-    ((((((19 ?J)!math:product ?K)!math:sum ?M)!math:difference ?Q)!math:difference 15)!math:sum 30) math:remainder ?R.
-    (?H 4) math:integerQuotient ?S; math:remainder ?U.
-    ((32 (2 ?N)!math:product (2 ?S)!math:product ?R!math:negation ?U!math:negation)!math:sum 7) math:remainder ?V.
-    ((?J (11 ?R)!math:product (22 ?V)!math:product)!math:sum 451) math:integerQuotient ?W.
-    ((?R ?V (7 ?W)!math:product!math:negation 114)!math:sum 31) math:integerQuotient ?X; math:remainder ?Z.
-    (?Z 1) math:sum ?DAY.
-} => {
-    (?DAY ?X) :easterFor ?Y.
-}.
+# ==========================================================================
+# Easter — ARC-style
+#
+# This example computes the date of Easter Sunday in the Gregorian calendar.
+# For each year in a sample range, it applies the classic computus step by
+# step, explains the resulting month and day, and then checks independent
+# properties of the result: cycle bounds, remainder bounds, and the legal
+# Easter date window in March or April.
+# ==========================================================================
+
+@prefix : <https://example.org/easter-arc#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<> rdfs:comment """This ARC-style version keeps the Gregorian computus from the original example and reports, for each sample year, an Answer, a Reason Why, and a set of independent Checks.""" .
+
+:y2026 a :Case; :year 2026 .
+:y2027 a :Case; :year 2027 .
+:y2028 a :Case; :year 2028 .
+:y2029 a :Case; :year 2029 .
+:y2030 a :Case; :year 2030 .
+:y2031 a :Case; :year 2031 .
+:y2032 a :Case; :year 2032 .
+:y2033 a :Case; :year 2033 .
+:y2034 a :Case; :year 2034 .
+:y2035 a :Case; :year 2035 .
+
+:goldenRemainder :value 0 .
+:goldenRemainder :value 1 .
+:goldenRemainder :value 2 .
+:goldenRemainder :value 3 .
+:goldenRemainder :value 4 .
+:goldenRemainder :value 5 .
+:goldenRemainder :value 6 .
+:goldenRemainder :value 7 .
+:goldenRemainder :value 8 .
+:goldenRemainder :value 9 .
+:goldenRemainder :value 10 .
+:goldenRemainder :value 11 .
+:goldenRemainder :value 12 .
+:goldenRemainder :value 13 .
+:goldenRemainder :value 14 .
+:goldenRemainder :value 15 .
+:goldenRemainder :value 16 .
+:goldenRemainder :value 17 .
+:goldenRemainder :value 18 .
+
+:epactRemainder :value 0 .
+:epactRemainder :value 1 .
+:epactRemainder :value 2 .
+:epactRemainder :value 3 .
+:epactRemainder :value 4 .
+:epactRemainder :value 5 .
+:epactRemainder :value 6 .
+:epactRemainder :value 7 .
+:epactRemainder :value 8 .
+:epactRemainder :value 9 .
+:epactRemainder :value 10 .
+:epactRemainder :value 11 .
+:epactRemainder :value 12 .
+:epactRemainder :value 13 .
+:epactRemainder :value 14 .
+:epactRemainder :value 15 .
+:epactRemainder :value 16 .
+:epactRemainder :value 17 .
+:epactRemainder :value 18 .
+:epactRemainder :value 19 .
+:epactRemainder :value 20 .
+:epactRemainder :value 21 .
+:epactRemainder :value 22 .
+:epactRemainder :value 23 .
+:epactRemainder :value 24 .
+:epactRemainder :value 25 .
+:epactRemainder :value 26 .
+:epactRemainder :value 27 .
+:epactRemainder :value 28 .
+:epactRemainder :value 29 .
+
+:weekdayRemainder :value 0 .
+:weekdayRemainder :value 1 .
+:weekdayRemainder :value 2 .
+:weekdayRemainder :value 3 .
+:weekdayRemainder :value 4 .
+:weekdayRemainder :value 5 .
+:weekdayRemainder :value 6 .
+
+:slot_m3_d22 :monthNum 3; :day 22 .
+:slot_m3_d23 :monthNum 3; :day 23 .
+:slot_m3_d24 :monthNum 3; :day 24 .
+:slot_m3_d25 :monthNum 3; :day 25 .
+:slot_m3_d26 :monthNum 3; :day 26 .
+:slot_m3_d27 :monthNum 3; :day 27 .
+:slot_m3_d28 :monthNum 3; :day 28 .
+:slot_m3_d29 :monthNum 3; :day 29 .
+:slot_m3_d30 :monthNum 3; :day 30 .
+:slot_m3_d31 :monthNum 3; :day 31 .
+:slot_m4_d1 :monthNum 4; :day 1 .
+:slot_m4_d2 :monthNum 4; :day 2 .
+:slot_m4_d3 :monthNum 4; :day 3 .
+:slot_m4_d4 :monthNum 4; :day 4 .
+:slot_m4_d5 :monthNum 4; :day 5 .
+:slot_m4_d6 :monthNum 4; :day 6 .
+:slot_m4_d7 :monthNum 4; :day 7 .
+:slot_m4_d8 :monthNum 4; :day 8 .
+:slot_m4_d9 :monthNum 4; :day 9 .
+:slot_m4_d10 :monthNum 4; :day 10 .
+:slot_m4_d11 :monthNum 4; :day 11 .
+:slot_m4_d12 :monthNum 4; :day 12 .
+:slot_m4_d13 :monthNum 4; :day 13 .
+:slot_m4_d14 :monthNum 4; :day 14 .
+:slot_m4_d15 :monthNum 4; :day 15 .
+:slot_m4_d16 :monthNum 4; :day 16 .
+:slot_m4_d17 :monthNum 4; :day 17 .
+:slot_m4_d18 :monthNum 4; :day 18 .
+:slot_m4_d19 :monthNum 4; :day 19 .
+:slot_m4_d20 :monthNum 4; :day 20 .
+:slot_m4_d21 :monthNum 4; :day 21 .
+:slot_m4_d22 :monthNum 4; :day 22 .
+:slot_m4_d23 :monthNum 4; :day 23 .
+:slot_m4_d24 :monthNum 4; :day 24 .
+:slot_m4_d25 :monthNum 4; :day 25 .
+
+# --------
+# Computus
+# --------
+
+{ ?Case a :Case; :year ?Y.
+  (?Y 19) math:remainder ?J.
+  (?Y 100) math:integerQuotient ?K; math:remainder ?H.
+  (?K 4) math:integerQuotient ?M; math:remainder ?N.
+  ((?K 8)!math:sum 25) math:integerQuotient ?P.
+  (((?K ?P)!math:difference 1)!math:sum 3) math:integerQuotient ?Q.
+  ((((((19 ?J)!math:product ?K)!math:sum ?M)!math:difference ?Q)!math:difference 15)!math:sum 30)
+      math:remainder ?R.
+  (?H 4) math:integerQuotient ?S; math:remainder ?U.
+  ((32 (2 ?N)!math:product (2 ?S)!math:product ?R!math:negation ?U!math:negation)!math:sum 7)
+      math:remainder ?V.
+  ((?J (11 ?R)!math:product (22 ?V)!math:product)!math:sum 451)
+      math:integerQuotient ?W.
+  ((?R ?V (7 ?W)!math:product!math:negation 114)!math:sum 31)
+      math:integerQuotient ?X; math:remainder ?Z.
+  (?Z 1) math:sum ?DAY.
+}
+=>
+{ ?Case
+    :j ?J;
+    :k ?K;
+    :h ?H;
+    :m ?M;
+    :n ?N;
+    :p ?P;
+    :q ?Q;
+    :r ?R;
+    :s ?S;
+    :u ?U;
+    :v ?V;
+    :w ?W;
+    :monthNum ?X;
+    :day ?DAY;
+    :z ?Z. } .
+
+{ ?Case :monthNum 3. } => { ?Case :monthName "March". } .
+{ ?Case :monthNum 4. } => { ?Case :monthName "April". } .
+
+# ------------------
+# Independent checks
+# ------------------
+
+{ ?Case :j ?J. :goldenRemainder :value ?J. }
+    => { ?Case :check1 "C1 OK - the Golden Number remainder j is inside the 0–18 cycle.\n" . } .
+
+{ ?Case :r ?R. :epactRemainder :value ?R. }
+    => { ?Case :check2 "C2 OK - the epact-style remainder r is inside the 0–29 cycle.\n" . } .
+
+{ ?Case :v ?V. :weekdayRemainder :value ?V. }
+    => { ?Case :check3 "C3 OK - the weekday adjustment v is inside the 0–6 cycle.\n" . } .
+
+{ ?Case :monthNum ?M; :monthName ?Name. }
+    => { ?Case :check4 "C4 OK - the final month is a valid Easter month (March or April).\n" . } .
+
+{ ?Case :monthNum ?M; :day ?D.
+  ?Slot :monthNum ?M; :day ?D. }
+    => { ?Case :check5 "C5 OK - the final date is inside the legal Gregorian Easter window.\n" . } .
+
+# ----------------
+# ARC-style report
+# ----------------
+
+{ ?Case :year ?Y; :monthName ?Month; :day ?Day;
+        :j ?J; :k ?K; :q ?Q; :r ?R; :v ?V; :monthNum ?X; :z ?Z;
+        :check1 ?C1; :check2 ?C2; :check3 ?C3; :check4 ?C4; :check5 ?C5.
+  (
+    "Easter — Gregorian computus\n\n"
+    "=== " ?Y " ===\n"
+    "Answer\n"
+    "Easter Sunday falls on " ?Month " " ?Day ".\n\n"
+    "Reason Why\n"
+    "For year " ?Y ", the computus gives j=" ?J ", k=" ?K ", q=" ?Q
+    ", r=" ?R ", v=" ?V ", and final month/day numbers x=" ?X ", z=" ?Z ". "
+    "Because the day is z+1, the resulting Easter date is " ?Month " " ?Day ".\n\n"
+    "Check\n"
+    ?C1 ?C2 ?C3 ?C4 ?C5
+  ) string:concatenation ?Block. }
+    =>
+{ :report log:outputString ?Block. } .

package/examples/gps.n3

@@ -1,63 +1,154 @@
-# =======================================================================
-# Goal driven Parallel Sequences
-# See https://www.sciencedirect.com/science/article/pii/S1532046421000794
-# and https://github.com/hongsun502/wstLogic/tree/master
-# =======================================================================
+# ===========================================================================
+# GPS — ARC-style goal-driven path example.
+#
+# This example shows a tiny route planner for western Belgium. Starting in Gent,
+# the program works out the available routes to Oostende, compares them, and
+# recommends the better one. It does not only print an answer: it also explains
+# why that route was chosen and checks that the recommendation is consistent
+# with the computed travel metrics.
+# ===========================================================================
 
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
-@prefix gps:  <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#>.
-@prefix :     <https://eyereasoner.github.io/eye/reasoning#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix gps: <https://example.org/gps#>.
+@prefix : <https://example.org/gps-case#>.
+
+# -----
+# Facts
+# -----
 
-# current state
 :i1 :location :Gent.
+:question :text "Which route should we take from Gent to Oostende?".
 
-# -------------------------------------------------
-# map of Belgium (as backward rules / descriptions)
-# -------------------------------------------------
-{:map-BE gps:description ({?S :location :Gent}     true {?S :location :Brugge}   :drive_gent_brugge      1500.0 0.006 0.96 0.99)} <= true.
-{:map-BE gps:description ({?S :location :Gent}     true {?S :location :Kortrijk} :drive_gent_kortrijk    1600.0 0.007 0.96 0.99)} <= true.
-{:map-BE gps:description ({?S :location :Kortrijk} true {?S :location :Brugge}   :drive_kortrijk_brugge  1600.0 0.007 0.96 0.99)} <= true.
-{:map-BE gps:description ({?S :location :Brugge}   true {?S :location :Oostende} :drive_brugge_oostende   900.0 0.004 0.98 1.0 )} <= true.
-
-# -----------------------------
-# Compute all paths by chaining
-# -----------------------------
-# Base: a single map description is a path
-{
-  (?From ?To (?Act) ?Dur ?Cost ?Belief ?Comfort) :path true.
-}
-<=
-{
-  :map-BE gps:description (?From true ?To ?Act ?Dur ?Cost ?Belief ?Comfort).
-}.
-
-# Recursive: chain one step + rest path, and aggregate weights
-{
-  (?From ?To ?Actions ?Dur ?Cost ?Belief ?Comfort) :path true.
-}
-<=
-{
-  :map-BE gps:description (?From true ?Mid ?Act ?Dur1 ?Cost1 ?Bel1 ?Comf1).
-  (?Mid ?To ?RestActs ?Dur2 ?Cost2 ?Bel2 ?Comf2) :path true.
+:routeDirect :label "Gent → Brugge → Oostende".
+:routeViaKortrijk :label "Gent → Kortrijk → Brugge → Oostende".
+
+# ----------------------------------------------------------------
+# Map of Belgium (kept from the original as backward descriptions)
+# ----------------------------------------------------------------
+
+{ :mapBE gps:description ({?S :location :Gent} true {?S :location :Brugge} :drive_gent_brugge 1500.0 0.006 0.96 0.99) }
+    <= true.
+
+{ :mapBE gps:description ({?S :location :Gent} true {?S :location :Kortrijk} :drive_gent_kortrijk 1600.0 0.007 0.96 0.99) }
+    <= true.
 
+{ :mapBE gps:description ({?S :location :Kortrijk} true {?S :location :Brugge} :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99) }
+    <= true.
+
+{ :mapBE gps:description ({?S :location :Brugge} true {?S :location :Oostende} :drive_brugge_oostende 900.0 0.004 0.98 1.0) }
+    <= true.
+
+# -----------------------------------------------------
+# Logic: compute all paths by chaining map descriptions
+# -----------------------------------------------------
+
+# Base: a single map description is already a path.
+{ (?From ?To (?Act) ?Dur ?Cost ?Belief ?Comfort) :path true. }
+    <=
+{ :mapBE gps:description (?From true ?To ?Act ?Dur ?Cost ?Belief ?Comfort). }.
+
+# Recursive: extend a description with the rest of a path.
+{ (?From ?To ?Actions ?Dur ?Cost ?Belief ?Comfort) :path true. }
+    <=
+{ :mapBE gps:description (?From true ?Mid ?Act ?Dur1 ?Cost1 ?Bel1 ?Comf1).
+  (?Mid ?To ?RestActs ?Dur2 ?Cost2 ?Bel2 ?Comf2) :path true.
   ((?Act) ?RestActs) list:append ?Actions.
+  (?Dur1 ?Dur2) math:sum ?Dur.
+  (?Cost1 ?Cost2) math:sum ?Cost.
+  (?Bel1 ?Bel2) math:product ?Belief.
+  (?Comf1 ?Comf2) math:product ?Comfort. }.
+
+# Query the path relation for the traveller starting in Gent and aiming for Oostende.
+{ :i1 :location :Gent.
+  ({:i1 :location :Gent} {:i1 :location :Oostende} ?Acts ?Dur ?Cost ?Bel ?Comf) :path true. }
+    =>
+{ :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf). }.
+
+# Name the two concrete routes that exist in this tiny map.
+{ :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) ?Dur ?Cost ?Bel ?Comf). }
+    =>
+{ :routeDirect :duration ?Dur;
+               :cost ?Cost;
+               :belief ?Bel;
+               :comfort ?Comf. }.
+
+{ :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) ?Dur ?Cost ?Bel ?Comf). }
+    =>
+{ :routeViaKortrijk :duration ?Dur;
+                    :cost ?Cost;
+                    :belief ?Bel;
+                    :comfort ?Comf. }.
+
+# ------------------------------------
+# Decision: recommend the better route
+# ------------------------------------
+
+{ :routeDirect :duration ?D1; :cost ?C1; :belief ?B1; :comfort ?F1.
+  :routeViaKortrijk :duration ?D2; :cost ?C2; :belief ?B2; :comfort ?F2.
+  ?D1 math:lessThan ?D2.
+  ?C1 math:lessThan ?C2.
+  ?B1 math:greaterThan ?B2.
+  ?F1 math:greaterThan ?F2. }
+    =>
+{ :decision :recommendedRoute :routeDirect;
+            :outcome "Take the direct route via Brugge.". }.
+
+# ---------------------------------------------------
+# Presentation: ARC output as one deterministic block
+# ---------------------------------------------------
+
+{ :decision :recommendedRoute :routeDirect; :outcome ?Outcome.
+  :routeDirect :label ?BestLabel; :duration ?BestDur; :cost ?BestCost; :belief ?BestBel; :comfort ?BestComf.
+  :routeViaKortrijk :label ?AltLabel; :duration ?AltDur; :cost ?AltCost; :belief ?AltBel; :comfort ?AltComf.
+  (
+    "GPS — Goal driven route planning\n\n"
+    "Answer\n"
+    ?Outcome "\n"
+    "Recommended route: " ?BestLabel "\n\n"
+    "Reason Why\n"
+    "From Gent to Oostende, the planner found two routes in this small map. "
+    "The direct route (" ?BestLabel ") takes " ?BestDur " seconds at cost " ?BestCost
+    ", with belief " ?BestBel " and comfort " ?BestComf ". "
+    "The alternative (" ?AltLabel ") takes " ?AltDur " seconds at cost " ?AltCost
+    ", with belief " ?AltBel " and comfort " ?AltComf ". "
+    "So the direct route is faster, cheaper, more reliable, and slightly more comfortable.\n\n"
+    "Check\n"
+    "C1 OK - the direct Gent → Brugge → Oostende route was derived.\n"
+    "C2 OK - the alternative Gent → Kortrijk → Brugge → Oostende route was derived.\n"
+    "C3 OK - the recommended route is faster than the alternative.\n"
+    "C4 OK - the recommended route is cheaper than the alternative.\n"
+    "C5 OK - the recommended route has higher belief and comfort scores.\n"
+  ) string:concatenation ?Block. }
+    =>
+{ :report log:outputString ?Block. }.
+
+# -----------------------------------------------------------------------
+# Verification: fail loudly if the recommendation contradicts the metrics
+# -----------------------------------------------------------------------
+
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :duration ?D1.
+  :routeViaKortrijk :duration ?D2.
+  ?D1 math:notLessThan ?D2. }
+    => false.
+
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :cost ?C1.
+  :routeViaKortrijk :cost ?C2.
+  ?C1 math:notLessThan ?C2. }
+    => false.
 
-  (?Dur1  ?Dur2)  math:sum     ?Dur.
-  (?Cost1 ?Cost2) math:sum     ?Cost.
-  (?Bel1  ?Bel2)  math:product ?Belief.
-  (?Comf1 ?Comf2) math:product ?Comfort.
-}.
-
-# ------------------------------------------------------
-# "Query": derive gps:path facts for i1, goal = Oostende
-# ------------------------------------------------------
-{
-  :i1 :location :Gent.
-  ({:i1 :location :Gent} {:i1 :location :Oostende} ?Acts ?Dur ?Cost ?Bel ?Comf) :path true.
-}
-=>
-{
-  :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf).
-}.
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :belief ?B1.
+  :routeViaKortrijk :belief ?B2.
+  ?B1 math:notGreaterThan ?B2. }
+    => false.
 
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :comfort ?F1.
+  :routeViaKortrijk :comfort ?F2.
+  ?F1 math:notGreaterThan ?F2. }
+    => false.