diff --git a/RELEASE b/RELEASE index 7a3041090..eb5455987 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v11.2.1 (2024-12-27) fixing --logic-program option v11.2.0 (2024-12-27) adding --logic-program option v11.1.4 (2024-12-23) using log:explains instead of log:proves v11.1.3 (2024-12-23) using --explain instead of --ether diff --git a/VERSION b/VERSION index b85c6c7b0..dc170a12a 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -11.2.0 +11.2.1 diff --git a/eye.pl b/eye.pl index 5f712a403..fb7ecefc7 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 v11.2.0 (2024-12-27)'). +version_info('EYE v11.2.1 (2024-12-27)'). license_info('MIT License @@ -717,16 +717,6 @@ ) ), eam2, - nb_getval(fm, Fm), - ( Fm = 0 - -> true - ; format(user_error, "*** fm=~w~n", [Fm]) - ), - nb_getval(mf, Mf), - ( Mf = 0 - -> true - ; format(user_error, "*** mf=~w~n", [Mf]) - ), throw(halt(0)). opts(['--max-inferences', Lim|Argus], Args) :- !, @@ -5304,6 +5294,7 @@ % else output answers, output steps and stop % else assert brake and start again at 1/ % + eam2 :- ( (Conc := Prem), % 1/ copy_term((Conc := Prem), Rule), diff --git a/eye.zip b/eye.zip index 556ed6bec..22b43b871 100644 Binary files a/eye.zip and b/eye.zip differ