Re: discrepancy between platforms

[Conrad Scott]

Dear Timothy,

This looks like the same problem I was having on Mac OS X (but might 
not be -- I haven't got a copy of gprolog installed right now). My 
'solution' was to re-compile gprolog with the optimization set to -O1 
(i.e. lower than the default level).  It worked fine then for 
everything I was doing.

I reported this on the bugs-prolog list back on 23 July last year.

Best wishes,

Conrad

On 9 Feb 2005, at 20:52, Timothy Perrigo wrote:

> Using gprolog version 1.2.16 on Mac OS X 10.3.7 (gcc version 3.3), the 
> following program fails to return a solution
>
> sendmore([S,E,N,D], [M,O,R,E], [M,O,N,E,Y]) :-
>         fd_domain([S,E,N,D,M,O,R,Y], 0, 9),
>         fd_all_different([S,E,N,D,M,O,R,Y]),
>         S #\= 0,
>         M #\= 0,
>         Send #= 1000*S + 100*E + 10*N + D,
>         More #= 1000*M + 100*O + 10*R + E,
>         Money #= 10000*M + 1000*O + 100*N + 10*E + Y,
>         Send + More #= Money,
>         fd_labeling([S,E,N,D,M,O,R,Y]).
>
> test(A, B, C) :-
>         statistics(runtime,_),
>         sendmore(A,B,C), statistics(runtime,[_,Y]),
>         write('time : '), write(Y), nl.
>
> | ?- test(A,B,C).
>
> no
> | ?-
>
> The same program runs successfully on a windows machine, however.  A 
> trace revealed that the call to fd_labelling fails (same behavior with 
> fd_labellingff).  Am I missing something, or is there a problem with 
> the OS X version?
>
> Tim
>
>
>
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/users-prolog