diff --git a/RELEASE b/RELEASE index daf4ab2ea..49e5f7d08 100644 --- 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 index 5aa6b575a..b622d7d53 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -10.27.0 +10.27.1 diff --git a/eye.pl b/eye.pl index 42ec49abc..d8e7c9c93 100644 --- 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('', '', A, _), B) :- !, findall(C, diff --git a/eye.zip b/eye.zip index 477e91a8b..3e2bfa361 100644 Binary files a/eye.zip and b/eye.zip differ