From 1deb238d10634987469c7aa15f409cb11715dc0b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sat, 13 Feb 2016 03:07:48 +0000 Subject: [PATCH] skip OS preds --- pl/consult.yap | 5 +++-- pl/init.yap | 6 ++---- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/pl/consult.yap b/pl/consult.yap index 0acf8a650..eddfcaa97 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -824,7 +824,8 @@ nb_setval('$if_le1vel',0). catch(M0:G0, Error, user:'$LoopError'(Error, top)) -> true - ; format(user_error,':- ~w:~w failed.~n',[M,G]) + ; + format(user_error,':- ~w:~w failed.~n',[M,G]) ), fail. '$exec_initialization_goals'. @@ -1423,7 +1424,7 @@ initialization(_G,_OPT) :- ( 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 -> diff --git a/pl/init.yap b/pl/init.yap index 2f65e39a1..d3420280a 100644 --- a/pl/init.yap +++ b/pl/init.yap @@ -213,8 +213,7 @@ print_message(Level, Msg) :- :- ['protect.yap']. version(yap,[6,3]). - -:- op(1150,fx,(mode)). +q:- op(1150,fx,(mode)). :- 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 _G_ will execute. If goal_expansion/3 succeeds the new 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 -rules. + way. If goal_expansion/3 fails the system will use the defaultyap+flrules. */