Hi! me again ;-) I just observed some unexpected eclipse behaviour. Consider this: :- set_flag(occur_check, on). :- lib(lists). %% no change if included or not ?- set_flag(occur_check, on), member(p(X,X),[p(X,f(X))]), writeln(p(X,X)). It gives: [~] eclipse -b test.pl p(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(...))))))))))))))))))), f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(...)))))))))))))))))))) 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 So, the occur_check declaration is definitely not honoured! I am pretty sure it is honoroured in Eclipse version 4.2 Also delete/3 is affected, and probably many other system predicates. Did I miss something here? How can I activate the occur check for system predicates like member/2 and delete/3? Thanks for all answers, Cheers Peter -- Peter Baumgartner peter@uni-koblenz.de Tel. +49 261 287-2777 http://www.uni-koblenz.de/~peter/Received on Mon Jun 24 17:47:51 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:16 PM GMT GMT