improving create contrapositive rule for blogic

eyereasoner · Jun 11, 2023 · c245ce1 · c245ce1
1 parent f3151ed
commit c245ce1
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v4.0.7 (2023-06-11) improving create contrapositive rule for blogic
 v4.0.6 (2023-06-11) fixing unlabeled blank node issue for blogic
 v4.0.5 (2023-06-08) fixing contrapositive rules for blogic
 v4.0.4 (2023-06-04) fixing log:rawType for true and false

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-4.0.6
+4.0.7
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.6 (2023-06-11)').
+version_info('EYE v4.0.7 (2023-06-11)').
 
 license_info('MIT License
 
@@ -758,7 +758,11 @@
                     \+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), B),
                     \+member('<http://www.w3.org/2000/10/swap/log#negativeTriple>'(_, _), B),
                     \+member(exopred(_, _, _), B),
-                    select(R, B, J),
+                    (   length(B, O),
+                        O =< 2
+                    ->  select(R, B, J)
+                    ;   B = [R|J]
+                    ),
                     conj_list(T, J),
                     findvars(R, N, beta),
                     findall(A,

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