Next: About this document Up: Indexing PROLOG Procedures into Previous: Implementation of the


Hassan At-Kaci. The WAM: A (Real) Tutorial. Report 5, Digital, Paris Research Laboratory, January 1990.

H. Benker, J. Beacco, S. Bescos, M. Dorochevsky, Th. Jeffré, A. Pöhlmann, J. Noyé, B. Poterie, A. Sexton, J.C. Syre, O. Thibault, and G. Watzlawik. KCM: A Knowledge Crunching Machine. May 1989.

Harold Boley, Klaus Elsbernd, Hans-Guenther Hein, and Thomas Krause. RFM Manual: Compiling RELFUN into the Relational/Functional Machine. Document D-91-03, DFKI GmbH, 1991.

Harold Boley, Philipp Hanschke, Martin Harm, Knut Hinkelmann, Thomas Labisch, Manfred Meyer, Jörg Müller, Thomas Oltzen, Michael Sintek, Werner Stein, and Frank Steinle. CAD2NC: A Declarative Lathe-Workplanning Model Transforming CAD-like Geometries into Abstract NC Programs. DFKI Document D-91-15, DFKI, P.O. Box 2080, 67608 Kaiserslautern, Germany, November 1991.

Harold Boley. A Relational/Functional Language and Its Compilation into the WAM. SEKI Report SR-90-05, Universität Kaiserslautern, Fachbereich Informatik, April 1990.

J. Clancey, W. Heuristic Classification. Artificial Intelligence, 27:289-350, 1985.

John Gabriel, Tim Lindholm, E. L. Lusk, and R.A. Overbeek. A Tutorial on the Warren Abstract Machine for Computational Logic. Report ANL-84-84, Argonne National Laboratory, Argonne, Illinois 60439, June 1985.

Hans-Günther Hein. Adding WAM-Instructions to support Valued Clauses for the Relational/Functional Language RELFUN. SEKI Working Paper SWP-90-02, Universität Kaiserslautern, Fachbereich Informatik, December 1989.

Hans-Günter Hein. Propagation Techniques in WAM-based Architectures - The FIDO-III Approach. DFKI Technical Memo TM-93-04, DFKI GmbH, October 1993.

Timothy Hickey and Shyam Mudambi. Global Compilation of Prolog. Journal of Logic Programming, 7:193-230, 1989.

Thomas Krause. Klassifizierte relational/funktionale Klauseln: Eine deklarative Zwischensprache zur Generierung von Register-optimierten WAM-Instruktionen. SEKI Working Paper SWP-90-04, Universität Kaiserslautern, Fachbereich Informatik, Mai 1990.

Thomas Krause. Globale Datenflußanalyse und horizontale Compilation der relational-funktionalen Sprache RELFUN. Diplomarbeit, DFKI D-91-08, Universität Kaiserslautern, FB Informatik, Postfach 3049, D-6750 Kaiserslautern, März 1991.

Sven Olof Nystrøm. NyWam - A WAM Emulator Written in LISP. 1985.

Werner Stein and Michael Sintek. A Generalized Intelligent Indexing Method. In Workshop ``Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen'' in Bad Honnef, 12/92-1. Institute of Applied Mathematics and Computer Science, University of Münster, May 1992.

Werner Stein. Indexing Principles for Relational Languages Applied to PROLOG Code Generation. Technical Report Document D-92-22, DFKI GmbH, 1992.

David H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October 1983.

Michael Sintek -