I have temporarily included your code into our YAP module (see near the end of http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... It seems that the external predicates are not behaving as expected. I enclose under the signature the log of a gdb session. Please let me know what should I do to help in identifying the problem.
Hi Roberto.
First, are you using the very latest CVS version? I uploaded several changes. Just to be sure.
If so, what is the OS/compiler you are using?
P.S. Very recently, a problem with the exception mechanism of GNU Prolog was identified. Roughly speaking, to make things work both GNU Prolog and foreign code have to be compiled with -fomit-frame-pointer, or both of them have to be compiled without using that option. Does this ring a bell?
Actually, I do the opposite: I always compile the interface with frame pointer active. Strange.
Cheers,
Vitor