diff --git a/RELEASE b/RELEASE index fc0653fb0..b2f0bca46 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v10.30.3 (2024-11-13) solving issue https://github.com/eyereasoner/eye/issues/121 v10.30.2 (2024-11-11) adjusting to https://eyereasoner.github.io/eye/#eye-color v10.30.1 (2024-11-08) dropping --prolog and using --n3p instead v10.30.0 (2024-11-07) using lists as compounds and adding experimental --prolog to use prolog code diff --git a/VERSION b/VERSION index 2a5f8df8d..f776749a0 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -10.30.2 +10.30.3 diff --git a/eye.pl b/eye.pl index 5c27c3c0c..f3b5e29d3 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.30.2 (2024-11-11)'). +version_info('EYE v10.30.3 (2024-11-13)'). license_info('MIT License @@ -6454,8 +6454,10 @@ ( nonvar(A), nonvar(B) ), - ( sort(0, @=<, A, C), - sort(0, @=<, B, C) + ( getlist(A, C), + getlist(B, D), + sort(0, @=<, C, E), + sort(0, @=<, D, E) ) ). @@ -6971,7 +6973,8 @@ when( ( nonvar(A) ), - ( nth0(B, A, C) + ( getlist(A, D), + nth0(B, D, C) ) ). @@ -6980,8 +6983,10 @@ ( nonvar(A), nonvar(B) ), - ( sort(0, @=<, A, C), - sort(0, @=<, B, C) + ( getlist(A, C), + getlist(B, D), + sort(0, @=<, C, E), + sort(0, @=<, D, E) ) ). @@ -7002,10 +7007,11 @@ ( nonvar(A), nonvar(B) ), - ( selectchk(B, A, D), - ( \+member(B, D) - -> C = D - ; ''([D, B], C) + ( getlist(A, D), + selectchk(B, D, E), + ( \+member(B, E) + -> C = E + ; ''([E, B], C) ) ) ). @@ -7014,8 +7020,9 @@ when( ( nonvar(A) ), - ( nth0(B, A, D), - selectchk(D, A, C) + ( getlist(A, D), + nth0(B, D, E), + selectchk(E, D, C) ) ). @@ -7038,7 +7045,13 @@ ). ''(A, B) :- - reverse(A, B). + when( + ( nonvar(A) + ), + ( getlist(A, C), + reverse(C, B) + ) + ). ''(A, [B, C]) :- when( @@ -7068,7 +7081,8 @@ when( ( nonvar(A) ), - ( sort(A, B) + ( getlist(A, C), + sort(C, B) ) ). @@ -7076,7 +7090,8 @@ when( ( nonvar(A) ), - ( list_to_set(A, B) + ( getlist(A, C), + list_to_set(C, B) ) ). diff --git a/eye.zip b/eye.zip index c7e941886..568c64f17 100644 Binary files a/eye.zip and b/eye.zip differ