fixing explanation output

eyereasoner · Sep 9, 2024 · f7b1cfc · f7b1cfc
1 parent 5e33c1a
commit f7b1cfc
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 10 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.6.1
+1.6.2
diff --git a/cases/output-with-explanation/complement.trig b/cases/output-with-explanation/complement.trig
@@ -1,8 +1,8 @@
 PREFIX skolem: <http://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>
-PREFIX var: <http://www.w3.org/2000/10/swap/var#>
 PREFIX log: <http://www.w3.org/2000/10/swap/log#>
+PREFIX var: <http://www.w3.org/2000/10/swap/var#>
 
-skolem:bng_1 => false.
+skolem:bng_1 log:implies false.
 
 GRAPH _:bng_1 {
     var:P log:complement var:C.

diff --git a/cases/output-with-explanation/derived.trig b/cases/output-with-explanation/derived.trig
@@ -16,15 +16,15 @@ GRAPH _:bng_1 {
 }
 
 GRAPH _:bng_2 {
-    _:bng_5 => _:node_4_1.
+    _:bng_5 log:implies _:node_4_1.
 }
 
 GRAPH _:bng_3 {
     :Minka a :Cat.
 }
 
 GRAPH _:bng_4 {
-    _:bng_6 => _:node_4_1.
+    _:bng_6 log:implies _:node_4_1.
 }
 
 GRAPH _:bng_5 {

diff --git a/cases/output/complement.trig b/cases/output/complement.trig
@@ -1,8 +1,8 @@
 PREFIX skolem: <http://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>
-PREFIX var: <http://www.w3.org/2000/10/swap/var#>
 PREFIX log: <http://www.w3.org/2000/10/swap/log#>
+PREFIX var: <http://www.w3.org/2000/10/swap/var#>
 
-skolem:bng_1 => false.
+skolem:bng_1 log:implies false.
 
 GRAPH _:bng_1 {
     var:P log:complement var:C.

diff --git a/lingua.pl b/lingua.pl
@@ -19,7 +19,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('lingua v1.6.1').
+version_info('lingua v1.6.2').
 
 help_info('Usage: lingua <options>* <data>*
 
@@ -1084,7 +1084,9 @@
         )
     ;   (   clause('<http://www.w3.org/2000/10/swap/log#implies>'(X, Y, _, _, _, _), true)
         ->  wg(X),
-            write(' => '),
+            write(' '),
+            wp('<http://www.w3.org/2000/10/swap/log#implies>'),
+            write(' '),
             wg(Y)
         ;   (   nb_getval(fdepth, 0)
             ->  assertz(ncllit)
@@ -1105,7 +1107,9 @@
             ->  retract(ncllit)
             ;   true
             ),
-            write(' => '),
+            write(' '),
+            wp('<http://www.w3.org/2000/10/swap/log#implies>'),
+            write(' '),
             (   \+atom(Y)
             ->  nb_getval(cdepth, CD),
                 CD1 is CD+1,