Skip to content

Commit

Permalink
fixing issue #108 (comment)
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Jul 22, 2024
1 parent 1a74781 commit 6e9949d
Show file tree
Hide file tree
Showing 4 changed files with 17 additions and 4 deletions.
1 change: 1 addition & 0 deletions RELEASE
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
10.16.24
10.16.25
18 changes: 15 additions & 3 deletions eye.pl
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down Expand Up @@ -7904,7 +7904,13 @@
when(
( ground(X)
),
( max_list(X, Y)
( findall(A,
( member(B, X),
getnumber(B, A)
),
Z
),
max_list(Z, Y)
)
).

Expand All @@ -7928,7 +7934,13 @@
when(
( ground(X)
),
( min_list(X, Y)
( findall(A,
( member(B, X),
getnumber(B, A)
),
Z
),
min_list(Z, Y)
)
).

Expand Down
Binary file modified eye.zip
Binary file not shown.

0 comments on commit 6e9949d

Please sign in to comment.