Next: Index Up: FLIP: Functional-plus-Logic Programming on Previous: Symbols


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.

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

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

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.

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).

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.

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

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

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.

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.

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

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.

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.

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

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.

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

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

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

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

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.

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

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.

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

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


Harold Boley & Michael Sintek (