diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

skip OS preds

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-02-13 03:07:48 +00:00
parent 78327cf885
commit 1deb238d10
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pl/consult.yap
View File

@ -824,7 +824,8 @@ nb_setval('$if_le1vel',0).
catch(M0:G0, Error, user:'$LoopError'(Error, top)) catch(M0:G0, Error, user:'$LoopError'(Error, top))
-> ->
true true
; format(user_error,':- ~w:~w failed.~n',[M,G]) ;
format(user_error,':- ~w:~w failed.~n',[M,G])
), ),
fail. fail.
'$exec_initialization_goals'. '$exec_initialization_goals'.
@ -1423,7 +1424,7 @@ initialization(_G,_OPT) :-
( (
OPT == now OPT == now
-> ->
( call(G) -> true ; format(user_error,':- ~w:~w failed.~n',[G]) ) ( call(G) -> true ; format(user_error,':- ~w failed.~n',[G]) )
; ;
OPT == after_load OPT == after_load
-> ->

6
pl/init.yap
View File

@ -213,8 +213,7 @@ print_message(Level, Msg) :-
:- ['protect.yap']. :- ['protect.yap'].
version(yap,[6,3]). version(yap,[6,3]).
q:- op(1150,fx,(mode)).
:- op(1150,fx,(mode)).
:- dynamic 'extensions_to_present_answer'/1. :- dynamic 'extensions_to_present_answer'/1.
@ -235,8 +234,7 @@ asserting goals for each sub-goal in a clause. The first argument is
bound to the goal and the second to the module under which the goal bound to the goal and the second to the module under which the goal
_G_ will execute. If goal_expansion/3 succeeds the new _G_ will execute. If goal_expansion/3 succeeds the new
sub-goal _NG_ will replace _G_ and will be processed in the same sub-goal _NG_ will replace _G_ and will be processed in the same
way. If goal_expansion/3 fails the system will use the default way. If goal_expansion/3 fails the system will use the defaultyap+flrules.
rules.
*/ */