14. Workshop Logische Programmierung 2000

Logische Programmierung ist eine besonders weitgehende Art, Probleme deklarativ zu spezifizieren. In der Form von Prolog geschieht das durch den Einsatz eines Fragments der Logik. Weitergehende Konzepte integrieren in dieses ursprünglich rein relationale Konzept auch Funktionen und Constraints. Dieses Paradigma gewinnt eine zunehmende Attraktivität, u.a. in den Bereichen Datenbanken und Verarbeitung von natürlicher Sprache und bei der Modellierung und Bearbeitung komplexer kombinatorischer Probleme. Die Logikprogrammierung ist somit ein aktives Gebiet geblieben, das sich zunehmend auch den schwierigen Thematiken der Integration in die übrige Softwarelandschaft, der Behandlung von Dynamik und des Umgangs mit Kommunikation stellt.

Logic Programming is an advanced paradigm for declarative specification of problems. 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.