Hello, there seems to be a problem with the occur_check flag in ECLiPSe. It work perfectly on all normal matching operations, but when I use the member predicate I still get cyclical terms. Regards Robi Malik ========================================================================== Machine type: DELL Inspiron 4100 Operating system name and version number: Linux 2.4.19 #1 Thu Nov 21 17:00:17 NZDT 2002 i686 GNU/Linux [Debian unstable] If graphics is involved, X version number, X server type and window manager: (not applicable) Your .eclipserc and ECLIPSE... environment variables, if used: (not used) A script which causes the bug to appear, enhanced by comments where necessary (start from the ECLiPSe banner unless the option -e is used): 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.5 #63, Tue Feb 11 00:22 2003 [eclipse 1]: set_flag(occur_check,on). Yes (0.00s cpu) [eclipse 2]: X = f(X). No (0.00s cpu) [eclipse 3]: member(X, [f(X)]). X = f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(...)))))))))))))))))))) Yes (0.00s cpu) =========================================================================== Robi Malik Phone: +64 (0)7 838 4796 Department of Computer Science Fax: +64 (0)7 858 5095 The University of Waikato e-Mail: robi@cs.waikato.ac.nz Hamilton, New Zealand http://www.cs.waikato.ac.nz/~robi/Received on Wed Mar 05 07:53:54 2003
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:20 PM GMT GMT