Hi there, I just would like to say that I have switched to the new foreign C interface in CVS (i.e., I now #include <Yap/YapInterface.h> instead of <Yap/c_interface.h>) and everything works great. Well done! All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it