From d7109e6974e81fae77b7752252a1e9d7b28ccc94 Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 30 Jan 2002 01:18:56 +0000 Subject: [PATCH] predicate_property should not return properties for undefined predicates. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@339 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/utils.yap | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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).