Skip to main content Skip to main navigation


RFM Manual: Compiling RELFUN into the Relational/Functional Machine

Harold Boley; Klaus Elsbernd; Hans-Günther Hein; Thomas Krause
DFKI, DFKI Documents (D), Vol. 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.