From 3fc4f71beed20683320f89ba19de9eee8d7e8ab4 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 28 May 2009 21:51:34 -0500 Subject: [PATCH] prolog module is visible everywhere. --- pl/preds.yap | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pl/preds.yap b/pl/preds.yap index 0412f7e4b..db14cc2d5 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -788,7 +788,8 @@ predicate_property(Pred,Prop) :- '$predicate_property2'(Pred,Prop,M) :- var(M), !, '$all_current_modules'(M), '$predicate_property2'(Pred,Prop,M). -'$predicate_property2'(Pred,Prop,M) :- var(Pred), !, +'$predicate_property2'(Pred,Prop,M0) :- var(Pred), !, + (M = M0 ; M = prolog), % prolog mode is automatically incorporate in every other module '$generate_all_preds_from_mod'(Pred, SourceMod, M), '$predicate_property'(Pred,SourceMod,M,Prop). '$predicate_property2'(M:Pred,Prop,_) :- !,