fixing log:includes and log:notIncludes (obs from Dörthe Arndt)

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+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
 v10.30.7 (2024-11-26) changing --proof-explanation to --ether (explain the reasoning)

VERSION

@@ -1 +1 @@
-10.30.9
+10.30.10

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.9 (2024-11-27)').
+version_info('EYE v10.30.10 (2024-11-27)').
 
 license_info('MIT License
 
@@ -259,10 +259,15 @@
         Argil
     ),
     append(Argil, Argi),
+    version_info(Version),
+    (   member('--version', Argus)
+    ->  format(user_error, '~w~n', [Version]),
+        throw(halt(0))
+    ;   true
+    ),
     (   member('--quiet', Argus)
     ->  true
     ;   format(user_error, 'eye~@~@~n', [w0(Argi), w1(Argus)]),
-        version_info(Version),
         format(user_error, '~w~n', [Version]),
         (   current_prolog_flag(version_git, PVersion)
         ->  true
@@ -840,9 +845,6 @@
 opts(['--tactic', Tactic|_], _) :-
     !,
     throw(not_supported_tactic(Tactic)).
-opts(['--version'|_], _) :-
-    !,
-    throw(halt(0)).
 opts(['--warn'|Argus], Args) :-
     !,
     retractall(flag(warn)),
@@ -7663,7 +7665,8 @@
             nonvar(Y)
         ),
         (   X \= [_, _],
-            conj_list(X, A),
+            makevars(X, Z, gamma),
+            conj_list(Z, A),
             conj_list(Y, B),
             includes(A, B)
         )
@@ -7792,7 +7795,8 @@
             nonvar(Y)
         ),
         (   X \= [_, _],
-            conj_list(X, A),
+            makevars(X, Z, gamma),
+            conj_list(Z, A),
             conj_list(Y, B),
             \+includes(A, B)
         )
@@ -12647,6 +12651,9 @@
     ;   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/')
@@ -13570,7 +13577,8 @@
 mf(A) :-
     forall(
         catch(A, _, fail),
-        (   portray_clause(user_error, A),
+        (   write(user_error, '*** '),
+            portray_clause(user_error, A),
             cnt(mf)
         )
     ),