diff --git a/RELEASE b/RELEASE index c93120226..79d4dbc43 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v3.22.2 (2023-05-03) fixing log:uri v3.22.1 (2023-05-02) fixing list:iterate (obs from Ieben Smessaert) v3.22.0 (2023-04-29) changing the resolution of two negative surfaces v3.21.1 (2023-04-23) fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/log/blogic/contradiction5:FAIL.n3 diff --git a/VERSION b/VERSION index 732c06105..2fec58b68 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.22.1 +3.22.2 diff --git a/eye.pl b/eye.pl index a2e2c312a..f7b6e5fdd 100644 --- a/eye.pl +++ b/eye.pl @@ -21,7 +21,7 @@ :- catch(use_module(library(pcre)), _, true). :- catch(use_module(library(http/http_open)), _, true). -version_info('EYE v3.22.1 (2023-05-02)'). +version_info('EYE v3.22.2 (2023-05-03)'). license_info('MIT License @@ -7117,8 +7117,8 @@ ''(X, Y) :- when( - ( nonvar(X) - ; nonvar(Y) + ( ground(X) + ; ground(Y) ), ( atomic(X), ( atom_concat(some, V, X) @@ -7133,7 +7133,7 @@ atomic_list_concat(['<', Z, '>'], U), Y = literal(Z, type('')), ! - ; nonvar(Y), + ; ground(Y), Y = literal(Z, type('')), atomic_list_concat(['<', Z, '>'], X) ) diff --git a/eye.zip b/eye.zip index c48ea79d2..9ee7f6b77 100644 Binary files a/eye.zip and b/eye.zip differ