by Harold Boley, Klaus Elsbernd, Hans-Günther Hein, Thomas Krause
RFM Manual: Compiling RELFUN into the Relational/Functional Machine
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.
This document is available as PDF-File.
The next abstract is here, and the previous abstract is here.
Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.