eyeling 1.5.11 → 1.5.13

package/README.md

@@ -34,14 +34,13 @@ This link preloads a small “Socrates is Mortal” ruleset:
 
 - A reasonably recent Node.js (anything modern with `BigInt` support is fine).
 
-```md
-## Install (npm)
+### Install (npm)
 
 ```bash
 npm i eyeling
 ```
 
-## CLI (npm)
+### CLI (npm)
 
 Run on a file:
 
@@ -51,7 +50,7 @@ npx eyeling examples/socrates.n3
 
 (Or install globally: `npm i -g eyeling` and run `eyeling ...`.)
 
-## JavaScript API (Node)
+### JavaScript API (Node)
 
 ```js
 const { reason } = require('eyeling');
@@ -114,8 +113,7 @@ node eyeling.js -n examples/socrates.n3
 ### Run all examples
 
 ```bash
-cd examples
-./test
+npm run test:examples
 ```
 
 This runs `eyeling.js` over each example and compares against the golden outputs in `examples/output`.

package/examples/age.n3

@@ -0,0 +1,29 @@
+# -----------
+# Age checker
+# -----------
+#
+# Is the age of a person above some duration?
+
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
+@prefix time: <http://www.w3.org/2000/10/swap/time#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <https://example.org/#>.
+
+# person data
+:patH :birthDay "1944-08-21"^^xsd:date.
+
+# is the age of a person above some duration?
+{ ?S :ageAbove ?A } <= {
+    ?S :birthDay ?B.
+    "" time:localTime ?D.
+    (?D ?B) math:difference ?F.
+    ?F math:greaterThan ?A.
+}.
+
+# test
+{
+    ?S :ageAbove "P80Y"^^xsd:duration.
+} => {
+    :test :is true.
+}.

package/examples/backward.n3

@@ -0,0 +1,24 @@
+# ---------------------
+# Backward rule example
+# ---------------------
+#
+# See https://www.w3.org/2000/10/swap/doc/tutorial-1.pdf page 17
+
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <http://example.org/#>.
+
+# something is more interesting if it is greater
+{
+    ?X :moreInterestingThan ?Y.
+} <= {
+    ?X math:greaterThan ?Y.
+}.
+
+# derivation (forward)
+{
+    5 :moreInterestingThan 3.
+} => {
+    5 :isIndeedMoreInterestingThan 3.
+}.
+