PProlog A prolog for plan9


This is the website for PProlog, a new prolog implementation written in C on and for plan 9 (9front specifically). Work started in december 2020 due to the author's need for a prolog system on 9front. It is pure experimentation and the code might be bad in more than a few places.

NOTE: There is no development currently, and it is in a kinda broken state after a failed attempt of adding modules.



At this moment the system works OK but it has very few builtin predicates and much of what people expect from a working prolog system is still missing.

The list of builtins as of January 13, 2021 is:

And the following predicates are implemented in the standard library:

and many more all listed here.


A picture of pprolog in action