adding log:imports built-in

KNowledgeOnWebScale · Mar 13, 2024 · ae79217 · ae79217
1 parent da18619
commit ae79217
Show file tree

Hide file tree

Showing 26 changed files with 3,165 additions and 27 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.2.1
+0.2.2
diff --git a/lingua/monadic.trig b/lingua/monadic.trig
@@ -0,0 +1,50 @@
+# -----------------------
+# Basic Monadic Benchmark
+# -----------------------
+#
+# See https://eulersharp.sourceforge.net/2003/03swap/bmb-note
+# and https://eulersharp.sourceforge.net/2014/11bmb/README.md
+
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
+@prefix bmt: <http://eulersharp.sourceforge.net/2007/07test/graph#>.
+@prefix : <#>.
+
+# importing
+:imports_rule lingua:premise _:imports_rule_premise;
+    lingua:conclusion true.
+
+_:imports_rule_premise {
+    <> log:imports <../../eye/reasoning/bmt/1tt1.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt2.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt3.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt4.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt5.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt6.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt7.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt8.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt9.ttl>.
+    <> log:imports <../../eye/reasoning/bmt/1tt10.ttl>.
+}
+
+#query
+:bmt_query lingua:question _:bmt_question;
+    lingua:answer _:bmt_answer.
+
+_:bmt_question {
+    var:D0 var:R var:D1.
+    var:D1 var:R var:D2.
+    var:D2 var:R var:D3.
+    var:D3 var:R var:D4.
+    var:D4 var:R var:D5.
+    var:D5 var:R var:D6.
+    var:D6 var:R var:D7.
+    var:D7 var:R var:D8.
+    var:D8 var:R var:D9.
+    var:D9 var:R var:D0.
+}
+
+_:bmt_answer {
+    var:R bmt:cycle (var:D0 var:D1 var:D2 var:D3 var:D4 var:D5 var:D6 var:D7 var:D8 var:D9).
+}
diff --git a/lingua/proof/ackermann.trig b/lingua/proof/ackermann.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/ackermann.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/ackermann.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.

diff --git a/lingua/proof/acp.trig b/lingua/proof/acp.trig
@@ -1,18 +1,18 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/acp.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/acp.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 
 :acp_rule1 lingua:body _:gn_1.
 :acp_rule1 lingua:head _:node_1.
-:acp_rule1 lingua:bindings ((var:Test :test1) (var:Pol :PolicyX) (var:Field var:U_0) (var:X ((<https://eyereasoner.github.io/see/lingua/acp.trig>) 1))).
+:acp_rule1 lingua:bindings ((var:Test :test1) (var:Pol :PolicyX) (var:Field var:U_0) (var:X ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1))).
 :acp_rule2 lingua:body _:gn_2.
 :acp_rule2 lingua:head _:node_7.
-:acp_rule2 lingua:bindings ((var:Test :test1) (var:Pol :PolicyX) (var:Field var:U_1) (var:List (:C)) (var:X ((<https://eyereasoner.github.io/see/lingua/acp.trig>) 1)) (var:L 1)).
+:acp_rule2 lingua:bindings ((var:Test :test1) (var:Pol :PolicyX) (var:Field var:U_1) (var:List (:C)) (var:X ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1)) (var:L 1)).
 :acp_rule3 lingua:body _:gn_3.
 :acp_rule3 lingua:head _:node_13.
-:acp_rule3 lingua:bindings ((var:Test :test1) (var:Pol :PolicyX) (var:Field var:U_2) (var:List ()) (var:X ((<https://eyereasoner.github.io/see/lingua/acp.trig>) 1)) (var:L 0)).
+:acp_rule3 lingua:bindings ((var:Test :test1) (var:Pol :PolicyX) (var:Field var:U_2) (var:List ()) (var:X ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1)) (var:L 0)).
 :acp_query lingua:question _:node_19.
 :acp_query lingua:answer _:node_20.
 :acp_query lingua:bindings ((var:Pol :PolicyX)).

diff --git a/lingua/proof/backward.trig b/lingua/proof/backward.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/backward.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/backward.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.

diff --git a/lingua/proof/complement.trig b/lingua/proof/complement.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/complement.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/complement.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.

diff --git a/lingua/proof/complex.trig b/lingua/proof/complex.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/complex.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/complex.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix complex: <http://eyereasoner.github.io/complex#>.

diff --git a/lingua/proof/derived.trig b/lingua/proof/derived.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/derived.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/derived.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 

diff --git a/lingua/proof/fibonacci.trig b/lingua/proof/fibonacci.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/fibonacci.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/fibonacci.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.

diff --git a/lingua/proof/filter.trig b/lingua/proof/filter.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/filter.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/filter.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
@@ -7,7 +7,7 @@
 
 :filter_query lingua:question _:gn_1.
 :filter_query lingua:answer _:node_2.
-:filter_query lingua:bindings ((var:param var:U_1) (var:where _:gn_2) (var:filteredParams ("Huey" "Dewey")) (var:scope ((<https://eyereasoner.github.io/see/lingua/filter.trig>) 1))).
+:filter_query lingua:bindings ((var:param var:U_1) (var:where _:gn_2) (var:filteredParams ("Huey" "Dewey")) (var:scope ((<https://eyereasoner.github.io/see-lingua/lingua/filter.trig>) 1))).
 :result :is ("Huey" "Dewey").
 _:gn_1 {
     :Let :where (var:param var:where).

diff --git a/lingua/proof/gps.trig b/lingua/proof/gps.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/gps.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/gps.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix gps: <http://eyereasoner.github.io/eye/reasoning/gps/gps-schema#>.

diff --git a/lingua/proof/graph.trig b/lingua/proof/graph.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/graph.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/graph.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 

diff --git a/lingua/proof/mi.trig b/lingua/proof/mi.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see/lingua/mi.trig#>.
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/mi.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.