fixing issue #140

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.9.3 (2025-02-24) fixing issue https://github.com/eyereasoner/eye/issues/140
 v11.9.2 (2025-02-24) dropping log:compoundTerm and using log:herbrand instead
 v11.9.1 (2025-02-23) adding log:compoundTerm built-in
 v11.9.0 (2025-02-23) making pl3 branch and using log:herbrand instead

VERSION

@@ -1 +1 @@
-11.9.2
+11.9.3

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.9.2 (2025-02-24)').
+version_info('EYE v11.9.3 (2025-02-24)').
 
 license_info('MIT License
 
@@ -7122,13 +7122,21 @@
 
 '<http://www.w3.org/2000/10/swap/list#setEqualTo>'(A, B) :-
     when(
-        (   nonvar(A),
-            nonvar(B)
+        (   nonvar(A)
+        ;   nonvar(B)
         ),
-        (   getlist(A, C),
-            getlist(B, D),
-            sort(C, E),
-            sort(D, E)
+        (   nonvar(A),
+            getlist(A, C)
+        ->  (   nonvar(B)
+            ->  getlist(B, D),
+                sort(C, E),
+                sort(D, E)
+            ;   list_to_set(C, E),
+                B = set(E)
+            )
+        ;   getlist(B, D),
+            list_to_set(D, E),
+            A = set(E)
         )
     ).