Re: [Yap-users] Forall/2 Problem

[Eyal D. <eya...@gm...>]

Yes, they are incompatible. What "coroutining" is is not documented very
well, but in section 1.1 there is the following

"

   - --enable-coroutining=yes gives you support for coroutining, including
   freezing of goals, attributed variables, and constraints. This will also
   enable support for infinite rational trees.

"

XSB Prolog according to its manual supports tabling with attributed
variables, so it would be even nicer if this could be ported to YAP.

Eyal

On Tue, Feb 23, 2016 at 6:11 PM, Edward Schwartz <esc...@ce...> wrote:

> On 02/23/2016 10:07 AM, Eyal Dechter wrote:
> > Clpfd is implemented using attributed variables, I think, so I think
> you'll have the same problem you did with diff/2.
> >
> > Sent from my iPhone
>
> Looking at the source code, clpfd does use attributed variables.  I take
> it then that attributed variables and tabling are incompatible?  Are
> attributed variables considered part of coroutining?
>
> In any case, it would be very nice if such cases could raise an error
> instead of having unexpected behavior for us novice users!
>
> Best,
>
> Ed
>