19 Sep
2013
19 Sep
'13
12:26 a.m.
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