fixing issue with output of true predicate (obs from Patrick Hochsten…

…bach)
eyereasoner · May 31, 2023 · 9817130 · 9817130
1 parent 2c229bb
commit 9817130
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v4.0.1 (2023-05-31) fixing issue with output of true predicate (obs from Patrick Hochstenbach)
 v4.0.0 (2023-05-31) removing --query-answer option and implementing --blogic using rdfsurfaces/0
 v3.28.1 (2023-05-30) Integrated Surfaces in EYE
 v3.28.0 (2023-05-27) using log:negativeTriple built-in (instead of log:onQuerySurface) in blogic odd level surfaces

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-4.0.0
+4.0.1
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v4.0.0 (2023-05-31)').
+version_info('EYE v4.0.1 (2023-05-31)').
 
 license_info('MIT License
 
@@ -4314,7 +4314,9 @@
         \+ (sub_atom(P, 0, 1, _, '<'), sub_atom(P, _, 1, 0, '>')),
         \+sub_atom(P, 0, _, _, avar),
         \+sub_atom(P, 0, _, _, allv),
-        \+sub_atom(P, 0, _, _, some)
+        \+sub_atom(P, 0, _, _, some),
+        P \= true,
+        P \= false
     ->  write('"'),
         writeq(X),
         write('"')

diff --git a/eye.zip b/eye.zip