References

AK90

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

BBB+89

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.

BEHK91

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.

BHH+91

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.

Bol90

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

Cla85

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

GLLO85

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.

Hei89

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.

Hei93

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

HM89

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

Kra90

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.

Kra91

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.

Nys85

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

SS92

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.

Ste92

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

War83

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