From 73cf1fbafaba1f9f838e50473e00eefced3d0cc2 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Thu, 22 May 2008 21:48:04 +0000
Subject: [PATCH] fix predicate_property/2

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2240 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 changes-5.1.html |  2 ++
 pl/preds.yap     | 10 +++-------
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/changes-5.1.html b/changes-5.1.html
index 4946a7dfc..bc7c84e9d 100644
--- a/changes-5.1.html
+++ b/changes-5.1.html
@@ -17,6 +17,8 @@ xb
 
 <h2>Yap-5.1.3:</h2>
 <ul>
+<li> FIXED: too much pruning on predicate_property/2 (obs from Nicos
+Angelopoulos).</li>
 <li> FIXED: make sure we return to system mode on failing yesno.</li>
 <li> FIXED: debugger was broken on call/n.</li>
 <li> FIXED: user:expand_goal should be called before import,
diff --git a/pl/preds.yap b/pl/preds.yap
index e72ef1388..77157f6b5 100644
--- a/pl/preds.yap
+++ b/pl/preds.yap
@@ -821,11 +821,7 @@ predicate_property(Pred,Prop) :-
 	(
 	 Prop = imported_from(M)
 	;
-	 functor(Pred,P,A),
-	 recorded('$module','$module'(_TFN,Mod,Publics),_),
-	 lists:memberchk(N/A,Publics)
-	;	 
-	 '$predicate_property2'(NPred,Prop,M),
+	 '$predicate_property'(NPred,M,M,Prop),
 	 Prop \= exported
 	).
 
@@ -858,8 +854,8 @@ predicate_property(Pred,Prop) :-
 	'$is_public'(P,M).
 '$predicate_property'(P,M,M,exported) :-
 	functor(P,N,A),
-	recorded('$module','$module'(_TFN,M,Publics),_),
-	lists:memberchk(N/A,Publics), !.
+	once(recorded('$module','$module'(_TFN,M,Publics),_)),
+	lists:memberchk(N/A,Publics).
 '$predicate_property'(P,Mod,_,number_of_clauses(NCl)) :-
 	'$number_of_clauses'(P,Mod,NCl).