fixing issue #108 (comment)

eyereasoner · Jul 22, 2024 · 6e9949d · 6e9949d
1 parent 1a74781
commit 6e9949d
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 4 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.16.25 (2024-07-22) fixing issue https://github.com/eyereasoner/eye/issues/108#issuecomment-2242525052
 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

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.16.24
+10.16.25
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.24 (2024-07-18)').
+version_info('EYE v10.16.25 (2024-07-22)').
 
 license_info('MIT License
 
@@ -7904,7 +7904,13 @@
     when(
         (   ground(X)
         ),
-        (   max_list(X, Y)
+        (   findall(A,
+                (   member(B, X),
+                    getnumber(B, A)
+                ),
+                Z
+            ),
+            max_list(Z, Y)
         )
     ).
 
@@ -7928,7 +7934,13 @@
     when(
         (   ground(X)
         ),
-        (   min_list(X, Y)
+        (   findall(A,
+                (   member(B, X),
+                    getnumber(B, A)
+                ),
+                Z
+            ),
+            min_list(Z, Y)
         )
     ).
 

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