This is the old Logen home page.
The new one with precompiled binaries and a
graphical user interface is
The LOGEN Offline Partial Evaluation System
LOGEN is an offline partial evaluation system for Prolog written using the
so called "cogen approach".
Basically, the cogen is a system which:
Fore details, please have a look at:
- based upon an annotated version of the program to be specialised
produces a specialised partial evaluator for that program. This partial
evaluator is called a generating extension.
- you can then use the generating extension to specialise the program in
a very efficient manner.
Specialisation in Prolog Using a
Hand-Written Compiler Generator.
Michael Leuschel and Jesper Jørgensen.
LOGEN is implemented in
It has been jointly developed by myself and Jesper Jorgensen.
The system should still be considered a
You can download the latest verion of the system
here (tar'ed) or
here (not tar'ed).
Please consult the Read-Me File
Note: the distribution now also contains the traditional
partial evaluator LIX, which works on the same annotations as LOGEN.