fixing reifiedtriple in getterm/2

eyereasoner · Oct 23, 2024 · 888da35 · 888da35
1 parent 130bf67
commit 888da35
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+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
 v10.26.3 (2024-10-18) further support for reasoning/n3plus1 (N3 plus increments like RDF 1.1, RDF 1.2, functional terms, ...)

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.27.0
+10.27.1
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.0 (2024-10-22)').
+version_info('EYE v10.27.1 (2024-10-23)').
 
 license_info('MIT License
 
@@ -12756,6 +12756,9 @@
     ->  true
     ;   throw(malformed_list_invalid_rest(E))
     ).
+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) :-
     !,
     findall(C,

diff --git a/eye.zip b/eye.zip