TRtriska·Nov 17, 2019
One very interesting development in this direction is Web Prolog by Torbjörn Lager:
https://github.com/Web-Prolog/swi-web-prolog/raw/master/book...
Quoting from the introduction:
"In particular, we pick the features that make Erlang into an actor programming language, and on top of these we define the concept of a pengine – a programming abstraction in the form of a special kind of actor which closely mirrors the behaviour of a Prolog top-level."
And quoting from Section 1.3 of the current draft:
"Is the actor programming model compatible with the logic programming model, and does the combination of the two models make sense? Yes, we will try to show that the actor programming model of Web Prolog is able to co-exist harmoniously with its logic programming model, and that both models are usable in the same program, with actors used for mod
Read the rest
elling the reactive, deterministic interfaces to the user and other external entities, and with the non-deterministic component behaving as an actor, encapsulating the non-determinism."
Chapter 3 cites your work directly:
"Actors, as specified in (Hewitt et al., 1973), involve entities that have their own mailbox."