Skip to content

Commit

Permalink
fixing --logic-program <pl-file> option
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Dec 27, 2024
1 parent 23714d4 commit f341b1c
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 12 deletions.
1 change: 1 addition & 0 deletions RELEASE
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
EYE release

v11.2.1 (2024-12-27) fixing --logic-program <pl-file> option
v11.2.0 (2024-12-27) adding --logic-program <pl-file> 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
Expand Down
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
11.2.0
11.2.1
13 changes: 2 additions & 11 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 v11.2.0 (2024-12-27)').
version_info('EYE v11.2.1 (2024-12-27)').

license_info('MIT License

Expand Down Expand Up @@ -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) :-
!,
Expand Down Expand Up @@ -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),
Expand Down
Binary file modified eye.zip
Binary file not shown.

0 comments on commit f341b1c

Please sign in to comment.