fixing issue #110

eyereasoner · Jul 18, 2024 · 1a74781 · 1a74781
1 parent 79b73d0
commit 1a74781
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
 
+v10.16.24 (2024-07-18) fixing issue https://github.com/eyereasoner/eye/issues/110
 v10.16.23 (2024-07-16) using =^ as syntactic sugar for log:query
 v10.16.22 (2024-07-14) using log:onNegativeQuestionSurface instead of log:onNegativeComponentSurface
 v10.16.21 (2024-07-12) adding simplify disjunctive negative surfaces

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.16.23
+10.16.24
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.16.23 (2024-07-16)').
+version_info('EYE v10.16.24 (2024-07-18)').
 
 license_info('MIT License
 
@@ -4290,6 +4290,8 @@
     ->  true
     ;   (   \+flag('no-qnames'),
             atom(X),
+            atom_codes(X, Y),
+            intersection(Y, [0'!, 0'$, 0'&, 0'', 0'(, 0'), 0'*, 0'+, 0',, 0';, 0'=], []),
             (   sub_atom(X, I, 1, J, '#')
             ->  J > 1,
                 sub_atom(X, 0, I, _, C),

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