fixing log:rawType for true and false

eyereasoner · Jun 4, 2023 · 535b4fb · 535b4fb
1 parent d7201fe
commit 535b4fb
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 2 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v4.0.4 (2023-06-04) fixing log:rawType for true and false
 v4.0.3 (2023-06-01) simplify resolution of negative surfaces
 v4.0.2 (2023-05-31) adding inference fuse for log:negativeTriple
 v4.0.1 (2023-05-31) fixing issue with output of true predicate (obs from Patrick Hochstenbach)

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-4.0.3
+4.0.4
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.3 (2023-06-01)').
+version_info('EYE v4.0.4 (2023-06-04)').
 
 license_info('MIT License
 
@@ -11687,6 +11687,8 @@
 raw_type(A, '<http://www.w3.org/2000/10/swap/log#Literal>') :-
     number(A),
     !.
+raw_type(true, '<http://www.w3.org/2000/10/swap/log#Formula>').
+raw_type(false, '<http://www.w3.org/2000/10/swap/log#Formula>').
 raw_type(A, '<http://www.w3.org/2000/10/swap/log#Literal>') :-
     atom(A),
     \+ sub_atom(A, 0, _, _, some),

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