From 51535a86ce0c35f5626f1514142ab7405c216599 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 16 Dec 2013 15:11:30 +0000 Subject: [PATCH] allow reconsult of tabled predicates --- pl/tabling.yap | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pl/tabling.yap b/pl/tabling.yap index 161f2af99..09ca4b72a 100644 --- a/pl/tabling.yap +++ b/pl/tabling.yap @@ -130,6 +130,9 @@ table(Pred) :- '$set_table'(Mod,PredFunctor,PredModeList) :- '$undefined'(PredFunctor,Mod), !, '$c_table'(Mod,PredFunctor,PredModeList). +'$set_table'(Mod,PredFunctor,PredModeList) :- + '$flags'(PredFunctor,Mod,Flags,Flags), + Flags /\ 0x00000040 =:= 0x00000040, !. '$set_table'(Mod,PredFunctor,PredModeList) :- '$flags'(PredFunctor,Mod,Flags,Flags), Flags /\ 0x1991F8C0 =:= 0,