reverting the fix of log:includes and log:notIncludes (obs from Dörth…

…e Arndt)

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.30.11 (2024-11-28) reverting the fix of log:includes and log:notIncludes (obs from Dörthe Arndt)
 v10.30.10 (2024-11-27) fixing log:includes and log:notIncludes (obs from Dörthe Arndt)
 v10.30.9 (2024-11-27) slight output speed improvement
 v10.30.8 (2024-11-26) fixing opts/2

VERSION

@@ -1 +1 @@
-10.30.10
+10.30.11

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.30.10 (2024-11-27)').
+version_info('EYE v10.30.11 (2024-11-28)').
 
 license_info('MIT License
 
@@ -7665,8 +7665,7 @@
             nonvar(Y)
         ),
         (   X \= [_, _],
-            makevars(X, Z, gamma),
-            conj_list(Z, A),
+            conj_list(X, A),
             conj_list(Y, B),
             includes(A, B)
         )
@@ -7795,8 +7794,7 @@
             nonvar(Y)
         ),
         (   X \= [_, _],
-            makevars(X, Z, gamma),
-            conj_list(Z, A),
+            conj_list(X, A),
             conj_list(Y, B),
             \+includes(A, B)
         )
@@ -12651,9 +12649,6 @@
     ;   sub_atom(A, 0, _, _, some)
     ;   sub_atom(A, 0, _, _, '_:')
     ).
-findvar(A, gamma) :-
-    !,
-    sub_atom(A, 0, _, _, some).
 findvar(A, delta) :-
     !,
     (   sub_atom(A, _, 19, _, '/.well-known/genid/')