By default the FD solver is installed.
If you have a source distribution (.tar.gz) you can look at the examples
in the directory called examples/ExamplesFD.
Anyway, here is the code of send+more
send(LD):-
LD=[S,E,N,D,M,O,R,Y],
fd_all_different(LD),
fd_domain(LD,0,9),
fd_domain([S,M],1,9),
1000*S+100*E+10*N+D + 1000*M+100*O+10*R+E
#= 10000*M+1000*O+100*N+10*E+Y,
fd_labelingff(LD).
I am using 1.2.19 on Gnu/Linux.
THe documentation says:
"The finite domain (FD) constraint solver extends Prolog with constraints
over FD. This facility is available if the FD part of GNU Prolog has been
installed."
However, I can not determine if my build has FD part of GNU Prolog installed.
The README that comes with the distribution does not say what flag I should
use (such as in --enable=FD ??). Can someone pl. point me to documentation
that may make this more clear?
Also, I am trying to find the classical
SEND + MORE = MONEY expressed in gnu prolog so that I can try it out.
_______________________________________________
Users-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/users-prolog
