Re: how do I build

[Daniel Diaz]

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.