using log:term instead of log:isFunctorOf

eyereasoner · Oct 23, 2024 · 07693f9 · 07693f9
1 parent 888da35
commit 07693f9
Show file tree

Hide file tree

Showing 12 changed files with 741 additions and 740 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.27.2 (2024-10-23) using log:term instead of log:isFunctorOf
 v10.27.1 (2024-10-23) fixing reifiedtriple in getterm/2
 v10.27.0 (2024-10-22) supporting functional terms as reifiedtriples << functor log:isFunctorOf (arguments) >>
 v10.26.4 (2024-10-20) passing --no-bnode-relabeling flag to log:conclusion

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.27.1
+10.27.2
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.27.1 (2024-10-23)').
+version_info('EYE v10.27.2 (2024-10-23)').
 
 license_info('MIT License
 
@@ -12759,7 +12759,7 @@
 getterm(reifiedtriple(S, P, O, N), reifiedtriple(S, P, O, N)) :-
     var(P),
     !.
-getterm(reifiedtriple('<http://www.w3.org/2000/10/swap/log#conjunction>', '<http://www.w3.org/2000/10/swap/log#isFunctorOf>', A, _), B) :-
+getterm(reifiedtriple('<http://www.w3.org/2000/10/swap/log#conjunction>', '<http://www.w3.org/2000/10/swap/log#term>', A, _), B) :-
     !,
     findall(C,
         (   member(reifiedtriple(S, P, O, _), A),

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/good-cobbler/cobbler.n3 b/reasoning/good-cobbler/cobbler.n3
@@ -6,11 +6,11 @@
 @prefix : <urn:example:>.
 
 # some x is a good cobbler
-_:x a << :good log:isFunctorOf (:Cobbler) >>.
+_:x a << :good log:term (:Cobbler) >>.
 
 # is there some x which is good at some y
 {
-    ?x a << :good log:isFunctorOf (?y) >>.
+    ?x a << :good log:term (?y) >>.
 } =^ {
     :test :is true.
 }.
diff --git a/reasoning/peano/peano-answer.n3 b/reasoning/peano/peano-answer.n3
@@ -1,4 +1,4 @@
 @prefix : <http://example.org/#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (0) >>) >>) >>) >>) >> :factorial << :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (<< :s log:isFunctorOf (0) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>.
+<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (0) >>) >>) >>) >>) >> :factorial << :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (<< :s log:term (0) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>) >>.