Re: Is the Prolog runtime re-entrantable in Prolog --> C --> Prolog procedure?

Daniel Diaz <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
Hi,

sorry for the late reply. There are possibly reentrancy issues with gprolog. However, your example is too complex as is to be used for debugging purpose. Could you minimize it as most as possible so I could try to understand what happens ?

Thank you

Daniel


Le 24 juil. 2014 à 20:24, Shuai Wang <[email protected]> a écrit :

> Hello prolog users,
> 
> 
> I just asked a question in this email list about 
> "why failed in process of Prolog call C call Prolog"
> 
> Now after several test, I have a more general question which confused 
> me...
> 
> I myself have some experience about using C call Prolog and 
> using Prolog to call C in GNU-Prolog, however, I have several 
> strange problems in recent test of procedure below:
> 
>      C -- call -- > Prolog -- call --> C -- call --> Prolog 
>      -- return --> C -- return --> Prolog (fail..)
> 
> So basically, is the Prolog runtime reentrantable in Prolog --> C --> Prolog
> procedure..?
> 
> 
> I attached my test code in the email, in this code, the weird thing is that return value of TMP  in  Prolog function foo  can not be binded.
> 
> BTW:  Is it something related to the arguments of 
> Pl_Query_Begin; Pl_Query_End ?
> 
> 
> Best,
> Shuai
> 
> 
> -- 
> Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé. <simple.cil.c><babel.c><babel.pl><Makefile>_______________________________________________
> Users-prolog mailing list
> [email protected]
> https://lists.gnu.org/mailman/listinfo/users-prolog


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.

_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.