Re: Networking in Prolog - a survey

On May 21, 6:49 pm, Alessio Stalla <alessiosta...@xxxxxxxxx> wrote:

avoid that concern for now. Of course that doesn't really solve the
problem in general since the code triggered by events will eventually
have to cooperate with code running on the main thread, but in my
limited scenario, in which event handling will simply be some limited
processing of the received data and possibly an assert to augment the
current theory, that problem isn't influent.

Alessio

I think that that assert could be problematic. What if one interpreter
loop unifies against the current theory, then another asserts a new
fact, then the original unifies against the new theory and gets a
different result? That is what you want, but how to make sure that it
can only happen in predictable ways? Will be interesting to see what
solutions you come up with.

Regards,

Rupert
.