RFM Manual: Compiling RELFUN into the Relational/Functional Machine

Harold Boley, Klaus Elsbernd, Hans-Günther Hein, Thomas Krause

DFKI DFKI Documents (D) 91-03 1991.


RELFUN's classifier produces a declarative clause language; its code generator optimizes target code for an underlying WAM emulator, called NyWAM. The parts are glued together by RELFUN's user interface. All intermediate steps use explicit LISP S-expression representations, which can be displayed. The software is part of a LISP-based compilation laboratory for relational/functional languages.

D-91-03.pdf (pdf, 2 MB)

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence