I think its comparison of circular terms. Both the following examples don't work. The first loops forever the 2nd overflows the C stack. Could compariso be re-coded to use the global stack so that if it is called eclipse exits gracefully? Stefano - more exact tests below. bash-2.03$ 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.2 #7, Thu Jun 14 02:14 2001 [eclipse 1]: P = p(P),Q = p(Q),sort(0,=<,[P,Q],L). ^C interruption: type a, b, c, e, or h for help : ? abort Aborting execution ... Abort [eclipse 2]: P = p(P,1),Q=p(Q,1),sort(0,=<,[P,Q],L). Segmentation violation - possible reasons are: - a faulty external C function - certain operations on circular terms - machine stack overflow - an internal error in ECLiPSe Aborting execution.... *** ECLiPSe fatal error: reset/0 called 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.2 #7, Thu Jun 14 02:14 2001 2nd Floor The Tower Building EMAIL: Stefano.Novello@parc-technologies.com 11 York Road TEL: +44 20 72614017 SE1 7NX LONDON FAX: +44 20 72614001 This e-mail message is for the sole use of the intended recipient(s) - its contents are the property of Parc Technologies Limited (or its licensors) and are confidential. Please do not copy, review, use (except for the intended purposes), disclose or distribute the e-mail or its contents or allow anyone else to do so without our prior permission. Parc Technologies Limited does not guarantee that this e-mail has not been intercepted and amended nor that it is virus-free. You should carry out your own virus checks before opening any attachment. Any opinions expressed in this e-mail message are those of the author and not necessarily Parc Technologies Limited. Limited.Received on Fri Jun 22 15:00:26 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:08 PM GMT GMT