adjusting to https://eyereasoner.github.io/eye/#eye-color

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.30.2 (2024-11-11) adjusting to https://eyereasoner.github.io/eye/#eye-color
 v10.30.1 (2024-11-08) dropping --prolog and using --n3p instead
 v10.30.0 (2024-11-07) using lists as compounds and adding experimental --prolog to use prolog code
 v10.29.1 (2024-11-06) adding list:compound built-in to convert list tofro compound term

VERSION

@@ -1 +1 @@
-10.30.1
+10.30.2

color/test

@@ -28,7 +28,7 @@ do
     pushd "${dir}" > /dev/null
     echo -en "$(pad "${file}${dir}" -24)"
     start=$(($(date +%s%N)/1000000))
-    ./test > /dev/null #2>&1
+    ./test > /dev/null
     end=$(($(date +%s%N)/1000000))
     echo -en "${YELLOW}$(pad "`expr $end - $start` msec" 12)${NORMAL} "
     if [[ $(git diff . | wc -l) -eq 0 ]]; then

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.1 (2024-11-08)').
+version_info('EYE v10.30.2 (2024-11-11)').
 
 license_info('MIT License
 
@@ -63,7 +63,6 @@
     --intermediate <n3p-file>       output all <data> to <n3p-file>
     --license                       show license info
     --max-inferences <nr>           halt after maximum number of inferences
-    --no-bnode-relabeling           no relabeling of blank nodes in triple or graph terms
     --no-distinct-input             no distinct triples in the input
     --no-distinct-output            no distinct answers in the output
     --no-numerals                   no numerals in the output
@@ -697,8 +696,6 @@
     opts(Argus, Args).
 opts(['--no-bnode-relabeling'|Argus], Args) :-
     !,
-    retractall(flag('no-bnode-relabeling')),
-    assertz(flag('no-bnode-relabeling')),
     opts(Argus, Args).
 opts(['--no-distinct-input'|Argus], Args) :-
     !,
@@ -2518,15 +2515,11 @@
     {   atom_codes(Lbl, LblCodes),
         subst([[[0'-], [0'_, 0'M, 0'I, 0'N, 0'U, 0'S, 0'_]], [[0'.], [0'_, 0'D, 0'O, 0'T, 0'_]]], LblCodes, LblTidy),
         atom_codes(Label, LblTidy),
-        (   flag('no-bnode-relabeling')
-        ->  D = 0
-        ;   nb_getval(fdepth, D)
-        ),
-        (   evar(Label, S, D)
+        (   evar(Label, S, 0)
         ->  true
         ;   atom_concat(Label, '_', M),
             gensym(M, S),
-            assertz(evar(Label, S, D))
+            assertz(evar(Label, S, 0))
         ),
         (   (   nb_getval(entail_mode, false),
                 nb_getval(fdepth, 0)
@@ -7372,11 +7365,7 @@
             ->  Quiet = '--quiet'
             ;   Quiet = ''
             ),
-            (   flag('no-bnode-relabeling')
-            ->  Nobnr = '--no-bnode-relabeling'
-            ;   Nobnr = ''
-            ),
-            append([A1, A2, ['--nope', Quiet, Nobnr, Tmp1, '--pass-all', '>', Tmp2]], A4),
+            append([A1, A2, ['--nope', Quiet, Tmp1, '--pass-all', '>', Tmp2]], A4),
             findall([G, ' '],
                 (   member(G, A4)
                 ),

index.html

@@ -53,11 +53,12 @@ <h2 id="explainable-reasoning">Explainable Reasoning</h2>
 like a world wide welding machine transforming data into proofs:</p>
 <p><img src="https://www.w3.org/DesignIssues/diagrams/sweb-bus.png" width="480" height="400" alt="PDB"/></p>
 
-<h2 id="eye-color">EYE color</h2>
-<p>color stands for "condition logic reasoning" with the following assumptions: 
+<h2 id="eye-color">EYE Color</h2>
+<p>Color stands for "condition logic reasoning" with the following assumptions:
 <ul>
-<li>RDF data can only have blank nodes with global scope</li>
-<li>N3 rules can only have quickvars with rule scope</li>
+<li>N3 rules can only have quickvars and they have rule scope</li>
+<li>Quickvars are interpreted universally except for forward rule conclusion-only variables which are interpreted existentially</li>
+<li>Blank nodes are interpreted existentially and have document scope</li>
 </ul>
 </p>