# Dif/2 and tabling - doesn't mix?

**URL:** <https://swi-prolog.discourse.group/t/dif-2-and-tabling-doesnt-mix/3611>\
**Category:** Help!\
**Created:** [February 16, 2021, 6:06pm UTC](https://swi-prolog.discourse.group/t/dif-2-and-tabling-doesnt-mix/3611 "2021-02-16T18:06:38Z")\
**Posts on this page:** 1\
**Showing post:** 3

<div class="post-metadata">

**Author:** ![jan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jan/32/4_2.png) [@jan](https://swi-prolog.discourse.group/u/jan)\
**Post date:** [February 17, 2021, 7:41am UTC](https://swi-prolog.discourse.group/t/dif-2-and-tabling-doesnt-mix/3611/3 "2021-02-17T07:41:47Z")

</div>

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.

---

_[View the full topic](https://swi-prolog.discourse.group/t/dif-2-and-tabling-doesnt-mix/3611)._