Detailinformation

	Diplomarbeit
Titel	Coroutining und Constraints in der Logik-Programmierung
Autor	Ertl, Anton
Erscheinungsjahr	1990
Abstract	Die Logik-Programmierung zeichnet sich durch einen deklarativen Programmierstil aus. Dadurch lassen sich Lösungen für Suchprobleme besonders leicht formulieren. Um diese Vorteile auch bei realen Problemen anwenden zu können, sind gegenüber Prolog noch einige Erweiterungen nötig. Mit Coroutining können Zielaufrufe datengesteuert ausgeführt werden. Dies erleichtert die Trennung von Logik und Steuerung und damit die Verwendung eines deklarativen Programmierstils. Constraint Logic Programming erweitert die auf syntaktischer Gleichheit beruhende Unifikation auf weitere Datentypen mit beliebigen Relationen. In diesem Rahmen können auch Konsistenztechniken in die Logik-Programmierung integriert werden. Konsistenztechniken ermöglichen die effiziente Lösung von kombinatorischen Problemen, indem sie den Suchbaum frühzeitig beschneiden und Informationen für die Anwendung von Heuristiken liefern. Im Rahmen dieser Arbeit erfolgte die Implementation von Coroutining und Konsistenztechniken auf der Grundlage eines Prolog-Compilers für die Warren Abstract Machine. Die Einbindung in andere Prolog-Implementationen wird ebenfalls beschrieben. Die Anwendungsmöglichkeiten von Logik-Programmiersprachen mit den besprochenen Erweiterungen werden an Beispielen aus Artificial Intelligence, Operations Research und Systemprogrammierung demonstriert.
Status	Verfügbar