GitHub - thomasl/reform-prolog: Reform Prolog (original) (raw)
This is the source code repository for Reform Prolog, a recursion-parallel Prolog implementation. This release is not maintained and we have not tried to build or run it in a long time -- it is provided mainly for historical interest.
Development stopped in 1996.
Authors: Johan Bevemyr Patric Hedlin Thomas Lindgren
Project manager: HÃ¥kan Millroth
Licence: GPL.
Overview:
Documentation/ LaTeX and postscript docs Compiler/ Sources of compiler Luther/ Sources of emulator
We used SICStus Prolog during development, but Luther itself might be powerful enough to recompile itself.