A bug?

From: Anthony Karageorgos <mcaihak2_at_co.umist.ac.uk>
Date: Fri 28 Sep 2001 11:37:49 AM GMT
Message-ID: <BJEEIOCFNNCBEMBPJNENEELDCHAA.mcaihak2@co.umist.ac.uk>
Hi all,

I am attaching an example of a problem I met recently. After obtaining all
the possible solutions by backtracking I still get the message: 'More (0.00s
cpu)'

When I select 'More' then ECLiPSe crashes.

------------------------------------
test_n1(N,X) :-
    test_n(N,X),
    labeling(X).

test_n(0,[]).
test_n(Sum,[Xo|XRest]) :-
      Xo :: 1..5,
      Sum1 #= Sum - Xo,
      test_n(Sum1,XRest).

------------------------------------

Could anyone tell me where the problem is?

Thanks a lot.

Anthony

Anthony Karageorgos

Room L14
Dept. of Computation
UMIST
Manchester M60 1QD
UK

tel. +44-161-2003306
fax. +44-161-2003324

e-mail: mcaihak2@co.umist.ac.uk
Received on Fri Sep 28 12:38:16 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:10 PM GMT GMT