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,