Web Interface for Logen - DTD Test
LOGEN is an offline
partial evaluation
system for
Prolog written using the
so called "cogen approach".
Basically, the cogen is a system which:
- 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.
- the generating extension can be used to specialise the program in
a very efficient manner.
Try out Logen without having to install it on your machine
by clicking on the picture above.
Download Logen
The logen system is still available for
download at the
old web
site in Southampton.
Papers
The research behind the Logen system is described in the following
papers:
A paper that shows how to use the Logen system to specialize interpreters:
More information about how partial deduction is controlled
can be found in:
Various other papers that use or improve Logen:
Bibtex Enteries
People
The Logen system was initially developed by Jesper Jørgensen
and Michael Leuschel in 1996.
Since then many people have helped to develop, improve, and maintain
the system.
Notably,
Stephen-John Craig,
and also
Dan Elphick,
John Gallagher,
Kim Henriksen,
Maurice Bruynooghe,
Kostis Sagonas, Armin Rigo.
