Dear Jan,

It is clearly a bug. We corrected it in our internal repository. A new development version included the patch will be available very soon.

Regards,

Remy

Dear All,

I am consulting a Prolog text with:

:- use_package(clpfd).

:- op(700, xfx, ins).
[] ins R.
[X|Y] ins R :- X in R, Y ins R.

But it doesn't work as expected:

?- [X,Y] ins 9..10, label([X,Y]).
no

Possible to make it work?

Bye

---

Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users