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