Next: Contents Up: Finite Domains and Exclusions Previous: The RELFUN Meta-unify


Harold Boley. A Relational/Functional Language and its Compilation into the WAM. Technical Report SEKI SR-90-05, University of Kaiserslautern, Department of Computer Science, April 1990.

Harold Boley. Extended Logic-plus-Functional Programming. In Proceedings of the 2nd International Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, volume 596 of LNAI. Springer, 1992.

Harold Boley, Ulrich Buhrmann, and Christof Kremer. Towards a Sharable Knowledge Base on Recyclable Plastics. November 1993. To appear in: TMS'94 Symposium on Knowledge-Based Applications in Material Science and Engineering, Feb/Mar 1994, San Francisco, USA, TMS, Warrendale PA.

Alain Colmerauer. Introduction to Prolog III. In ESPRIT '87, pages 611-629. North Holland, 1987.

Cornelia Fischer. PANTUDE - An Anti-Unification Algorithm for Expressing Refined Generalizations. DFKI Kaiserslautern, February 1994.

Philipp Hanschke. A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning. Research Report RR-93-46, DFKI Kaiserslautern, October 1993.

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

Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages (POPL), Munich, Germany, pages 111-119. ACM, January 1987.

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

Manfred Meyer and Jörg Müller. Solving Configuration Tasks Efficiently Using Finite Domain Consistency Techniques. International Journal of Applied Intelligence, 1994. To appear.

Gordon D. Plotkin. A Note on Inductive Generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 5, pages 153-163. Elsevier North-Holland, New York, 1970.

Luc De Raedt. Interactive Theory Revision - An Inductive Logic Programming Approach. Academic Press, London, 1992.

Michael Sintek. FINDOM - Finite Domains in RELFUN Via Simulated Reassignment Variables. DFKI Kaiserslautern, June 1992.

Michael Sintek. FLIP: Functional-plus-Logic Programming on an Integrated Platform. 3rd Workshop on Functional Logic Programming, Schwarzenberg, Germany, January 1994.

Werner Stein. Nutzung globaler Analysetechniken in einem optimierenden Compiler für die Constraint-Logic-Programming-Sprache FIDO III. Diplomarbeit, Universität Kaiserslautern, FB Informatik, Juli 1993.

Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, Ma., 1989.

Harold Boley & Michael Sintek (