Re: clp(FD) question



Andrey Rybalchenko <first_dot_last_at_epfl_dot_ch> writes:

| ?- X in -1..1, T = (X#=0), #\ T, labeling([], [X]).

Did you mean: T #<=> (X#=0) ?

--
comp.lang.prolog FAQ: http://www.logic.at/prolog/faq/
.