Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

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:

Program Development in Computational Logic, pages pp. 341-376. Springer Verlag, LNCS 3049.

More information about how partial deduction is controlled can be found in:

Theory and Practice of Logic Programming 2805(4&5):pp. 461-515.

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.