diff --git a/docs/yap.tex b/docs/yap.tex index 0f05a7f64..410582489 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -4806,6 +4806,8 @@ true if the predicate is exported in the current module. @item public true if the predicate is public; note that all dynamic predicates are public. +@item source +true if source for the predicate is available. @end table @end table diff --git a/pl/utils.yap b/pl/utils.yap index 2de09a164..cfd1b79b7 100644 --- a/pl/utils.yap +++ b/pl/utils.yap @@ -566,6 +566,8 @@ predicate_property(Pred,Prop) :- '$predicate_property'(P,M,_,built_in) :- '$system_predicate'(P,M), !. +'$predicate_property'(P,M,_,source) :- + ( '$recordedp'(M:P,_,_) -> true ; false). '$predicate_property'(P,M,_,dynamic) :- '$is_dynamic'(P,M). '$predicate_property'(P,M,_,static) :-