adding list:quicksort built-in which is not removing duplicates

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.1.1 (2024-12-20) adding list:quicksort built-in which is not removing duplicates
 v11.1.0 (2024-12-18) reverting to rdfsurfaces implementation in eye v10
 v11.0.2 (2024-12-17) adding log:callWithDisjunction built-in
 v11.0.1 (2024-12-15) adding list:intersection back

VERSION

@@ -1 +1 @@
-11.1.0
+11.1.1

eye-builtins.n3

@@ -110,6 +110,7 @@ list:append a e:Builtin.
 list:first a e:Builtin.
 list:firstRest a e:Builtin.
 list:in a e:Builtin.
+list:intersection a e:Builtin.
 list:isList a e:Builtin.
 list:iterate a e:Builtin.
 list:last a e:Builtin.
@@ -120,6 +121,7 @@ list:memberAt a e:Builtin.
 list:multisetEqualTo a e:Builtin.
 list:multisetNotEqualTo a e:Builtin.
 list:notMember a e:Builtin.
+list:quicksort a e:Builtin.
 list:remove a e:Builtin.
 list:removeAt a e:Builtin.
 list:removeDuplicates a e:Builtin.
@@ -140,6 +142,7 @@ log:call a e:Builtin.
 log:callNotBind a e:Builtin.
 log:callWithCleanup a e:Builtin.
 log:callWithCut a e:Builtin.
+log:callWithDisjunction a e:Builtin.
 log:callWithOptional a e:Builtin.
 log:collectAllIn a e:Builtin.
 log:conclusion a e:Builtin.
@@ -176,6 +179,7 @@ log:query a e:Builtin.
 log:racine a e:Builtin.
 log:rawType a e:Builtin.
 log:repeat a e:Builtin.
+log:satisfiable a e:Builtin.
 log:semantics a e:Builtin.
 log:semanticsOrError a e:Builtin.
 log:shell a e:Builtin.

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.1.0 (2024-12-18)').
+version_info('EYE v11.1.1 (2024-12-20)').
 
 license_info('MIT License
 
@@ -6943,6 +6943,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
@@ -7041,6 +7052,15 @@
         )
     ).
 
+'<http://www.w3.org/2000/10/swap/list#quicksort>'(A, B) :-
+    when(
+        (   nonvar(A)
+        ),
+        (   getlist(A, C),
+            quicksort(C, B)
+        )
+    ).
+
 '<http://www.w3.org/2000/10/swap/list#remove>'([A, B], C) :-
     when(
         (   nonvar(A),
@@ -7253,6 +7273,11 @@
         istep('<>', C, '<http://www.w3.org/2000/10/swap/log#callWithCleanup>'(A, B), D)
     ).
 
+'<http://www.w3.org/2000/10/swap/log#callWithDisjunction>'(A, B) :-
+    (   catch(call(A), _, fail)
+    ;   catch(call(B), _, fail)
+    ).
+
 '<http://www.w3.org/2000/10/swap/log#callWithOptional>'(A, B) :-
     call(A),
     (   \+catch(call(B), _, fail)