diff --git a/RELEASE b/RELEASE index a5304a3ea..1a0320479 100644 --- 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 index 4bbd433cb..813a33cec 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -10.16.24 +10.16.25 diff --git a/eye.pl b/eye.pl index 4b6cc8721..e35e7c6d5 100644 --- 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 index afda62b46..4ff077250 100644 Binary files a/eye.zip and b/eye.zip differ