Hi Jan,
cplint makes use of the internal predicate names for tabling, such as ‘p tabled’/n for p/n. Does the latest implementation change the wrapper predicate names? If so, how?
Fabrizio
Hi Fabrizio,
Yes. The latest version no longer has a wrapper predicate. Instead, it use the new wrap_predicate/4 way to create the wrapper. If my guess is that you are using assert/retract, simply do so on the tabled predicate as on any other predicate.