fixing output of variable predicates (obs from Dörthe Arndt)

eyereasoner · Jan 23, 2023 · 1320a97 · 1320a97
1 parent 58bd6c5
commit 1320a97
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
 
+[v2.3.7] fixing output of variable predicates (obs from Dörthe Arndt)
 [v2.3.6] further fixing https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/beetle13.n3 (obs from Dörthe Arndt)
 [v2.3.5] beautifying the output of graph literals
 [v2.3.4] adding experimental log:graffiti built-in as used in https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/parteval.n3

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.3.6
+2.3.7
diff --git a/eye.pl b/eye.pl
@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v2.3.6 josd').
+version_info('EYE v2.3.7 josd').
 
 license_info('MIT License
 
@@ -4306,6 +4306,7 @@
     (   atom(P),
         \+ (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)
     ->  write('"'),
         writeq(X),

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