GitHub - thomasl/reform-prolog: Reform Prolog

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
CVS		CVS
Compiler		Compiler
Documentation		Documentation
Luther		Luther
Licence		Licence
README		README
export_release		export_release
ftp_release		ftp_release
make_release		make_release
tag_release		tag_release

Repository files navigation

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.