eyeling 1.25.5 → 1.26.1

package/examples/output/socrates.n3

@@ -1,4 +1,3 @@
 @prefix : <http://example.org/socrates#> .
 
-:Socrates a :Human .
 :Socrates a :Mortal .

package/examples/proof/age.n3

@@ -0,0 +1,40 @@
+@prefix : <https://example.org/#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix pe: <https://eyereasoner.github.io/pe#> .
+@prefix time: <http://www.w3.org/2000/10/swap/time#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:test :is true .
+
+{ :test :is true . } pe:why {
+  { :test :is true . }
+    pe:by [ pe:rule "age.n3"; pe:line 24 ];
+    pe:binding [ pe:var "S"; pe:value :patH ];
+    pe:uses { :patH :ageAbove "P80Y"^^xsd:duration . }.
+
+  { :patH :ageAbove "P80Y"^^xsd:duration . }
+    pe:by [ pe:rule "age.n3"; pe:line 16 ];
+    pe:binding
+      [ pe:var "A"; pe:value "P80Y"^^xsd:duration ],
+      [ pe:var "B"; pe:value "1944-08-21"^^xsd:date ],
+      [ pe:var "D"; pe:value "2026-06-02T09:16:38.270+00:00"^^xsd:dateTime ],
+      [ pe:var "F"; pe:value "PT2580801398.27S"^^xsd:duration ],
+      [ pe:var "S"; pe:value :patH ];
+    pe:uses
+      { :patH :birthDay "1944-08-21"^^xsd:date . },
+      { "" time:localTime "2026-06-02T09:16:38.270+00:00"^^xsd:dateTime . },
+      { ("2026-06-02T09:16:38.270+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580801398.27S"^^xsd:duration . },
+      { "PT2580801398.27S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }.
+
+  { :patH :birthDay "1944-08-21"^^xsd:date . }
+    pe:by [ pe:fact "age.n3"; pe:line 13 ].
+
+  { "" time:localTime "2026-06-02T09:16:38.270+00:00"^^xsd:dateTime . }
+    pe:by [ pe:builtin time:localTime ].
+
+  { ("2026-06-02T09:16:38.270+00:00"^^xsd:dateTime "1944-08-21"^^xsd:date) math:difference "PT2580801398.27S"^^xsd:duration . }
+    pe:by [ pe:builtin math:difference ].
+
+  { "PT2580801398.27S"^^xsd:duration math:greaterThan "P80Y"^^xsd:duration . }
+    pe:by [ pe:builtin math:greaterThan ].
+}.

package/examples/proof/socrates.n3

@@ -0,0 +1,24 @@
+@prefix : <http://example.org/socrates#> .
+@prefix pe: <https://eyereasoner.github.io/pe#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+:Socrates a :Mortal .
+
+{ :Socrates a :Mortal . } pe:why {
+  { :Socrates a :Mortal . }
+    pe:by [ pe:rule "socrates.n3"; pe:line 14 ];
+    pe:binding
+      [ pe:var "A"; pe:value :Human ],
+      [ pe:var "B"; pe:value :Mortal ],
+      [ pe:var "S"; pe:value :Socrates ];
+    pe:uses
+      { :Socrates a :Human . },
+      { :Human rdfs:subClassOf :Mortal . }.
+
+  { :Socrates a :Human . }
+    pe:by [ pe:fact "socrates.n3"; pe:line 10 ].
+
+  { :Human rdfs:subClassOf :Mortal . }
+    pe:by [ pe:fact "socrates.n3"; pe:line 11 ].
+}.

package/examples/proof/witch.n3

@@ -0,0 +1,138 @@
+@prefix : <https://eyereasoner.github.io/eye/reasoning/witch#> .
+@prefix pe: <https://eyereasoner.github.io/pe#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+
+:DUCK a :ISMADEOFWOOD .
+:DUCK a :BURNS .
+:GIRL a :FLOATS .
+:GIRL a :ISMADEOFWOOD .
+:GIRL a :BURNS .
+:GIRL a :WITCH .
+
+{ :DUCK a :ISMADEOFWOOD . } pe:why {
+  { :DUCK a :ISMADEOFWOOD . }
+    pe:by [ pe:rule "witch.n3"; pe:line 22 ];
+    pe:binding [ pe:var "x"; pe:value :DUCK ];
+    pe:uses { :DUCK a :FLOATS . }.
+
+  { :DUCK a :FLOATS . }
+    pe:by [ pe:fact "witch.n3"; pe:line 26 ].
+}.
+
+{ :DUCK a :BURNS . } pe:why {
+  { :DUCK a :BURNS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 19 ];
+    pe:binding [ pe:var "x"; pe:value :DUCK ];
+    pe:uses { :DUCK a :ISMADEOFWOOD . }.
+
+  { :DUCK a :ISMADEOFWOOD . }
+    pe:by [ pe:rule "witch.n3"; pe:line 22 ];
+    pe:binding [ pe:var "x"; pe:value :DUCK ];
+    pe:uses { :DUCK a :FLOATS . }.
+
+  { :DUCK a :FLOATS . }
+    pe:by [ pe:fact "witch.n3"; pe:line 26 ].
+}.
+
+{ :GIRL a :FLOATS . } pe:why {
+  { :GIRL a :FLOATS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 29 ];
+    pe:binding
+      [ pe:var "x"; pe:value :DUCK ],
+      [ pe:var "y"; pe:value :GIRL ];
+    pe:uses
+      { :DUCK a :FLOATS . },
+      { :DUCK :SAMEWEIGHT :GIRL . }.
+
+  { :DUCK a :FLOATS . }
+    pe:by [ pe:fact "witch.n3"; pe:line 26 ].
+
+  { :DUCK :SAMEWEIGHT :GIRL . }
+    pe:by [ pe:fact "witch.n3"; pe:line 33 ].
+}.
+
+{ :GIRL a :ISMADEOFWOOD . } pe:why {
+  { :GIRL a :ISMADEOFWOOD . }
+    pe:by [ pe:rule "witch.n3"; pe:line 22 ];
+    pe:binding [ pe:var "x"; pe:value :GIRL ];
+    pe:uses { :GIRL a :FLOATS . }.
+
+  { :GIRL a :FLOATS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 29 ];
+    pe:binding
+      [ pe:var "x"; pe:value :DUCK ],
+      [ pe:var "y"; pe:value :GIRL ];
+    pe:uses
+      { :DUCK a :FLOATS . },
+      { :DUCK :SAMEWEIGHT :GIRL . }.
+
+  { :DUCK a :FLOATS . }
+    pe:by [ pe:fact "witch.n3"; pe:line 26 ].
+
+  { :DUCK :SAMEWEIGHT :GIRL . }
+    pe:by [ pe:fact "witch.n3"; pe:line 33 ].
+}.
+
+{ :GIRL a :BURNS . } pe:why {
+  { :GIRL a :BURNS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 19 ];
+    pe:binding [ pe:var "x"; pe:value :GIRL ];
+    pe:uses { :GIRL a :ISMADEOFWOOD . }.
+
+  { :GIRL a :ISMADEOFWOOD . }
+    pe:by [ pe:rule "witch.n3"; pe:line 22 ];
+    pe:binding [ pe:var "x"; pe:value :GIRL ];
+    pe:uses { :GIRL a :FLOATS . }.
+
+  { :GIRL a :FLOATS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 29 ];
+    pe:binding
+      [ pe:var "x"; pe:value :DUCK ],
+      [ pe:var "y"; pe:value :GIRL ];
+    pe:uses
+      { :DUCK a :FLOATS . },
+      { :DUCK :SAMEWEIGHT :GIRL . }.
+
+  { :DUCK a :FLOATS . }
+    pe:by [ pe:fact "witch.n3"; pe:line 26 ].
+
+  { :DUCK :SAMEWEIGHT :GIRL . }
+    pe:by [ pe:fact "witch.n3"; pe:line 33 ].
+}.
+
+{ :GIRL a :WITCH . } pe:why {
+  { :GIRL a :WITCH . }
+    pe:by [ pe:rule "witch.n3"; pe:line 13 ];
+    pe:binding [ pe:var "x"; pe:value :GIRL ];
+    pe:uses
+      { :GIRL a :BURNS . },
+      { :GIRL a :WOMAN . }.
+
+  { :GIRL a :BURNS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 19 ];
+    pe:binding [ pe:var "x"; pe:value :GIRL ];
+    pe:uses { :GIRL a :ISMADEOFWOOD . }.
+
+  { :GIRL a :ISMADEOFWOOD . }
+    pe:by [ pe:rule "witch.n3"; pe:line 22 ];
+    pe:binding [ pe:var "x"; pe:value :GIRL ];
+    pe:uses { :GIRL a :FLOATS . }.
+
+  { :GIRL a :FLOATS . }
+    pe:by [ pe:rule "witch.n3"; pe:line 29 ];
+    pe:binding
+      [ pe:var "x"; pe:value :DUCK ],
+      [ pe:var "y"; pe:value :GIRL ];
+    pe:uses
+      { :DUCK a :FLOATS . },
+      { :DUCK :SAMEWEIGHT :GIRL . }.
+
+  { :DUCK a :FLOATS . }
+    pe:by [ pe:fact "witch.n3"; pe:line 26 ].
+
+  { :DUCK :SAMEWEIGHT :GIRL . }
+    pe:by [ pe:fact "witch.n3"; pe:line 33 ].
+
+  { :GIRL a :WOMAN . }
+    pe:by [ pe:fact "witch.n3"; pe:line 16 ].
+}.

package/examples/socrates.n3

@@ -17,6 +17,3 @@
 } => {
     ?S a ?B.
 }.
-
-# query
-{ ?S a ?C } log:query { ?S a ?C }.