eyeling 1.5.22 → 1.5.24

package/examples/output/drone-corridor-planner.n3

@@ -0,0 +1,153 @@
+@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
+@prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 (:t)) .
+# It holds because the following instance of the rule body is provable:
+#   :fuel6 :value (:t :t :t :t :t :t) .
+#   ({
+#       :d1 :location :Gent .
+#       :d1 :battery :full .
+#       :d1 :permit :none .
+#   } {
+#       :d1 :location :Oostende .
+#       :d1 :battery :mid .
+#       :d1 :permit :yes .
+#   } (:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 (:t :t :t :t :t :t) (:t)) :path true .
+#   0.958577964498 math:greaterThan 0.95 .
+#   0.023 math:lessThan 0.05 .
+# via the schematic forward rule:
+#   {
+#     :fuel6 :value ?Fuel .
+#     ({
+#         :d1 :location :Gent .
+#         :d1 :battery :full .
+#         :d1 :permit :none .
+#     } {
+#         :d1 :location :Oostende .
+#         :d1 :battery ?B .
+#         :d1 :permit ?P .
+#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
+#     ?Bel math:greaterThan 0.95 .
+#     ?Cost math:lessThan 0.05 .
+#   } => {
+#     :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?FuelLeft) .
+#     :d1 :finalBattery ?B .
+#     :d1 :finalPermit ?P .
+#   } .
+# with substitution (on rule variables):
+#   ?Acts = (:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
+#   ?B = :mid
+#   ?Bel = 0.958577964498
+#   ?Comf = 0.9506969999999999
+#   ?Cost = 0.023
+#   ?Dur = 5000
+#   ?Fuel = (:t :t :t :t :t :t)
+#   ?FuelLeft = (:t)
+#   ?P = :yes
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:d1 gps:plan ((:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 (:t)) .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :d1 :finalBattery :mid .
+# It holds because the following instance of the rule body is provable:
+#   :fuel6 :value (:t :t :t :t :t :t) .
+#   ({
+#       :d1 :location :Gent .
+#       :d1 :battery :full .
+#       :d1 :permit :none .
+#   } {
+#       :d1 :location :Oostende .
+#       :d1 :battery :mid .
+#       :d1 :permit :yes .
+#   } (:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 (:t :t :t :t :t :t) (:t)) :path true .
+#   0.958577964498 math:greaterThan 0.95 .
+#   0.023 math:lessThan 0.05 .
+# via the schematic forward rule:
+#   {
+#     :fuel6 :value ?Fuel .
+#     ({
+#         :d1 :location :Gent .
+#         :d1 :battery :full .
+#         :d1 :permit :none .
+#     } {
+#         :d1 :location :Oostende .
+#         :d1 :battery ?B .
+#         :d1 :permit ?P .
+#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
+#     ?Bel math:greaterThan 0.95 .
+#     ?Cost math:lessThan 0.05 .
+#   } => {
+#     :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?FuelLeft) .
+#     :d1 :finalBattery ?B .
+#     :d1 :finalPermit ?P .
+#   } .
+# with substitution (on rule variables):
+#   ?Acts = (:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
+#   ?B = :mid
+#   ?Bel = 0.958577964498
+#   ?Comf = 0.9506969999999999
+#   ?Cost = 0.023
+#   ?Dur = 5000
+#   ?Fuel = (:t :t :t :t :t :t)
+#   ?FuelLeft = (:t)
+#   ?P = :yes
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:d1 :finalBattery :mid .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :d1 :finalPermit :yes .
+# It holds because the following instance of the rule body is provable:
+#   :fuel6 :value (:t :t :t :t :t :t) .
+#   ({
+#       :d1 :location :Gent .
+#       :d1 :battery :full .
+#       :d1 :permit :none .
+#   } {
+#       :d1 :location :Oostende .
+#       :d1 :battery :mid .
+#       :d1 :permit :yes .
+#   } (:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende) 5000 0.023 0.958577964498 0.9506969999999999 (:t :t :t :t :t :t) (:t)) :path true .
+#   0.958577964498 math:greaterThan 0.95 .
+#   0.023 math:lessThan 0.05 .
+# via the schematic forward rule:
+#   {
+#     :fuel6 :value ?Fuel .
+#     ({
+#         :d1 :location :Gent .
+#         :d1 :battery :full .
+#         :d1 :permit :none .
+#     } {
+#         :d1 :location :Oostende .
+#         :d1 :battery ?B .
+#         :d1 :permit ?P .
+#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
+#     ?Bel math:greaterThan 0.95 .
+#     ?Cost math:lessThan 0.05 .
+#   } => {
+#     :d1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?FuelLeft) .
+#     :d1 :finalBattery ?B .
+#     :d1 :finalPermit ?P .
+#   } .
+# with substitution (on rule variables):
+#   ?Acts = (:fly_gent_kortrijk :get_zone_permit :fly_kortrijk_brugge :quick_charge_brugge :cross_corridor_brugge_oostende)
+#   ?B = :mid
+#   ?Bel = 0.958577964498
+#   ?Comf = 0.9506969999999999
+#   ?Cost = 0.023
+#   ?Dur = 5000
+#   ?Fuel = (:t :t :t :t :t :t)
+#   ?FuelLeft = (:t)
+#   ?P = :yes
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:d1 :finalPermit :yes .
+

package/examples/output/list-builtins-tests.n3

@@ -146,3 +146,35 @@
 
 :ok_list_remove_1 a :Pass .
 
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :ok_list_rest_1 a :Pass .
+# It holds because the following instance of the rule body is provable:
+#   (1 2 3 4) list:rest (2 3 4) .
+# via the schematic forward rule:
+#   {
+#     (1 2 3 4) list:rest (2 3 4) .
+#   } => {
+#     :ok_list_rest_1 a :Pass .
+#   } .
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:ok_list_rest_1 a :Pass .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :ok_list_firstRest_1 a :Pass .
+# It holds because the following instance of the rule body is provable:
+#   (1 2 3 4) list:firstRest (1 (2 3 4)) .
+# via the schematic forward rule:
+#   {
+#     (1 2 3 4) list:firstRest (1 (2 3 4)) .
+#   } => {
+#     :ok_list_firstRest_1 a :Pass .
+#   } .
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:ok_list_firstRest_1 a :Pass .
+

package/examples/output/pillar.n3

@@ -0,0 +1,36 @@
+@prefix : <http://example.org/socrates#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :result :is :Post .
+# It holds because the following instance of the rule body is provable:
+#   :Pillar :to :Post .
+# via the schematic forward rule:
+#   {
+#     :Pillar :to ?What .
+#   } => {
+#     :result :is ?What .
+#   } .
+# with substitution (on rule variables):
+#   ?What = :Post
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:result :is :Post .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   :test :is true .
+# It holds because the following instance of the rule body is provable:
+#   :result :is :Post .
+# via the schematic forward rule:
+#   {
+#     :result :is :Post .
+#   } => {
+#     :test :is true .
+#   } .
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+:test :is true .
+

package/examples/peano.n3

@@ -1,8 +1,7 @@
-# ----------------
+# ==============================================
 # Peano arithmetic
-# ----------------
-#
 # See https://en.wikipedia.org/wiki/Peano_axioms
+# ==============================================
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <http://example.org/#>.

package/examples/pi.n3

@@ -1,8 +1,7 @@
-# ------------------------------------
+# =======================================
 # Calculate pi using Nilakantha series
-# ------------------------------------
-#
 # See http://www.wikihow.com/Calculate-Pi
+# =======================================
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix : <https://eyereasoner.github.io/eye/reasoning#>.

package/examples/pillar.n3

@@ -0,0 +1,23 @@
+# =================================
+# Pillar example
+# Example from Patrick Hochstenbach
+# =================================
+
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix : <http://example.org/socrates#>.
+
+:Post :to :Pillar .
+
+{ :Pillar :to ?What } <= { ?What :to :Pillar }.
+
+{ ?What :to :Pillar } <= { :Pillar :to ?What }.
+
+{ :Pillar :to ?What } => { :result :is ?What }.
+
+{
+   :result :is :Post
+}
+=>
+{
+   :test :is true
+}.

package/examples/polygon.n3

@@ -1,9 +1,8 @@
-# -------
+# =====================================================
 # Polygon
-# -------
-#
 # Calculate the area of a polygon.
 # See https://www.mathopenref.com/coordpolygonarea.html
+# =====================================================
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.

package/examples/reordering.n3

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

package/examples/rule-matching.n3

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

package/examples/self-referential.n3

@@ -1,8 +1,7 @@
-# ----------------
+# =================================
 # Self referential
-# ----------------
-#
 # Example from Patrick Hochstenbach
+# =================================
 
 @prefix : <https://eyereasoner.github.io/ns#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
@@ -26,7 +25,7 @@
 {
     :answer :contains :contains, log:implies .
 }
-=> 
+=>
 {
     :test :is true
 }.

package/examples/similar.n3

@@ -1,8 +1,7 @@
-# -------
+# =================================
 # Similar
-# -------
-#
 # Example from Patrick Hochstenbach
+# =================================
 
 @prefix : <https://eyereasoner.github.io/ns#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
@@ -25,4 +24,4 @@
 {
     ?A ?Pred ?Obj .
     ?B ?Pred ?Obj .
-}. 
+}.

package/examples/skolem.n3

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

package/examples/snaf.n3

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

package/examples/socrates.n3

@@ -1,6 +1,6 @@
-# ------------------
+# ==================
 # Socrates inference
-# ------------------
+# ==================
 
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 @prefix : <http://example.org/socrates#>.

package/examples/spectral-week.n3

@@ -1,6 +1,6 @@
-# -------------
+# =============
 # Spectral week
-# -------------
+# =============
 
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
@@ -9,7 +9,6 @@
 # ------------------------------------------------------------
 # Spectral light intake (red + blue) and weekly energy storage
 # ------------------------------------------------------------
-
 # Locations: daily hours of red/blue light, and intensity per hour.
 :Greenhouse :redHours 8.0;  :blueHours 2.0;
             :redIntensity  120.0;
@@ -32,7 +31,6 @@
 #   Ered  = redIntensity  * redHours
 #   Eblue = blueIntensity * blueHours
 # ------------------------------------
-
 {
   ?Loc :redIntensity ?RI; :redHours ?RH.
   (?RI ?RH) math:product ?Ered.
@@ -53,7 +51,6 @@
 #   Ablue = Loc.blueEnergy * Plant.absorbBlue
 #   absorbed = Ared + Ablue
 # -------------------------------------------
-
 {
   ?P a :Plant; :location ?Loc; :absorbRed ?AR.
   ?Loc :redEnergy ?Ered.
@@ -81,7 +78,6 @@
 # -------------------------------------------------
 # Daily stored energy = absorbedEnergy * conversion
 # -------------------------------------------------
-
 {
   ?P :absorbedEnergy ?Abs; :conversion ?C.
   (?Abs ?C) math:product ?Stored.
@@ -92,7 +88,6 @@
 # ------------------------------------
 # Weekly stored energy = dailyStored*7
 # ------------------------------------
-
 {
   ?P :dailyStored ?D.
   (?D 7) math:product ?W.

package/examples/string-builtins-tests.n3

@@ -1,6 +1,6 @@
-# ---------------------
+# =====================
 # string builtins tests
-# ---------------------
+# =====================
 
 @prefix :       <https://eyereasoner.github.io/ns#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
@@ -13,9 +13,7 @@
 # derives a single marker triple:
 #   :ok_string_<name>_1 a :Pass .
 
-# ----------------------------------------------------------------------
-# 4.6.1 string:concatenation
-# ----------------------------------------------------------------------
+# string:concatenation
 
 {
     ("hello" " " "world!") string:concatenation "hello world!" .
@@ -25,9 +23,7 @@
     :ok_string_concatenation_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.2 string:contains
-# ----------------------------------------------------------------------
+# string:contains
 
 {
     "hello world!" string:contains "llo worl" .
@@ -37,9 +33,7 @@
     :ok_string_contains_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.3 string:containsIgnoringCase
-# ----------------------------------------------------------------------
+# string:containsIgnoringCase
 
 {
     "hello world!" string:containsIgnoringCase "lLO woRl" .
@@ -49,9 +43,7 @@
     :ok_string_containsIgnoringCase_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.4 string:endsWith
-# ----------------------------------------------------------------------
+# string:endsWith
 
 {
     "hello world!" string:endsWith "orld!" .
@@ -61,9 +53,7 @@
     :ok_string_endsWith_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.5 string:equalIgnoringCase
-# ----------------------------------------------------------------------
+# string:equalIgnoringCase
 
 {
     "hello world!" string:equalIgnoringCase "hELLo wORld!" .
@@ -73,13 +63,11 @@
     :ok_string_equalIgnoringCase_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.6 string:format
+# string:format
 # (eyeling implementation: only %s and %% are required / used here)
-# ----------------------------------------------------------------------
 
 {
-    ("%s://%s/%s" "https" "w3c.github.io" "N3/spec/") 
+    ("%s://%s/%s" "https" "w3c.github.io" "N3/spec/")
         string:format "https://w3c.github.io/N3/spec/" .
 }
 =>
@@ -87,9 +75,7 @@
     :ok_string_format_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.7 string:greaterThan
-# ----------------------------------------------------------------------
+# string:greaterThan
 
 {
     "Penguin" string:greaterThan "Cat" .
@@ -99,9 +85,7 @@
     :ok_string_greaterThan_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.8 string:lessThan
-# ----------------------------------------------------------------------
+# string:lessThan
 
 {
     "Cat" string:lessThan "Penguin" .
@@ -111,9 +95,7 @@
     :ok_string_lessThan_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.9 string:matches
-# ----------------------------------------------------------------------
+# string:matches
 
 {
     "hello world!" string:matches ".*(l)+o wo.*" .
@@ -123,9 +105,7 @@
     :ok_string_matches_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.10 string:notEqualIgnoringCase
-# ----------------------------------------------------------------------
+# string:notEqualIgnoringCase
 
 {
     "hello world!" string:notEqualIgnoringCase "hELLo dunia!" .
@@ -135,9 +115,7 @@
     :ok_string_notEqualIgnoringCase_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.11 string:notGreaterThan
-# ----------------------------------------------------------------------
+# string:notGreaterThan
 
 {
     "Cat" string:notGreaterThan "Penguin" .
@@ -147,9 +125,7 @@
     :ok_string_notGreaterThan_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.12 string:notLessThan
-# ----------------------------------------------------------------------
+# string:notLessThan
 
 {
     "Penguin" string:notLessThan "Cat" .
@@ -159,9 +135,7 @@
     :ok_string_notLessThan_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.13 string:notMatches
-# ----------------------------------------------------------------------
+# string:notMatches
 
 {
     "hello world!" string:notMatches ".*(l)+o dunia.*" .
@@ -171,9 +145,7 @@
     :ok_string_notMatches_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.14 string:replace
-# ----------------------------------------------------------------------
+# string:replace
 
 {
     ("fofof bar" "of" "baz") string:replace "fbazbaz bar" .
@@ -183,10 +155,8 @@
     :ok_string_replace_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.15 string:scrape
+# string:scrape
 # (extracts the first capturing group)
-# ----------------------------------------------------------------------
 
 {
     ("id=abc&x=123&y=zzz" "x=([0-9]+)") string:scrape "123" .
@@ -196,9 +166,7 @@
     :ok_string_scrape_1 a :Pass .
 } .
 
-# ----------------------------------------------------------------------
-# 4.6.16 string:startsWith
-# ----------------------------------------------------------------------
+# string:startsWith
 
 {
     "hello world!" string:startsWith "hello" .

package/examples/turing.n3

@@ -1,9 +1,8 @@
-# --------------
+# ===========================================================
 # Turing Machine
-# --------------
-#
 # Turing completeness test case.
 # See http://en.wikipedia.org/wiki/Prolog#Turing_completeness
+# ===========================================================
 
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.

package/examples/uri.n3

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

package/examples/witch.n3

@@ -1,6 +1,6 @@
-# --------------
+# ==============
 # Burn the witch
-# --------------
+# ==============
 #
 # http://clarkparsia.com/weblog/2007/01/02/burn-the-witch/
 # http://www.netfunny.com/rhf/jokes/90q4/burnher.html

package/examples/zebra.n3

@@ -1,6 +1,5 @@
-# ---------------
+# ============================================================================================================
 # Einstein Riddle
-# ---------------
 #
 # The situation:
 # - There are 5 houses in five different colors.
@@ -10,6 +9,7 @@
 #
 # The question is:
 #  Who owns the fish?
+# ============================================================================================================
 
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.