It seems like the lds feature of search/6 in fd_search is broken. here is my program: :- lib(fd). :- lib(fd_search). go(L):- L :: [0,1], length(L, N), search(L, 0, input_order, indomain, lds(N), []). ---- here is the result tempest: /usr/local/eclipse/5.2/bin/sparc_sunos5/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 #6, Mon Jun 11 14:12 2001 [eclipse 1]: [lds]. fd_domain.eco loaded traceable 0 bytes in 0.05 seconds fd_arith.eco loaded traceable 0 bytes in 0.17 seconds fd_util.pl compiled traceable 2120 bytes in 0.02 seconds fd_chip.pl compiled traceable 4712 bytes in 0.03 seconds fd_elipsys.pl compiled traceable 11028 bytes in 0.03 seconds fd.eco loaded traceable 0 bytes in 0.29 seconds daVinci.ecl compiled traceable 5072 bytes in 0.02 seconds fd_search.ecl compiled traceable 30096 bytes in 0.07 seconds lds.pl compiled traceable 244 bytes in 0.37 seconds Yes (0.38s cpu) [eclipse 2]: go([A, B, C]). 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 #6, Mon Jun 11 14:12 2001 [eclipse 1]: Developer, Parc Technologies Limited josh.singer@parc-technologies.com http://www.parc-technologies.com 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.Received on Fri Jun 15 15:02:36 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:07 PM GMT GMT