Hi,
I am using the finite domain (FD) constraint solving library of Ciao Prolog 1.10#5. I am trying to solve a system of 10 equations (code directly adapted from GNU Prolog - I attach the Ciao code below). If I use the FD constraint library of SICSTus as well GNU Prolog I correctly obtain the answer
[6,0,8,4,9,3,9].
However, if I use the FD constraint library of Ciao Prolog, I receive a 'no' answer (indicating that this system has no solution).
My code in Ciao Prolog for this benchmark is quite similar to that provided in the file crypta.pl (that is an example file provided in the distribution of the Ciao system).
Is my code incorrect? If the answer is 'no', then, is the unexpected answer due to a limitation of the FD constraint library?
thanks in advance for your attention, best regards, Antonio ================================================
*-------------------------------------------------------------------------*/ /* Benchmark (Finite Domain) */ /* */ /* Name : eq10.pl */ /* Title : linear equations */ /* Original Source: Thomson LCR */ /* Adapted to GNU Prolog by : Daniel Diaz log */ /* Date : September 1992 */ /* */ /* Adapted to Ciao Prolog by : Antonio J. Fernández (Málaga University) */ /* Date : July 2005 */ /* */ /* */ /* A system involving 7 variables and 10 equations */ /* */ /* Solution: */ /* [X1,X2,X3,X4,X5,X6,X7] */ /* [ 6, 0, 8, 4, 9, 3, 9] */ /*-------------------------------------------------------------------------*/
:- use_package(fd). :- use_module(library(prolog_sys), [statistics/2]). :- use_module(library(format)).
q(Ls) :- statistics(runtime,_), eq10(Ls), statistics(runtime,[_, Time]), format("Used ~d milliseconds~n", Time).
eq10(LD):- LD = [X1,X2,X3,X4,X5,X6,X7], LD in 0..10, 0+98527*X1+34588*X2+5872*X3+59422*X5+65159*X7 .=. 1547604+30704*X4+29649*X6,
0+98957*X2+83634*X3+69966*X4+62038*X5+37164*X6+85413*X7 .=. 1823553+93989*X1,
900032+10949*X1+77761*X2+67052*X5 .=. 0+80197*X3+61944*X4+92964*X6+44550*X7,
0+73947*X1+84391*X3+81310*X5 .=. 1164380+96253*X2+44247*X4+70582*X6+33054*X7,
0+13057*X3+42253*X4+77527*X5+96552*X7 .=. 1185471+60152*X1+21103*X2+97932*X6,
1394152+66920*X1+55679*X4 .=. 0+64234*X2+65337*X3+45581*X5+67707*X6+98038*X7,
0+68550*X1+27886*X2+31716*X3+73597*X4+38835*X7 .=. 279091+88963*X5+76391*X6,
0+76132*X2+71860*X3+22770*X4+68211*X5+78587*X6 .=. 480923+48224*X1+82817*X7,
519878+94198*X2+87234*X3+37498*X4 .=. 0+71583*X1+25728*X5+25495*X6+70023*X7,
361921+78693*X1+38592*X5+38478*X6 .=. 0+94129*X2+43188*X3+82528*X4+69025*X7,
labeling(LD).
-------------------------------- Webmail de SATD usando IlohaMail
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------