adding list:intersection back

eyereasoner · Dec 15, 2024 · 99add18 · 99add18
1 parent 2bf6de7
commit 99add18
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 2 deletions.
diff --git 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
@@ -1 +1 @@
-11.0.0
+11.0.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 v11.0.0 (2024-12-14)').
+version_info('EYE v11.0.1 (2024-12-15)').
 
 license_info('MIT License
 
@@ -6626,6 +6626,17 @@
         )
     ).
 
+'<http://www.w3.org/2000/10/swap/list#intersection>'([A, B], C) :-
+    when(
+        (   nonvar(A),
+            nonvar(B)
+        ),
+        (   getlist(A, D),
+            getlist(B, E),
+            intersection(D, E, C)
+        )
+    ).
+
 '<http://www.w3.org/2000/10/swap/list#isList>'(A, B) :-
     (   getlist(A, _)
     ->  B = true

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