eyeling 1.5.22 → 1.5.24

package/examples/family-cousins.n3

@@ -1,6 +1,6 @@
-# --------------
+# ==============
 # Family cousins
-# --------------
+# ==============
 
 @prefix : <http://example.org/family#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
@@ -8,7 +8,6 @@
 # --------------------------
 # Data (a small family tree)
 # --------------------------
-
 :Adam  :parentOf :Bob, :Carol .
 :Bob   :parentOf :Dave, :Eve .
 :Carol :parentOf :Frank, :Grace .
@@ -29,7 +28,6 @@
 # -----------------------------------
 # Rules (generation, branch, cousins)
 # -----------------------------------
-
 # Root generation
 { } => { :Adam :generation 0 } .
 

package/examples/fibonacci.n3

@@ -1,8 +1,7 @@
-# -----------------
+# ==================================================
 # Fibonacci numbers
-# -----------------
-#
 # See https://en.wikipedia.org/wiki/Fibonacci_number
+# ==================================================
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix : <https://eyereasoner.github.io/eye/reasoning#>.

package/examples/for-all-in.n3

@@ -1,6 +1,6 @@
-# --------------------
+# ====================
 # log:forAllIn example
-# --------------------
+# ====================
 
 @prefix : <http://example.org/>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .

package/examples/french-cities.n3

@@ -1,8 +1,7 @@
-# ----------------------
+# ============================================
 # Traversing Graph Paths
-# ----------------------
-#
 # Simple data & rules over a tiny city dataset
+# ============================================
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix owl: <http://www.w3.org/2002/07/owl#>.

package/examples/fuse.n3

@@ -1,6 +1,6 @@
-# --------------
+# ==============
 # Inference fuse
-# --------------
+# ==============
 
 @prefix : <https://eyereasoner.github.io/ns#>.
 

package/examples/good-cobbler.n3

@@ -1,9 +1,8 @@
-# ------------
+# ========================================================================
 # Good cobbler
-# ------------
-#
 # Example from https://shs.hal.science/halshs-04148373/document
 # Using term logic http://intrologic.stanford.edu/chapters/chapter_11.html
+# ========================================================================
 
 @prefix : <https://eyereasoner.github.io/ns#>.
 

package/examples/gps.n3

@@ -1,9 +1,8 @@
-# ------------------------------
+# =======================================================================
 # Goal driven Parallel Sequences
-# ------------------------------
-#
 # See https://www.sciencedirect.com/science/article/pii/S1532046421000794
 # and https://github.com/hongsun502/wstLogic/tree/master
+# =======================================================================
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
@@ -24,7 +23,6 @@
 # -----------------------------
 # Compute all paths by chaining
 # -----------------------------
-
 # Base: a single map description is a path
 {
   (?From ?To (?Act) ?Dur ?Cost ?Belief ?Comfort) :path true.

package/examples/gray-code-counter.n3

@@ -1,8 +1,7 @@
-# -----------------
+# =================================================
 # Gray code counter
-# -----------------
-#
 # Taken from the book "Clause and Effect" Chapter 8
+# =================================================
 
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix : <https://eyereasoner.github.io/eye/reasoning#>.
@@ -41,7 +40,6 @@
     (?T2 ?T3) :or ?Q2.
 }.
 
-
 {(?C (?Qa ?Qb ?Qc)) :gcc (?Za ?Zb ?Zc)} <= {
     (?Qa ?Qb ?Qc) :netb (?D1 ?D2).
     (?Qa ?Qb) :neta ?D3.
@@ -50,7 +48,6 @@
     (?D3 ?C ?Qc) :dff ?Zc.
 }.
 
-
 {(() ?S) :testgcc ()} <= true.
 {(?Cc ?S) :testgcc ?Nc} <= {
     ?Cc list:firstRest (?C ?Cs).

package/examples/hanoi.n3

@@ -1,8 +1,7 @@
-# ---------------
+# =========================================================================
 # Towers of Hanoi
-# ---------------
-#
 # Taken from the book "The Art of Prolog" by Leon Sterling and Ehud Shapiro
+# =========================================================================
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.

package/examples/liar.n3

@@ -1,3 +1,8 @@
+# =================================
+# Liar example
+# Example from Patrick Hochstenbach
+# =================================
+
 @prefix : <https://eyereasoner.github.io/ns#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 

package/examples/light-eaters.n3

@@ -1,6 +1,6 @@
-# ------------
+# ============
 # Light eaters
-# ------------
+# ============
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix :     <http://example.org/light-eaters#>.
@@ -10,7 +10,6 @@
 # convert daily light exposure into stored energy (photosynthesis),
 # then decide whether they thrive or go hungry under their conditions.
 # ------------------------------------------------------------
-
 # One day with a fixed amount of usable light (hours)
 :Today :lightHours 10.0.
 
@@ -26,7 +25,6 @@
 # ------------------------------------------------------------
 # Rules
 # ------------------------------------------------------------
-
 # (1) Daily light energy available at each place:
 #     E_place = lightIntensity * lightHours
 {

package/examples/list-builtins-tests.n3

@@ -1,16 +1,12 @@
-# -------------------
+# ===================
 # list builtins tests
-# -------------------
+# ===================
 
 @prefix :      <https://eyereasoner.github.io/ns#> .
 @prefix list:  <http://www.w3.org/2000/10/swap/list#> .
 @prefix log:   <http://www.w3.org/2000/10/swap/log#> .
 
-# ============================================================
-# 4.4 list: builtins
-# ============================================================
-
-# 4.4.1 list:append
+# list:append
 # ( (1 2) (3 4) ) list:append (1 2 3 4) .
 {
     ( (1 2) (3 4) ) list:append (1 2 3 4) .
@@ -18,7 +14,7 @@
     :ok_list_append_1 a :Pass .
 } .
 
-# 4.4.2 list:first
+# list:first
 # (1 2 3 4) list:first 1 .
 {
     (1 2 3 4) list:first 1 .
@@ -26,7 +22,7 @@
     :ok_list_first_1 a :Pass .
 } .
 
-# 4.4.3 list:in
+# list:in
 # "cat" list:in ( "dog" "penguin" "cat" ) .
 {
     "cat" list:in ( "dog" "penguin" "cat" ) .
@@ -34,7 +30,7 @@
     :ok_list_in_1 a :Pass .
 } .
 
-# 4.4.4 list:iterate
+# list:iterate
 # ("dog" "penguin" "cat") list:iterate (?index "cat") .
 {
     ("dog" "penguin" "cat") list:iterate (?index "cat") .
@@ -42,7 +38,7 @@
     :ok_list_iterate_1 a :Pass .
 } .
 
-# 4.4.5 list:last
+# list:last
 # (1 2 3 4) list:last 4 .
 {
     (1 2 3 4) list:last 4 .
@@ -50,7 +46,7 @@
     :ok_list_last_1 a :Pass .
 } .
 
-# 4.4.6 list:length
+# list:length
 # (1 2 3 4) list:length 4 .
 {
     (1 2 3 4) list:length 4 .
@@ -58,7 +54,7 @@
     :ok_list_length_1 a :Pass .
 } .
 
-# 4.4.7 list:member
+# list:member
 # ("dog" "penguin" "cat") list:member "cat" .
 {
     ("dog" "penguin" "cat") list:member "cat" .
@@ -66,7 +62,7 @@
     :ok_list_member_1 a :Pass .
 } .
 
-# 4.4.8 list:memberAt
+# list:memberAt
 # (("dog" "penguin" "cat") 2) list:memberAt "cat" .
 {
     (("dog" "penguin" "cat") 2) list:memberAt "cat" .
@@ -74,7 +70,7 @@
     :ok_list_memberAt_1 a :Pass .
 } .
 
-# 4.4.9 list:remove
+# list:remove
 # (("dog" "penguin" "cat" "penguin") "penguin") list:remove ("dog" "cat") .
 {
     (("dog" "penguin" "cat" "penguin") "penguin") list:remove ("dog" "cat") .
@@ -82,3 +78,19 @@
     :ok_list_remove_1 a :Pass .
 } .
 
+# list:rest
+# (1 2 3 4) list:rest (2 3 4) .
+{
+    (1 2 3 4) list:rest (2 3 4) .
+} => {
+    :ok_list_rest_1 a :Pass .
+} .
+
+# list:firstRest
+# (1 2 3 4) list:firstRest (1 (2 3 4)) .
+{
+    (1 2 3 4) list:firstRest (1 (2 3 4)) .
+} => {
+    :ok_list_firstRest_1 a :Pass .
+} .
+

package/examples/lldm.n3

@@ -1,8 +1,7 @@
-# ----------------------------------
+# ==========================================================================================
 # Leg Length Discrepancy Measurement
-# ----------------------------------
-#
 # See https://web.archive.org/web/20220524062310/http://www.agfa.com/w3c/2002/10/medicad/op/
+# ==========================================================================================
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
@@ -33,7 +32,7 @@
 :L4 a :Line.
 
 :incident rdfs:domain :Point; rdfs:range :Line; owl:inverseOf :contains.
-:perpendicular rdfs:domain :Line; rdfs:range :Line; a owl:SymmetricProperty. 
+:perpendicular rdfs:domain :Line; rdfs:range :Line; a owl:SymmetricProperty.
 
 :p1xCm rdfs:domain :Measurement; rdfs:range :Quantity.
 :p1yCm rdfs:domain :Measurement; rdfs:range :Quantity.

package/examples/math-builtins-tests.n3

@@ -1,16 +1,15 @@
-# -------------------
+# ===================
 # math builtins tests
-# -------------------
+# ===================
 
 @prefix :      <http://example.org/math-tests#> .
 @prefix math:  <http://www.w3.org/2000/10/swap/math#> .
 @prefix log:   <http://www.w3.org/2000/10/swap/log#> .
 @prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
 
-# -----------------------------------------------------------------------------
+# ----------------------
 # Simple test vocabulary
-# -----------------------------------------------------------------------------
-
+# ----------------------
 :MathBuiltinTest a :TestCaseClass .
 
 :builtin  a :TestProperty .
@@ -22,9 +21,9 @@
 
 :pass     a :TestStatus .
 
-# -----------------------------------------------------------------------------
+# ------------------------------------------------------------------------
 # NOTE ABOUT NUMERIC LITERALS
-# -----------------------------------------------------------------------------
+# ------------------------------------------------------------------------
 # eyeling.js' math: builtins:
 # - accept both typed and untyped numeric literals as INPUT (via parseNum)
 # - RETURN untyped numeric literals (via formatNum)
@@ -33,13 +32,9 @@
 # - Inputs may be typed or untyped (to exercise casting).
 # - Expected results are written as UNTYPED numerics so that math:equalTo
 #   can unify directly with the reasoner's untyped numeric results.
-# -----------------------------------------------------------------------------
-
-
-# =============================================================================
-# 4.2.1 math:absoluteValue
-# =============================================================================
+# ------------------------------------------------------------------------
 
+# math:absoluteValue
 {
   -2 math:absoluteValue ?abs .
   ?abs math:equalTo 2 .
@@ -68,11 +63,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.2 math:acos
-# =============================================================================
-
+# math:acos
 {
   1 math:acos ?r .
   ?r math:equalTo 0 .
@@ -87,11 +78,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.3 math:asin
-# =============================================================================
-
+# math:asin
 {
   0 math:asin ?r .
   ?r math:equalTo 0 .
@@ -106,11 +93,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.4 math:atan
-# =============================================================================
-
+# math:atan
 # atan(1) = pi/4
 {
   1 math:atan ?r .
@@ -126,11 +109,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.5 math:cos
-# =============================================================================
-
+# math:cos
 # cos(0) = 1
 {
   0 math:cos ?r .
@@ -146,11 +125,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.6 math:cosh
-# =============================================================================
-
+# math:cosh
 # cosh(0) = 1
 {
   0 math:cosh ?r .
@@ -166,12 +141,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.7 math:degrees
-# =============================================================================
-
-# degrees(pi) = 180
+# math:degrees
 {
   3.141592653589793 math:degrees ?deg .
   ?deg math:equalTo 180 .
@@ -186,11 +156,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.8 math:difference
-# =============================================================================
-
+# math:difference
 {
   (7 2) math:difference ?d .
   ?d math:equalTo 5 .
@@ -219,11 +185,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.9 math:equalTo
-# =============================================================================
-
+# math:equalTo
 # Positive equality test
 {
   42 math:equalTo 42 .
@@ -237,11 +199,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.10 math:exponentiation
-# =============================================================================
-
+# math:exponentiation
 # Forward mode: (7 2) -> 49
 {
   (7 2) math:exponentiation ?r .
@@ -271,11 +229,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.11 math:greaterThan
-# =============================================================================
-
+# math:greaterThan
 {
   42 math:greaterThan 41 .
 }
@@ -288,11 +242,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.12 math:lessThan
-# =============================================================================
-
+# math:lessThan
 {
   41 math:lessThan 42 .
 }
@@ -305,11 +255,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.13 math:negation
-# =============================================================================
-
+# math:negation
 # Forward mode
 {
   42 math:negation ?neg .
@@ -339,11 +285,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.14 math:notEqualTo
-# =============================================================================
-
+# math:notEqualTo
 {
   41 math:notEqualTo 42 .
 }
@@ -356,11 +298,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.15 math:notGreaterThan
-# =============================================================================
-
+# math:notGreaterThan
 {
   41 math:notGreaterThan 42 .
 }
@@ -373,11 +311,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.16 math:notLessThan
-# =============================================================================
-
+# math:notLessThan
 {
   42 math:notLessThan 41 .
 }
@@ -390,11 +324,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.17 math:product
-# =============================================================================
-
+# math:product
 {
   (2 21) math:product ?p .
   ?p math:equalTo 42 .
@@ -423,11 +353,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.18 math:quotient
-# =============================================================================
-
+# math:quotient
 {
   (42 2) math:quotient ?q .
   ?q math:equalTo 21 .
@@ -442,11 +368,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.19 math:remainder
-# =============================================================================
-
+# math:remainder
 {
   (10 3) math:remainder ?r .
   ?r math:equalTo 1 .
@@ -461,11 +383,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.20 math:rounded
-# =============================================================================
-
+# math:rounded
 # Typed input, untyped integer output
 {
   "3.3"^^xsd:double math:rounded ?r .
@@ -511,11 +429,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.21 math:sin
-# =============================================================================
-
+# math:sin
 # sin(0) = 0
 {
   0 math:sin ?r .
@@ -531,11 +445,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.22 math:sinh
-# =============================================================================
-
+# math:sinh
 # sinh(0) = 0
 {
   0 math:sinh ?r .
@@ -551,11 +461,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.23 math:sum
-# =============================================================================
-
+# math:sum
 {
   (1 2 3 4 5 6 7 8 9 10) math:sum ?s .
   ?s math:equalTo 55 .
@@ -570,11 +476,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.24 math:tan
-# =============================================================================
-
+# math:tan
 # tan(0) = 0
 {
   0 math:tan ?r .
@@ -590,11 +492,7 @@
     :status   :pass .
 } .
 
-
-# =============================================================================
-# 4.2.25 math:tanh
-# =============================================================================
-
+# math:tanh
 # tanh(0) = 0
 {
   0 math:tanh ?r .

package/examples/monkey.n3

@@ -1,8 +1,7 @@
-# --------------
+# =================================
 # Monkey example
-# --------------
-#
 # Example from Patrick Hochstenbach
+# =================================
 
 @prefix : <https://eyereasoner.github.io/ns#>.