diff --git a/RELEASE b/RELEASE index 36baf3e63..93cbf9dcd 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v11.0.1 (2024-12-15) adding list:intersection back v11.0.0 (2024-12-14) rdfsurfaces are now implemented as N3 rules https://github.com/eyereasoner/rdfsurfaces-tests/blob/main/lib/rdfsurfaces.n3 v10.30.17 (2024-12-11) fixing log:satisfiable v10.30.16 (2024-12-09) fixing string:substring diff --git a/VERSION b/VERSION index 275283a18..071973805 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -11.0.0 +11.0.1 diff --git a/eye.pl b/eye.pl index 4121b8eed..9397f782f 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 v11.0.0 (2024-12-14)'). +version_info('EYE v11.0.1 (2024-12-15)'). license_info('MIT License @@ -6626,6 +6626,17 @@ ) ). +''([A, B], C) :- + when( + ( nonvar(A), + nonvar(B) + ), + ( getlist(A, D), + getlist(B, E), + intersection(D, E, C) + ) + ). + ''(A, B) :- ( getlist(A, _) -> B = true diff --git a/eye.zip b/eye.zip index 5fbec61f7..4d8198d1f 100644 Binary files a/eye.zip and b/eye.zip differ