From 81a24207479cb08949b7be70c65cfc4e733ce437 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 8 Nov 2012 14:07:55 +0000 Subject: [PATCH] hide hidden predicates. --- C/stdpreds.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/C/stdpreds.c b/C/stdpreds.c index ee1a20f5e..c3584da68 100644 --- a/C/stdpreds.c +++ b/C/stdpreds.c @@ -3251,6 +3251,8 @@ cont_current_predicate( USES_REGS1 ) Arity = ArityOfFunctor(f); } } + if (pp->PredFlags & HiddenPredFlag) + return FALSE; return Yap_unify(ARG2,name) && Yap_unify(ARG3, MkIntegerTerm((Int)Arity)); @@ -3311,6 +3313,8 @@ cont_current_predicate_for_atom( USES_REGS1 ) } else if (pp->KindOfPE == PEProp) { PredEntry *pe = RepPredProp(pf); PELOCK(31,pe); + if (pe->PredFlags & HiddenPredFlag) + return FALSE; if (pe->ModuleOfPred == mod || pe->ModuleOfPred == 0) { /* we found the predicate */