Clarifications Required

Hi

I would like to know the exact difference between the predicates
"indomain" and "labeling"

In which situations should each of these be used ?

In case I have a list of varibles XList= [X1,X2,X3]
and J is sum(XList)
If I want to minimize J
which should I use
minimize(indomain(XList), XList,XList,J)
or
minimize(labeling(XList), XList,XList,J)


Thanks

Ranjana Deshpande





[ Moderator's note:

Here is the definition of labeling/1:

labeling([]).
labeling([X|Xs]) :-
	indomain(X),
	labeling(Xs).

indomain is for a single domain variable,
labeling is for a list of them.
]