__  __
 _ __  _ __ ___  / _|/ _|
| '_ \| '__/ _ \| |_| |_
| |_) | | | (_) |  _|  _|
| .__/|_|  \___/|_| |_|
|_|

A web interface is also available

Try also CPD lite, a lightweight approach to conjunctive partial evaluation for Prolog


proff: a Prolog offline partial evaluator (v1.2)

This is a simple implementation of an offline partial evaluator for Prolog programs. The current implementation contains 6 files:

A technical description of the size-change analysis, the annotation procedure and the offline partial evaluator can be found in this paper.

The source code of the partial evaluator can be downloaded here: proff.tgz. Once you have downloaded this file, you should unpack it, e.g.

tar xvfz proff.tgz
so that a folder proff is created which contains the source files of the partial evaluator and a subfolder examples with several simple examples. In order to run the partial evaluator, you can follow these steps: