The ECCE Partial Deduction System
Ecce is an automatic online program specialiser for pure Prolog programs.
It takes a pure Prolog program and a query of interest and then specialises
the program for that particular query.
Ecce is maintained by
It is based on research and work by Michael Leuschel, Bern Martens, Jesper Jorgensen,
Danny De Schreye, Morten Heine Sorensen, Robert Glueck, Andre de Waal,
and Stefan Gruner.
The source code is now available at Github.
An online version is available at http://wyvern.cs.uni-duesseldorf.de/ecce/index.php.
Ecce is implemented in
It was ported from Prolog by BIM and should still be considered a
Please report any bugs you find.
An older source release (February 3rd 2004) can be found
You can download the sources of the previous version of the system
Please consult the Read-Me File
To get the very latest version, please contact me.
There are now also
precompiled versions (for Mac OSX,
Linux, Windows) of the latest version available for download.
They are called Ecce-Light, as one cannot change the unfolding
and generalisation settings, but one does not need a SICStus Prolog license
and the tool should be straightforward to use, via its Tcl/Tk interface.
Pointers to the Research
The implementation of the ECCE system is mainly based on the following
The following paper describes experiments done with the system
on the DPPD
library of benchmarks:
Ecological Partial Deduction:
Preserving Characteristic Trees Without Constraints.
Global Control for Partial Deduction through Characteristic Atoms and Global Trees.
Michael Leuschel and Bern Martens.
Controlling Generalisation and Polyvariance in Partial Deduction of
Normal Logic Programs.
Michael Leuschel, Bern Martens, and Danny De Schreye.
ACM Transactions on Programming
Languages and Systems (Toplas), volume 20(1), pages 208-258.
A Conceptual Embedding of
Folding into Partial Deduction: Towards a Maximal Integration.
Michael Leuschel, Danny De Schreye, and Andre de Waal.
Controlling Conjunctive Partial Deduction of Definite Logic Programs.
Robert Glück, Jesper Jørgensen, Bern Martens and Morten H. Sørensen.
- Redundant Argument Filtering of Logic Programs.
Michael Leuschel and Morten H. Sorensen
- Conjunctive Partial Deduction:
Algorithms, and Experiments.
Danny De Schreye, Robert Glück, Jesper Jørgensen,
and Morten Heine Sørensen
The Journal of Logic Programming 41, pages 231-277.