Hi, the CLP in GNU prolog seems to have 7 different heuristics in
order to choose the order of variables to enumerate. Is it possible to
force another order (by specifying all the variables in an arbitrary
order) ?

--
QlpoOTFBWSZTWcwiz1oAAC1fgHQTwOeABVAABAT7Zp4lMAC4hET1DQNGhoBoyGaQYyaZAyaG
QZGmBGDTJE01NMTJkZDQaAUhm7W8Wu9WYGQZg2Vd+s8PsaiAZJoF5jaDsEQUaCEQHgnxdw5H
siRDfoqLyg4gHe6/TCLCgm0gY3zjVSswgknIk85qBbV7GNcqz8yWcUOcrT4SlYICcQUgKxM2
gumlEIhPgCSCC4gUHVb3pREx/vdlGkW5r2P5Z+LuSKcKEhmEWetA | mimencode + bzip2

found in the documentation of GNU prolog :

**********************************************************

FD labeling options: Options is a list of labeling options. If this list
contains contradictory options, the rightmost option is the one which
applies. Possible options are:

      variable_method(V): specifies the heuristics to select the variable
to enumerate:

            standard: no heuristics, the leftmost variable is selected.

      The default value is standard.
*************************************************************

The default value is standard (when you're asking for fd_labeling(L) )

it will label the variables in the order of L

so if you want another order create a predicate changeorder(L,L2) and ask
for changeorder(L,L2), fd_labeling(L2).

Jean Michel LECONTE
http://www.lambda-systems.com