Hello, I've been trying to use the predicate insetdomain(?Set, ?CardSel, ?ElemSel, ?Order) from lib(fd_sets), but couldn't succeed. For the first example from the Eclipse manual I am getting this: 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 #35, Thu Sep 27 00:25 2001 [eclipse 1]: lib(fd_sets). Yes (0.08s cpu) [eclipse 2]: X::[]..[1,2,3], insetdomain(X,_,_,_), writeln(X), fail. type error in insetdomain([1, 2, 3], any, small_first, in_notin) Abort [eclipse 3]: Cheers, SebastianReceived on Tue Oct 16 16:45:15 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:10 PM GMT GMT