eyeling 1.6.13 → 1.6.14

package/examples/output/light-eaters.n3

@@ -1,327 +1,16 @@
 @prefix : <http://example.org/light-eaters#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Forest :dailyLightEnergy "200"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Today :lightHours 10.0 .
-#   :Forest :lightIntensity 20.0 .
-#   (20.0 10.0) math:product "200"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Today :lightHours ?H .
-#     ?Place :lightIntensity ?I .
-#     (?I ?H) math:product ?E .
-#   } => {
-#     ?Place :dailyLightEnergy ?E .
-#   } .
-# with substitution (on rule variables):
-#   ?E = "200"^^xsd:decimal
-#   ?H = 10.0
-#   ?I = 20.0
-#   ?Place = :Forest
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Forest :dailyLightEnergy "200"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Meadow :dailyLightEnergy "1000"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Today :lightHours 10.0 .
-#   :Meadow :lightIntensity 100.0 .
-#   (100.0 10.0) math:product "1000"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Today :lightHours ?H .
-#     ?Place :lightIntensity ?I .
-#     (?I ?H) math:product ?E .
-#   } => {
-#     ?Place :dailyLightEnergy ?E .
-#   } .
-# with substitution (on rule variables):
-#   ?E = "1000"^^xsd:decimal
-#   ?H = 10.0
-#   ?I = 100.0
-#   ?Place = :Meadow
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Meadow :dailyLightEnergy "1000"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :storedEnergy "50"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern a :Plant .
-#   :Fern :location :Forest .
-#   :Forest :dailyLightEnergy "200"^^xsd:decimal .
-#   :Fern :efficiency 0.25 .
-#   ("200"^^xsd:decimal 0.25) math:product "50"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Plant a :Plant .
-#     ?Plant :location ?Place .
-#     ?Place :dailyLightEnergy ?E .
-#     ?Plant :efficiency ?Eff .
-#     (?E ?Eff) math:product ?Stored .
-#   } => {
-#     ?Plant :storedEnergy ?Stored .
-#   } .
-# with substitution (on rule variables):
-#   ?E = "200"^^xsd:decimal
-#   ?Eff = 0.25
-#   ?Place = :Forest
-#   ?Plant = :Fern
-#   ?Stored = "50"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :storedEnergy "50"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :storedEnergy "250"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower a :Plant .
-#   :Sunflower :location :Meadow .
-#   :Meadow :dailyLightEnergy "1000"^^xsd:decimal .
-#   :Sunflower :efficiency 0.25 .
-#   ("1000"^^xsd:decimal 0.25) math:product "250"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Plant a :Plant .
-#     ?Plant :location ?Place .
-#     ?Place :dailyLightEnergy ?E .
-#     ?Plant :efficiency ?Eff .
-#     (?E ?Eff) math:product ?Stored .
-#   } => {
-#     ?Plant :storedEnergy ?Stored .
-#   } .
-# with substitution (on rule variables):
-#   ?E = "1000"^^xsd:decimal
-#   ?Eff = 0.25
-#   ?Place = :Meadow
-#   ?Plant = :Sunflower
-#   ?Stored = "250"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :storedEnergy "250"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :netEnergy "100"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower :storedEnergy "250"^^xsd:decimal .
-#   :Sunflower :maintenance 150.0 .
-#   ("250"^^xsd:decimal 150.0) math:difference "100"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Org :storedEnergy ?Stored .
-#     ?Org :maintenance ?Maint .
-#     (?Stored ?Maint) math:difference ?Net .
-#   } => {
-#     ?Org :netEnergy ?Net .
-#   } .
-# with substitution (on rule variables):
-#   ?Maint = 150.0
-#   ?Net = "100"^^xsd:decimal
-#   ?Org = :Sunflower
-#   ?Stored = "250"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :netEnergy "100"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :netEnergy "-100"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Fern :storedEnergy "50"^^xsd:decimal .
-#   :Fern :maintenance 150.0 .
-#   ("50"^^xsd:decimal 150.0) math:difference "-100"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?Org :storedEnergy ?Stored .
-#     ?Org :maintenance ?Maint .
-#     (?Stored ?Maint) math:difference ?Net .
-#   } => {
-#     ?Org :netEnergy ?Net .
-#   } .
-# with substitution (on rule variables):
-#   ?Maint = 150.0
-#   ?Net = "-100"^^xsd:decimal
-#   ?Org = :Fern
-#   ?Stored = "50"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :netEnergy "-100"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :canPhotosynthesize true .
-# It holds because the following instance of the rule body is provable:
-#   :Fern a :Plant .
-#   :Fern :chlorophyll true .
-#   :Fern :storedEnergy "50"^^xsd:decimal .
-#   ("50"^^xsd:decimal 0.0) math:greaterThan true .
-# via the schematic forward rule:
-#   {
-#     ?Plant a :Plant .
-#     ?Plant :chlorophyll true .
-#     ?Plant :storedEnergy ?Stored .
-#     (?Stored 0.0) math:greaterThan true .
-#   } => {
-#     ?Plant :canPhotosynthesize true .
-#     ?Plant :lightEater true .
-#   } .
-# with substitution (on rule variables):
-#   ?Plant = :Fern
-#   ?Stored = "50"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :canPhotosynthesize true .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :lightEater true .
-# It holds because the following instance of the rule body is provable:
-#   :Fern a :Plant .
-#   :Fern :chlorophyll true .
-#   :Fern :storedEnergy "50"^^xsd:decimal .
-#   ("50"^^xsd:decimal 0.0) math:greaterThan true .
-# via the schematic forward rule:
-#   {
-#     ?Plant a :Plant .
-#     ?Plant :chlorophyll true .
-#     ?Plant :storedEnergy ?Stored .
-#     (?Stored 0.0) math:greaterThan true .
-#   } => {
-#     ?Plant :canPhotosynthesize true .
-#     ?Plant :lightEater true .
-#   } .
-# with substitution (on rule variables):
-#   ?Plant = :Fern
-#   ?Stored = "50"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :lightEater true .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :canPhotosynthesize true .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower a :Plant .
-#   :Sunflower :chlorophyll true .
-#   :Sunflower :storedEnergy "250"^^xsd:decimal .
-#   ("250"^^xsd:decimal 0.0) math:greaterThan true .
-# via the schematic forward rule:
-#   {
-#     ?Plant a :Plant .
-#     ?Plant :chlorophyll true .
-#     ?Plant :storedEnergy ?Stored .
-#     (?Stored 0.0) math:greaterThan true .
-#   } => {
-#     ?Plant :canPhotosynthesize true .
-#     ?Plant :lightEater true .
-#   } .
-# with substitution (on rule variables):
-#   ?Plant = :Sunflower
-#   ?Stored = "250"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :canPhotosynthesize true .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :lightEater true .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower a :Plant .
-#   :Sunflower :chlorophyll true .
-#   :Sunflower :storedEnergy "250"^^xsd:decimal .
-#   ("250"^^xsd:decimal 0.0) math:greaterThan true .
-# via the schematic forward rule:
-#   {
-#     ?Plant a :Plant .
-#     ?Plant :chlorophyll true .
-#     ?Plant :storedEnergy ?Stored .
-#     (?Stored 0.0) math:greaterThan true .
-#   } => {
-#     ?Plant :canPhotosynthesize true .
-#     ?Plant :lightEater true .
-#   } .
-# with substitution (on rule variables):
-#   ?Plant = :Sunflower
-#   ?Stored = "250"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :lightEater true .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Mushroom :lightEater false .
-# It holds because the following instance of the rule body is provable:
-#   :Mushroom a :Fungus .
-# via the schematic forward rule:
-#   {
-#     ?X a :Fungus .
-#   } => {
-#     ?X :lightEater false .
-#   } .
-# with substitution (on rule variables):
-#   ?X = :Mushroom
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Mushroom :lightEater false .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Sunflower :thriving true .
-# It holds because the following instance of the rule body is provable:
-#   :Sunflower :netEnergy "100"^^xsd:decimal .
-#   ("100"^^xsd:decimal 0.0) math:greaterThan true .
-# via the schematic forward rule:
-#   {
-#     ?Org :netEnergy ?Net .
-#     (?Net 0.0) math:greaterThan true .
-#   } => {
-#     ?Org :thriving true .
-#   } .
-# with substitution (on rule variables):
-#   ?Net = "100"^^xsd:decimal
-#   ?Org = :Sunflower
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Sunflower :thriving true .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Fern :hungry true .
-# It holds because the following instance of the rule body is provable:
-#   :Fern :netEnergy "-100"^^xsd:decimal .
-#   ("-100"^^xsd:decimal 0.0) math:notGreaterThan true .
-# via the schematic forward rule:
-#   {
-#     ?Org :netEnergy ?Net .
-#     (?Net 0.0) math:notGreaterThan true .
-#   } => {
-#     ?Org :hungry true .
-#   } .
-# with substitution (on rule variables):
-#   ?Net = "-100"^^xsd:decimal
-#   ?Org = :Fern
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Fern :hungry true .
-

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

@@ -1,180 +1,13 @@
 @prefix : <https://eyereasoner.github.io/ns#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_append_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ((1 2) (3 4)) list:append (1 2 3 4) .
-# via the schematic forward rule:
-#   {
-#     ((1 2) (3 4)) list:append (1 2 3 4) .
-#   } => {
-#     :ok_list_append_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_append_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_first_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   (1 2 3 4) list:first 1 .
-# via the schematic forward rule:
-#   {
-#     (1 2 3 4) list:first 1 .
-#   } => {
-#     :ok_list_first_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_first_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_in_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   "cat" list:in ("dog" "penguin" "cat") .
-# via the schematic forward rule:
-#   {
-#     "cat" list:in ("dog" "penguin" "cat") .
-#   } => {
-#     :ok_list_in_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_in_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_iterate_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ("dog" "penguin" "cat") list:iterate (2 "cat") .
-# via the schematic forward rule:
-#   {
-#     ("dog" "penguin" "cat") list:iterate (?index "cat") .
-#   } => {
-#     :ok_list_iterate_1 a :Pass .
-#   } .
-# with substitution (on rule variables):
-#   ?index = 2
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_iterate_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_last_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   (1 2 3 4) list:last 4 .
-# via the schematic forward rule:
-#   {
-#     (1 2 3 4) list:last 4 .
-#   } => {
-#     :ok_list_last_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_last_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_length_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   (1 2 3 4) list:length 4 .
-# via the schematic forward rule:
-#   {
-#     (1 2 3 4) list:length 4 .
-#   } => {
-#     :ok_list_length_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_length_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_member_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   ("dog" "penguin" "cat") list:member "cat" .
-# via the schematic forward rule:
-#   {
-#     ("dog" "penguin" "cat") list:member "cat" .
-#   } => {
-#     :ok_list_member_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_member_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_memberAt_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   (("dog" "penguin" "cat") 2) list:memberAt "cat" .
-# via the schematic forward rule:
-#   {
-#     (("dog" "penguin" "cat") 2) list:memberAt "cat" .
-#   } => {
-#     :ok_list_memberAt_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :ok_list_memberAt_1 a :Pass .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :ok_list_remove_1 a :Pass .
-# It holds because the following instance of the rule body is provable:
-#   (("dog" "penguin" "cat" "penguin") "penguin") list:remove ("dog" "cat") .
-# via the schematic forward rule:
-#   {
-#     (("dog" "penguin" "cat" "penguin") "penguin") list:remove ("dog" "cat") .
-#   } => {
-#     :ok_list_remove_1 a :Pass .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :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/list-iterate.n3

@@ -1,131 +1,7 @@
 @prefix : <urn:example:> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ("Huey" "Dewey" "Louie") :iterate (2 "Louie") .
-# It holds because the following instance of the rule body is provable:
-#   :Let :param ("Huey" "Dewey" "Louie") .
-#   ("Huey" "Dewey" "Louie") list:iterate (2 "Louie") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-# via the schematic forward rule:
-#   {
-#     :Let :param ?X .
-#     ?X list:iterate ?Y .
-#     ?X list:iterate (1 "Dewey") .
-#     ?X list:iterate (?Z "Dewey") .
-#   } => {
-#     ?X :iterate ?Y .
-#     "Dewey" :hasIndex ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?X = ("Huey" "Dewey" "Louie")
-#   ?Y = (2 "Louie")
-#   ?Z = 1
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ("Huey" "Dewey" "Louie") :iterate (2 "Louie") .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   "Dewey" :hasIndex 1 .
-# It holds because the following instance of the rule body is provable:
-#   :Let :param ("Huey" "Dewey" "Louie") .
-#   ("Huey" "Dewey" "Louie") list:iterate (2 "Louie") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-# via the schematic forward rule:
-#   {
-#     :Let :param ?X .
-#     ?X list:iterate ?Y .
-#     ?X list:iterate (1 "Dewey") .
-#     ?X list:iterate (?Z "Dewey") .
-#   } => {
-#     ?X :iterate ?Y .
-#     "Dewey" :hasIndex ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?X = ("Huey" "Dewey" "Louie")
-#   ?Y = (2 "Louie")
-#   ?Z = 1
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 "Dewey" :hasIndex 1 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ("Huey" "Dewey" "Louie") :iterate (1 "Dewey") .
-# It holds because the following instance of the rule body is provable:
-#   :Let :param ("Huey" "Dewey" "Louie") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-# via the schematic forward rule:
-#   {
-#     :Let :param ?X .
-#     ?X list:iterate ?Y .
-#     ?X list:iterate (1 "Dewey") .
-#     ?X list:iterate (?Z "Dewey") .
-#   } => {
-#     ?X :iterate ?Y .
-#     "Dewey" :hasIndex ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?X = ("Huey" "Dewey" "Louie")
-#   ?Y = (1 "Dewey")
-#   ?Z = 1
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ("Huey" "Dewey" "Louie") :iterate (1 "Dewey") .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ("Huey" "Dewey" "Louie") :iterate (0 "Huey") .
-# It holds because the following instance of the rule body is provable:
-#   :Let :param ("Huey" "Dewey" "Louie") .
-#   ("Huey" "Dewey" "Louie") list:iterate (0 "Huey") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-#   ("Huey" "Dewey" "Louie") list:iterate (1 "Dewey") .
-# via the schematic forward rule:
-#   {
-#     :Let :param ?X .
-#     ?X list:iterate ?Y .
-#     ?X list:iterate (1 "Dewey") .
-#     ?X list:iterate (?Z "Dewey") .
-#   } => {
-#     ?X :iterate ?Y .
-#     "Dewey" :hasIndex ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?X = ("Huey" "Dewey" "Louie")
-#   ?Y = (0 "Huey")
-#   ?Z = 1
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ("Huey" "Dewey" "Louie") :iterate (0 "Huey") .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is true .
-# It holds because the following instance of the rule body is provable:
-#   ("Huey" "Dewey" "Louie") :iterate (0 "Huey") .
-#   "Dewey" :hasIndex 1 .
-# via the schematic forward rule:
-#   {
-#     ?X :iterate ?Y .
-#     "Dewey" :hasIndex 1 .
-#   } => {
-#     :test :is true .
-#   } .
-# with substitution (on rule variables):
-#   ?X = ("Huey" "Dewey" "Louie")
-#   ?Y = (0 "Huey")
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is true .
-