Francois Bry, Ulrich Geske, Dietmar Seipel 14. In the logic programming language Prolog, the basic calculus is a subclass of predicate logics.
Extended concepts integrate functions or constraints.
This programming method has received more and more attraction in the last years, especially in the domains of data bases, in processing of natural language, and for modeling and processing of combinatorial problems. In this manner, logic programming is an active area, which is a sound basis for integration of modern aspects in software engineering, dynamic programming and communication. In der Form von Prolog geschieht das durch den Einsatz eines Fragments der Logik. The purpose of the GMD Report is the dissemination of scientific work for scientific use. The commercial distribution of this document is prohibited, as is any modification of its content.