next up previous contents
Next: A Tutorial Dialog Up: RELFUN Guide: Programming with Previous: 8 An Introductory Example


Harold Boley, Ulrich Buhrmann, and Christof Kremer. Towards a sharable knowledge base on recyclable plastics. In James K. McDowell and Kenneth J. Meltsner, editors, Knowledge-Based Applications in Materials Science and Engineering, pages 29-42. TMS, 1994.

BEH tex2html_wrap_inline2132 96
Harold Boley, Klaus Elsbernd, Hans-Guenther Hein, Thomas Krause, Markus Perling, Michael Sintek, and Werner Stein. RFM Manual: Compiling RELFUN into the Relational/Functional Machine. Document D-91-03, DFKI GmbH, July 1996. Third, Revised Edition.

BHH tex2html_wrap_inline2132 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. tex2html_wrap_inline3398 CAD2NC: A Declarative Lathe-Workplanning Model Transforming CAD-like Geometries into Abstract NC Programs. DFKI Document D-91-15, DFKI GmbH, November 1991.

H. Boley, P. Hanschke, K. Hinkelmann, and M. Meyer. COLAB: A hybrid knowledge representation and compilation laboratory. Annals of Operations Research, 55:11-79, 1995. Preprinted as: DFKI Research Report RR-93-08, Jan. 1993.

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

Harold Boley. Declarative Operations on Nets. In Fritz Lehmann, editor, Semantic Networks in Artificial Intelligence, volume 23, pages 601-637. Special Issue of Computers & Mathematics with Applications, Pergamon Press, 1992.

Harold Boley. Extended Logic-plus-Functional Programming. In Lars-Henrik Eriksson, Lars Hallnäs, and Peter Schroeder-Heister, editors, Proceedings of the 2nd International Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, volume 596 of LNAI. Springer, 1992.

Harold Boley. A Direct Semantic Characterization of RELFUN. In Evelina Lamma and Paola Mello, editors, Proceedings of the 3rd International Workshop on Extensions of Logic Programming, ELP '92, Bologna 1992, volume 660 of LNAI. Springer, 1993.

Harold Boley. Finite Domains as First-Class Citizens. In Roy Dyckhoff, editor, Fourth International Workshop on Extensions of Logic Programming, St. Andrews, Scotland, Preprints of the Proceedings, March 1993.

GBH tex2html_wrap_inline2132 96
Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, and Michael Sintek. Komplettkompilation von Lisp: Eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. KI, 2, Juni 1996.

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

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.

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

Michael Sintek. Indexing PROLOG procedures into DAGs by heuristic classification. DFKI Technical Memo TM-93-05, DFKI GmbH, 1993.

Michael Sintek. FLIP: Functional-plus-logic programming on an integrated platform. Technical Memo TM-95-02, DFKI GmbH, May 1995.

M. Sintek, W. Stein, and U. Buhrmann. Validation and Exploration of the Period System of the Elements: A RELFUN Knowledge Base. In Harold Boley, editor, A Sampler of Relational/Functional Definitions, TM-91-04. DFKI GmbH, March 1991. Second, Revised Edition July 1993.

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

Harold Boley (