Web Prolog -- the second round

Discussion
1

Hi all,

Almost seven years have passed since I first posted here about my ideas around Web Prolog – a profile of Prolog that features Erlang-style concurrent programming, which could potentially allow different Prolog implementations to talk to each other over the Web.

During the last five years, after retiring from my position at the University of Gothenburg, the project has grown into both a 350-page book draft and a fairly comprehensive online demonstrator, with links to GitHub repositories containing the relevant code.

For a long time I did not think I would be able to finish something worth showing to others, but thanks in part to LLMs – mostly Claude, but also ChatGPT – I now believe I have something reasonably presentable.

The project homepage is here:

I would be very grateful for any thoughts, comments, criticism, or suggestions you might have — especially from the perspective of SWI-Prolog, interoperability between Prolog systems, and the future of Prolog on the Web.

PS. The online demonstrator is still a little brittle, so please do not be surprised if it is temporarily down. I will try to keep it alive over the next few days.

Best regards,
Torbjörn

3

Hi Torbjörn, that is a pretty large and interesting undertaking! Just curious, would the Ciao Prolog web version (see, e.g., the Ciao Prolog Playground - Ciao Prolog Playground for an application) also serve as a node there?

4

Hi Manuel,

Yes, I think that would work, either as a browser runtime (which I don’t refer to as a node) or (maybe) as a node.js application?

Actually, this morning I instructed Claude to implement a simple node in Ciao Prolog, see Proofs-of-Concept.