fixing euler abstract machine for rdfreasoning

eyereasoner · Nov 24, 2023 · 7d2d364 · 7d2d364
1 parent 5c9b4c8
commit 7d2d364
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 2 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v8.6.20 (2023-11-24) fixing euler abstract machine for rdfreasoning
 v8.6.19 (2023-11-24) using explicit rule:vars in rdfreasoning
 v8.6.18 (2023-11-23) using log:negativeTriple as backward chaining hint
 v8.6.17 (2023-11-22) expressing blogic in RDF and running with rdfreasoning

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-8.6.19
+8.6.20
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 v8.6.19 (2023-11-24)').
+version_info('EYE v8.6.20 (2023-11-24)').
 
 license_info('MIT License
 
@@ -5133,6 +5133,7 @@
         ;   true
         ),
         \+atom(Conc),
+        \+is_list(Conc),
         (   flag('rule-histogram'),
             copy_term_nat(Rule, RuleL)
         ->  lookup(RTP, tp, RuleL),

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