eyeling 1.6.13 → 1.6.14

package/examples/output/family-cousins.n3

@@ -1,663 +1,27 @@
 @prefix : <http://example.org/family#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Adam :generation 0 .
-# This triple is the head of a forward rule with an empty premise,
-# so it holds unconditionally whenever the program is loaded.
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Adam :generation 0 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Carol :generation 1 .
-# It holds because the following instance of the rule body is provable:
-#   :Adam :parentOf :Carol .
-#   :Adam :generation 0 .
-#   (0 1) math:sum 1 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Carol
-#   ?G = 0
-#   ?G1 = 1
-#   ?P = :Adam
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Carol :generation 1 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Bob :generation 1 .
-# It holds because the following instance of the rule body is provable:
-#   :Adam :parentOf :Bob .
-#   :Adam :generation 0 .
-#   (0 1) math:sum 1 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Bob
-#   ?G = 0
-#   ?G1 = 1
-#   ?P = :Adam
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Bob :generation 1 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Judy :branch :c .
-# It holds because the following instance of the rule body is provable:
-#   :Frank :parentOf :Judy .
-#   :Frank :branch :c .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :branch ?B .
-#   } => {
-#     ?C :branch ?B .
-#   } .
-# with substitution (on rule variables):
-#   ?B = :c
-#   ?C = :Judy
-#   ?P = :Frank
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Judy :branch :c .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Ivan :branch :b .
-# It holds because the following instance of the rule body is provable:
-#   :Eve :parentOf :Ivan .
-#   :Eve :branch :b .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :branch ?B .
-#   } => {
-#     ?C :branch ?B .
-#   } .
-# with substitution (on rule variables):
-#   ?B = :b
-#   ?C = :Ivan
-#   ?P = :Eve
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Ivan :branch :b .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Heidi :branch :b .
-# It holds because the following instance of the rule body is provable:
-#   :Dave :parentOf :Heidi .
-#   :Dave :branch :b .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :branch ?B .
-#   } => {
-#     ?C :branch ?B .
-#   } .
-# with substitution (on rule variables):
-#   ?B = :b
-#   ?C = :Heidi
-#   ?P = :Dave
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Heidi :branch :b .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Grace :generation 2 .
-# It holds because the following instance of the rule body is provable:
-#   :Carol :parentOf :Grace .
-#   :Carol :generation 1 .
-#   (1 1) math:sum 2 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Grace
-#   ?G = 1
-#   ?G1 = 2
-#   ?P = :Carol
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Grace :generation 2 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Frank :generation 2 .
-# It holds because the following instance of the rule body is provable:
-#   :Carol :parentOf :Frank .
-#   :Carol :generation 1 .
-#   (1 1) math:sum 2 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Frank
-#   ?G = 1
-#   ?G1 = 2
-#   ?P = :Carol
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Frank :generation 2 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Eve :generation 2 .
-# It holds because the following instance of the rule body is provable:
-#   :Bob :parentOf :Eve .
-#   :Bob :generation 1 .
-#   (1 1) math:sum 2 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Eve
-#   ?G = 1
-#   ?G1 = 2
-#   ?P = :Bob
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Eve :generation 2 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Dave :generation 2 .
-# It holds because the following instance of the rule body is provable:
-#   :Bob :parentOf :Dave .
-#   :Bob :generation 1 .
-#   (1 1) math:sum 2 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Dave
-#   ?G = 1
-#   ?G1 = 2
-#   ?P = :Bob
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Dave :generation 2 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Dave :cousin :Frank .
-# It holds because the following instance of the rule body is provable:
-#   :Dave :generation 2 .
-#   :Frank :generation 2 .
-#   :Dave :branch :b .
-#   :Frank :branch :c .
-#   :b :differentFrom :c .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :b
-#   ?BY = :c
-#   ?G = 2
-#   ?X = :Dave
-#   ?Y = :Frank
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Dave :cousin :Frank .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Dave :cousin :Grace .
-# It holds because the following instance of the rule body is provable:
-#   :Dave :generation 2 .
-#   :Grace :generation 2 .
-#   :Dave :branch :b .
-#   :Grace :branch :c .
-#   :b :differentFrom :c .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :b
-#   ?BY = :c
-#   ?G = 2
-#   ?X = :Dave
-#   ?Y = :Grace
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Dave :cousin :Grace .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Eve :cousin :Frank .
-# It holds because the following instance of the rule body is provable:
-#   :Eve :generation 2 .
-#   :Frank :generation 2 .
-#   :Eve :branch :b .
-#   :Frank :branch :c .
-#   :b :differentFrom :c .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :b
-#   ?BY = :c
-#   ?G = 2
-#   ?X = :Eve
-#   ?Y = :Frank
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Eve :cousin :Frank .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Eve :cousin :Grace .
-# It holds because the following instance of the rule body is provable:
-#   :Eve :generation 2 .
-#   :Grace :generation 2 .
-#   :Eve :branch :b .
-#   :Grace :branch :c .
-#   :b :differentFrom :c .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :b
-#   ?BY = :c
-#   ?G = 2
-#   ?X = :Eve
-#   ?Y = :Grace
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Eve :cousin :Grace .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Frank :cousin :Dave .
-# It holds because the following instance of the rule body is provable:
-#   :Frank :generation 2 .
-#   :Dave :generation 2 .
-#   :Frank :branch :c .
-#   :Dave :branch :b .
-#   :c :differentFrom :b .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :c
-#   ?BY = :b
-#   ?G = 2
-#   ?X = :Frank
-#   ?Y = :Dave
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Frank :cousin :Dave .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Frank :cousin :Eve .
-# It holds because the following instance of the rule body is provable:
-#   :Frank :generation 2 .
-#   :Eve :generation 2 .
-#   :Frank :branch :c .
-#   :Eve :branch :b .
-#   :c :differentFrom :b .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :c
-#   ?BY = :b
-#   ?G = 2
-#   ?X = :Frank
-#   ?Y = :Eve
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Frank :cousin :Eve .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Grace :cousin :Dave .
-# It holds because the following instance of the rule body is provable:
-#   :Grace :generation 2 .
-#   :Dave :generation 2 .
-#   :Grace :branch :c .
-#   :Dave :branch :b .
-#   :c :differentFrom :b .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :c
-#   ?BY = :b
-#   ?G = 2
-#   ?X = :Grace
-#   ?Y = :Dave
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Grace :cousin :Dave .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Grace :cousin :Eve .
-# It holds because the following instance of the rule body is provable:
-#   :Grace :generation 2 .
-#   :Eve :generation 2 .
-#   :Grace :branch :c .
-#   :Eve :branch :b .
-#   :c :differentFrom :b .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :c
-#   ?BY = :b
-#   ?G = 2
-#   ?X = :Grace
-#   ?Y = :Eve
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Grace :cousin :Eve .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Judy :generation 3 .
-# It holds because the following instance of the rule body is provable:
-#   :Frank :parentOf :Judy .
-#   :Frank :generation 2 .
-#   (2 1) math:sum 3 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Judy
-#   ?G = 2
-#   ?G1 = 3
-#   ?P = :Frank
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Judy :generation 3 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Ivan :generation 3 .
-# It holds because the following instance of the rule body is provable:
-#   :Eve :parentOf :Ivan .
-#   :Eve :generation 2 .
-#   (2 1) math:sum 3 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Ivan
-#   ?G = 2
-#   ?G1 = 3
-#   ?P = :Eve
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Ivan :generation 3 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Heidi :generation 3 .
-# It holds because the following instance of the rule body is provable:
-#   :Dave :parentOf :Heidi .
-#   :Dave :generation 2 .
-#   (2 1) math:sum 3 .
-# via the schematic forward rule:
-#   {
-#     ?P :parentOf ?C .
-#     ?P :generation ?G .
-#     (?G 1) math:sum ?G1 .
-#   } => {
-#     ?C :generation ?G1 .
-#   } .
-# with substitution (on rule variables):
-#   ?C = :Heidi
-#   ?G = 2
-#   ?G1 = 3
-#   ?P = :Dave
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Heidi :generation 3 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Heidi :cousin :Judy .
-# It holds because the following instance of the rule body is provable:
-#   :Heidi :generation 3 .
-#   :Judy :generation 3 .
-#   :Heidi :branch :b .
-#   :Judy :branch :c .
-#   :b :differentFrom :c .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :b
-#   ?BY = :c
-#   ?G = 3
-#   ?X = :Heidi
-#   ?Y = :Judy
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Heidi :cousin :Judy .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Ivan :cousin :Judy .
-# It holds because the following instance of the rule body is provable:
-#   :Ivan :generation 3 .
-#   :Judy :generation 3 .
-#   :Ivan :branch :b .
-#   :Judy :branch :c .
-#   :b :differentFrom :c .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :b
-#   ?BY = :c
-#   ?G = 3
-#   ?X = :Ivan
-#   ?Y = :Judy
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Ivan :cousin :Judy .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Judy :cousin :Heidi .
-# It holds because the following instance of the rule body is provable:
-#   :Judy :generation 3 .
-#   :Heidi :generation 3 .
-#   :Judy :branch :c .
-#   :Heidi :branch :b .
-#   :c :differentFrom :b .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :c
-#   ?BY = :b
-#   ?G = 3
-#   ?X = :Judy
-#   ?Y = :Heidi
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Judy :cousin :Heidi .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Judy :cousin :Ivan .
-# It holds because the following instance of the rule body is provable:
-#   :Judy :generation 3 .
-#   :Ivan :generation 3 .
-#   :Judy :branch :c .
-#   :Ivan :branch :b .
-#   :c :differentFrom :b .
-# via the schematic forward rule:
-#   {
-#     ?X :generation ?G .
-#     ?Y :generation ?G .
-#     ?X :branch ?BX .
-#     ?Y :branch ?BY .
-#     ?BX :differentFrom ?BY .
-#   } => {
-#     ?X :cousin ?Y .
-#   } .
-# with substitution (on rule variables):
-#   ?BX = :c
-#   ?BY = :b
-#   ?G = 3
-#   ?X = :Judy
-#   ?Y = :Ivan
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Judy :cousin :Ivan .
-

package/examples/output/fibonacci.n3

@@ -1,44 +1,8 @@
 @prefix : <https://eyereasoner.github.io/eye/reasoning#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is {
-#       0 :fibonacci 0 .
-#       1 :fibonacci 1 .
-#       10 :fibonacci 55 .
-#       100 :fibonacci 354224848179261915075 .
-#   } .
-# It holds because the following instance of the rule body is provable:
-#   0 :fibonacci 0 .
-#   1 :fibonacci 1 .
-#   10 :fibonacci 55 .
-#   100 :fibonacci 354224848179261915075 .
-# via the schematic forward rule:
-#   {
-#     0 :fibonacci ?F0 .
-#     1 :fibonacci ?F1 .
-#     10 :fibonacci ?F10 .
-#     100 :fibonacci ?F100 .
-#   } => {
-#     :test :is {
-#         0 :fibonacci ?F0 .
-#         1 :fibonacci ?F1 .
-#         10 :fibonacci ?F10 .
-#         100 :fibonacci ?F100 .
-#     } .
-#   } .
-# with substitution (on rule variables):
-#   ?F0 = 0
-#   ?F1 = 1
-#   ?F10 = 55
-#   ?F100 = 354224848179261915075
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is {
     0 :fibonacci 0 .
     1 :fibonacci 1 .
     10 :fibonacci 55 .
     100 :fibonacci 354224848179261915075 .
 } .
-