for Iteration bug

From: Mark Wallace <Mark.Wallace_at_infotech.monash.edu.au>
Date: Wed 02 Mar 2005 09:42:34 PM GMT
Message-id: <4226334A.6080606@infotech.monash.edu.au> 
Hi,
In ECLiPSe Version 5.8 #78 (and earlier ECLiPSe releases), the following 
goal fails to halt:
?- ( for(I,1,2), for(J,2,4) do writeln(I-J) )
   Cheers
       Mark

-- 
Mark Wallace
Faculty of Information Technology
Monash University
Building 63, 
Clayton
Vic 3800
Australia
Tel: +61 3 9905 1367
Fax: +61 3 9905 8731
Received on Wed Mar 02 21:43:36 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:24 PM GMT GMT