References

At-Kaci1990

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

Benker et al.1989

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.

Boley and Richter1991

Harold Boley and Michael M. Richter, editors. Proceedings of the International Workshop on Processing Declarative Knowledge (PDK'91), number 567 in Lecture Notes in Artificial Intelligence (LNAI). Springer-Verlag, Berlin, Heidelberg, 1991.

Boley et al.1991

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.

Boley et al.1993

Harold Boley, Klaus Elsbernd, Michael Herfert, Michael Sintek, and Werner Stein. RELFUN Guide: Programming with Relations and Functions Made Easy. Document D-93-12, DFKI, July 1993.

Boley1986

Harold Boley. RELFUN: A Relational/Functional Integration with Valued Clauses. SIGPLAN Notices, 21(12):87-98, December 1986.

Boley1991

Harold Boley. A Sampler of Relational/Functional Definitions. DFKI Technical Memo TM-91-04, DFKI, March 1991. Second, Revised Edition July 1993.

Boley1992

Harold Boley. Extended Logic-plus-Functional Programming. In Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, LNAI. Springer, 1992.

Debray and Warren1990

Saumya K. Debray and David S. Warren. Towards Banishing the Cut from Prolog. IEEE Transactions on Software Engineering, 16(3):335-349, March 1990.

DeGroot and Lindstrom1986

D. DeGroot and G. Lindstrom, editors. Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986.

Dorochevsky et al.1991

Michael Dorochevsky, Jaques Noyé, and Olivier Thibault. Has Dedicated Hardware for Prolog a Future? In H. Boley and M. M. Richter, editors, Processing Declarative Knowlege, number 567 in Lecture Notes in Artificial Intelligence, pages 17-31. Springer-Verlag, July 1991.

Ershov1980

A.P. Ershov. Mixed Computation: Potential Applications and Problems for Study. In Mathematical Logic Methods in AI Problems and Systematic Programming, Part 1, pages 26-55. Vil'nyus, USSR, 1980. (In Russian).

Futamura1971

Y. Futamura. Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler. Systems, Computers, Controls, 2(5):45-50, 1971.

Gabriel et al.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.

Hall1995

Victoria Hall. Integration von Sorten als ausgezeichnete, taxonomische Prädikate in eine relational-funktionale Sprache. Document D-95-04, DFKI Kaiserslautern, March 1995.

Hanus1991

Michael Hanus. Efficient Implementation of Narrowing and Rewriting. In Boley and Richter BoleyRichter91.

Haraldsson1977

A. Haraldsson. A Program Manipulation System Based on Partial Evaluation. PhD thesis, Linköping University, Sweden, 1977. Linköping Studies in Science and Technology Dissertations 14.

Henderson1980

Peter Henderson. Functional Programming - Application and Implementation. Series in Computer Science. Prentice-Hall, Englewood Cliffs, NJ, 1980.

Jones et al.1989

N.D. Jones, P. Sestoft, and H. Søndergaard. Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. Lisp and Symbolic Computation, 2(1):9-50, 1989.

Kleene1952

S.C. Kleene. Introduction to Metamathematics. Princeton, NJ: D. van Nostrand, 1952.

Krause1991

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, March 1991.

Kurozumi1992

Takashi Kurozumi. Overview of the Ten Years of the FGSC Project. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 9-19, ICOT, Japan, 1992. Association for Computing Machinery.

Lloyd1987

John W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg, New York, 1987.

Lock1993

Hendrik C. R. Lock. The Implementation of Functional Logic Programming Languages. GMD-Bericht Nr. 208. R. Oldenbourg Verlag, 1993.

McCarthy et al.1962

John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart, and Michael I. Levin. LISP 1.5 Programmer's Manual. The M.I.T. Press, August 1962.

Nilsson1993

U. Nilsson. Towards a Methodology for the Design of Abstract Machines. Journal of Logic Programming, 16(1, 2):163-189, 1993.

Nystrøm1985

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

Robinson1985

J. A. Robinson. Beyond LOGLISP: Combining Functional and Relational Programming in a Reduction Setting, April 1985.

Sintek1991

Michael Sintek. Monolinguistic CAD2NC: A Deterministic RELFUN Application Generating Abstract NC Programs from CAD-like Geometries. DFKI Kaiserslautern, September 1991.

Sintek1993

Michael Sintek. Indexing PROLOG Procedures into DAGs by Heuristic Classification. DFKI Technical Memo TM-93-05, DFKI GmbH, 1993.

Sloman and Hardy1983

Aaron Sloman and Steve Hardy. POPLOG: A Multi-purpose Multi-language Program Development Environment. AISBQ 47, 1983.

Steele Jr.1984

Guy L. Steele Jr. COMMON LISP: The Language. Digital Press, March 1984.

Stein and Sintek1991

W. Stein and M. Sintek. RELFUN/X: An Experimental PROLOG Implementation of RELFUN. ARC-TEC Document 91-1, DFKI GmbH, March 1991.

Stein1993

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

Taylor1990

Andrew Taylor. LIPS on a MIPS: Results from a Prolog Compiler for a RISC. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 174-185, Jerusalem, 1990. The MIT Press.

Van Roy1994

Peter Van Roy. 1983-1993: The wonder years of sequential Prolog implementation. The Journal of Logic Programming, 19,20:385-441, 1994.

Warren et al.1977

David H. D. Warren, Luis M. Pereira, and Fernando Pereira. Prolog - The Language and its Implementation Compared with Lisp. SIGPLAN Notices, 12(8):109-115, August 1977. Special Issue.

Warren1983

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

Wikstrøm1987

Ake Wikstrøm. Functional Programming using Standard ML. Prentice Hall, 1987.

Index