I guess I found a bug with copy_term/3. Bad, it would have come in handy right now. Could you please send me some code to simulate it? Thank you, Uli Example from the manual: scholz@kibo:~> 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.5 #63, Tue Feb 11 00:22 2003 [eclipse 1]: set_flag(output_mode, "QPMV"). Yes (0.00s cpu) [eclipse 2]: copy_term(s(a,X{a},Y, Z{b}), Copy, Metas). undefined variable attribute in trans_meta_in(X_118{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.5 #63, Tue Feb 11 00:22 2003 [eclipse 1]: --- scholz@kibo:~> 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.5 #63, Tue Feb 11 00:22 2003 [eclipse 1]: copy_term(X,Y,Z). calling an undefined procedure copy_term(X, Y, Z) in module eclipse Abort [eclipse 2]: -- Ulrich Scholz scholz@informatik.tu-darmstadt.de http://www.intellektik.informatik.tu-darmstadt.de/~scholzReceived on Thu May 29 19:44:34 2003
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:22 PM GMT GMT