diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

allow reconsult of tabled predicates

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-12-16 15:11:30 +00:00
parent e4fbd39cab
commit 51535a86ce
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pl/tabling.yap
View File

@ -130,6 +130,9 @@ table(Pred) :-
'$set_table'(Mod,PredFunctor,PredModeList) :- '$set_table'(Mod,PredFunctor,PredModeList) :-
'$undefined'(PredFunctor,Mod), !, '$undefined'(PredFunctor,Mod), !,
'$c_table'(Mod,PredFunctor,PredModeList). '$c_table'(Mod,PredFunctor,PredModeList).
'$set_table'(Mod,PredFunctor,PredModeList) :-
'$flags'(PredFunctor,Mod,Flags,Flags),
Flags /\ 0x00000040 =:= 0x00000040, !.
'$set_table'(Mod,PredFunctor,PredModeList) :- '$set_table'(Mod,PredFunctor,PredModeList) :-
'$flags'(PredFunctor,Mod,Flags,Flags), '$flags'(PredFunctor,Mod,Flags,Flags),
Flags /\ 0x1991F8C0 =:= 0, Flags /\ 0x1991F8C0 =:= 0,