The ALF system is an efficient implementation of the combination of resolution, narrowing, rewriting and rejection. Similarly to Prolog, ALF uses a backtracking strategy corresponding to a depth-first search in the derivation tree. ALF programs are compiled into instructions of an abstract machine. The abstract machine is based on the Warren Abstract Machine (WAM) with several extensions to implement narrowing and rewriting. In the current implementation programs of this abstract machine are executed by an emulator written in C.

A detailed user manual describing the language and the use of the system ALF is available.

You can get the ALF System for free, but if you take the system it is assumed that you agree with the license agreement. It would be nice if you send us your name, institution and email address so that we can inform you about updates and other things concerning the ALF system.

More information about getting and installing the ALF system can be found >here<.

Contact person: Michael Hanus

Available: PDF

**Compiling Logic Programs with Equality**

*2nd International Workshop on Programming Language Implementation and
Logic Programming* (PLILP'90), Springer LNCS 456, pp. 387-401, 1990

Available:
Abstract
DVI
BibTeX-Entry

**Efficient Implementation of Narrowing and Rewriting**

*International Workshop on Processing Declarative Knowledge* (PDK'91),
Springer LNAI 567, pp. 344-365, 1991

Available:
Abstract
DVI
BibTeX-Entry

**Improving Control of Logic Programs by Using Functional Logic Languages**

*4th International Symposium on Programming Language Implementation and Logic Programming* (PLILP'92), Springer LNCS 631, pp. 1-23, 1992

Available:
Abstract
DVI
BibTeX-Entry

**Incremental Rewriting in Narrowing Derivations**

*3rd International Conference on Algebraic and Logic Programming*
(ALP'92), Springer LNCS 632, pp. 228-243, 1992

Available:
Abstract
DVI
BibTeX-Entry

**A Debugging Model for Functional Logic Programs** (with Berthold Josephs)

*5th International Symposium on Programming Language Implementation
and Logic Programming* (PLILP'93), Springer LNCS 714, pp. 28-43, 1993

Available:
Abstract
DVI
BibTeX-Entry

**Towards the Global Optimization of Functional Logic Programs**

*5th International Conference on Compiler Construction* (CC'94),
Springer LNCS 786, pp. 68-82, 1994

Available:
Abstract
DVI
BibTeX-Entry

**Mode Analysis of Functional Logic Programs** (with Frank Zartmann)

*1st International Static Analysis Symposium* (SAS'94), Springer LNCS 864, pp. 26-42, 1994

Available:
Abstract
DVI
BibTeX-Entry

Michael Hanus