Dif/2 and tabling - doesn't mix?

Help!
1

Hello,

I noticed that when I use dif/2 instead of X \= Y, i am getting an error with tabling, such as: " …contains attributed variables"

Is it true that dif/2 (which uses attribute variables) and tabling doesn’t mix …

thanks,

Dan

2

I also stumbled into this - kind of - when attempted to phrase_from_file a tabled DCG.
Thinking about it, it’s pretty reasonable…

3

Combining tabling and constraints is possible. XSB does it. Whether it is complete or comes with limitations, I do not know. Tabling involves term copying and constraints and term copying are bad friends. As is though, SWI-Prolog’s answer tables (implemented as tries) cannot represent attributes.

1 Like