Hi everybody, I'm still experimenting with the library shadow_cons. It appears to me that it only works with fd but not with fd_sets. Or am I getting something wrong here? Thank you for all your answers and help. Uli bash$ eclipse Version 5.2 #40, Thu Nov 8 00:21 2001 [eclipse 1]: use_module(library(fd)). [eclipse 3]: lib(shadow_cons). [eclipse 4]: X ::1..2,shadow_var(X,fred,Y),Y#<2. X = X{shadow_cons:[fred - Y{[-10000000..1]}], fd:[1, 2]} Y = Y{[-10000000..1]} Delayed goals: my_copy_term(X{shadow_cons:[fred - Y{[-10000000..1]}], fd:[1, 2]}, Y, 'SUSP-_408-susp') Yes (0.00s cpu) [eclipse 5]: lib(fd_sets). while bash$ eclipse Version 5.2 #40, Thu Nov 8 00:21 2001 [eclipse 1]: lib(fd_sets). [eclipse 3]: lib(shadow_cons). [eclipse 4]: intset(X, 1, 2), shadow_var(X,fred,Y), 1 in Y. instantiation fault in get_set_attribute(Y, _375) Abort -- Ulrich Scholz scholz@informatik.tu-darmstadt.de http://www.intellektik.informatik.tu-darmstadt.de/~scholz/Received on Fri Nov 30 13:41:54 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:12 PM GMT GMT