discrepancy between platforms

Timothy Perrigo <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.