Hi, I'm not sure if I'm right with my statement below and if so, whether you consider this a bug. the current (5.3) reference manual states +IterationSpecs do +Goals Fail Conditions Fails if one of the Goals fails, or if two IterationSpecs specify a different number of iterations. Here is what I get: bash$ eclipse ECLiPSe Constraint Logic Programming System [kernel] Copyright Imperial College London and ICL Certain libraries copyright Parc Technologies Ltd GMP library copyright Free Software Foundation Version 5.3 #41, Sat Nov 24 13:49 2001 [eclipse 1]: ( foreach(3,[]) do true). Yes (0.00s cpu) [eclipse 2]: (foreach(3,[1,2]) do true). No (0.00s cpu) Shouldn't the second query succeed, too? Machine type: Sun Ultra 10 Operating system name and version number: Solaris -- Ulrich Scholz scholz@informatik.tu-darmstadt.de http://www.intellektik.informatik.tu-darmstadt.de/~scholz/Received on Sun Dec 16 16:51:23 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:12 PM GMT GMT