using --explain instead of --ether

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.1.3 (2024-12-23) using --explain instead of --ether
 v11.1.2 (2024-12-20) replacing list:quicksort with (list ordering) list:sort sortedList where ordering can be "<", "=<", ">" and ">="
 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

VERSION

@@ -1 +1 @@
-11.1.2
+11.1.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.1.2 (2024-12-20)').
+version_info('EYE v11.1.3 (2024-12-23)').
 
 license_info('MIT License
 
@@ -56,7 +56,7 @@
     --debug-djiti                   output debug info about DJITI on stderr
     --debug-implies                 output debug info about implies on stderr
     --debug-pvm                     output debug info about PVM code on stderr
-    --ether                         explain the reasoning using log:proves
+    --explain                       explain the reasoning using log:proves
     --help                          show help info
     --hmac-key <key>                HMAC key used in e:hmac-sha built-in
     --ignore-inference-fuse         do not halt in case of inference fuse
@@ -651,12 +651,12 @@
     retractall(flag('debug-pvm')),
     assertz(flag('debug-pvm')),
     opts(Argus, Args).
-opts(['--ether'|Argus], Args) :-
+opts(['--explain'|Argus], Args) :-
     !,
     retractall(flag(nope)),
     assertz(flag(nope)),
-    retractall(flag(ether)),
-    assertz(flag(ether)),
+    retractall(flag(explain)),
+    assertz(flag(explain)),
     opts(Argus, Args).
 opts(['--help'|_], _) :-
     \+flag(image, _),
@@ -4973,7 +4973,7 @@
         ignore(Prem = true),
         (   flag(nope),
             \+flag('rule-histogram'),
-            \+flag(ether)
+            \+flag(explain)
         ->  true
         ;   copy_term_nat('<http://www.w3.org/2000/10/swap/log#implies>'(Prem, Conc), Rule)
         ),
@@ -5073,7 +5073,7 @@
         conj_list(Concs, Ls),
         conj_list(Conce, Le),
         astep(Src, Prem, Concd, Conce, Rule),
-        (   flag(ether),
+        (   flag(explain),
             Concd \=answer(_, _, _),
             Concd \= (answer(_, _, _), _)
         ->  assertz(answer('<http://www.w3.org/2000/10/swap/log#proves>', (Rule, Prem), Concd))

reasoning/ackermann/test

@@ -1,3 +1,3 @@
 #!/bin/bash
 eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query.n3 --output ackermann-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --ether https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query.n3 --output ackermann-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --explain https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query.n3 --output ackermann-proof.n3

reasoning/workplace-benchmark/test

@@ -1,3 +1,3 @@
 #!/bin/bash
 eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --ether https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --explain https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-proof.n3

reasoning/workplace/test

@@ -1,3 +1,3 @@
 #!/bin/bash
 eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/workplace/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace/workplace-query.n3 --output workplace-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --ether https://eyereasoner.github.io/eye/reasoning/workplace/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace/workplace-query.n3 --output workplace-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --explain https://eyereasoner.github.io/eye/reasoning/workplace/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace/workplace-query.n3 --output workplace-proof.n3