diff --git a/pl/utils.yap b/pl/utils.yap index 47b918f1b..9dae719d5 100644 --- a/pl/utils.yap +++ b/pl/utils.yap @@ -551,7 +551,8 @@ predicate_property(Pred,Prop) :- '$predicate_property'(P,M,_,dynamic) :- '$is_dynamic'(P,M). '$predicate_property'(P,M,_,static) :- - \+ '$is_dynamic'(P,M). + \+ '$is_dynamic'(P,M), + \+ '$undefined'(P,M). '$predicate_property'(P,M,_,meta_predicate(P)) :- functor(P,Na,Ar), user:'$meta_predicate'(M,Na,Ar,P).