Prolog

Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularitat. Dies zeigt sich auch an der zunehmenden Zahl von industriellen Implementierungen und kommerziellen Entwicklungsum gebungen. 1m universitaren Kreis besitzt diese Sprache besonders im Bereich der wissensbasierten Systeme seit geraumer Zeit einen hohen Stellenwert. Das Ziel des Buches ist es, einen in Lektionen eingeteilten, methodisch geglie derten Einfiihrungskurs in die Programmierung mit Prolog zu geben. Das Buch basiert auf dem Praktikum "Programmieren in Prolog" , das an der Technischen Universitat in Braunschweig seit dem Wintersemester 1984/85 regelmafiig an geboten wird. Das Buch wendet sich an Schiiler und Studenten ebenso wie an Interessierte alIer Fachrichtungen, die sich einen Einblick in die logische Programmierung, ihre Grundlagen und Anwendungen verschaffen wollen. Fiir die erste Auflage des Buches haben uns K. Drosten, D. Kruse, J. Risius und W. Struckmann wert volle Anregungen gegeben. In der dritten Auflage haben wir zahlreiche Hinweise unserer Leser beriicksichtigt und nicht mehr zeitgemafie Abschnitte iiberarbeitet bzw. ganz gestrichen. Wir danken insbesondere Herrn U. Schreiweis, der uns bei der Durchsicht des Manuskripts sehr behilflich war. Ferner danken wir dem Vieweg-Verlag fiir die gute Zusammenarbeit.

Autorentext
Prof. Dr. Rudolf Kruse ist Leiter des Lehrstuhls für Neuro-Fuzzy-Systeme an der Universität Magdeburg.

Inhalt
Zur historischen Entwicklung von Prolog.- Einsatz von Prolog in Fachgebieten der Künstlichen Intelligenz.- Verarbeitungsmodelle und Programmierstile.- Prolog eine logik-basierte Programmiersprache.- Zu diesem Buch.- I Reines Prolog.- 1 Fakten und Regeln.- 2 Arbeitsweise des Prologinterpreters.- 3 Grundlagen der Prädikatenlogik.- 4 Grundlagen der logischen Programmierung.- II Prolog Sprache und Programmierumgebung.- 5 Prädikate mit Seiteneffekten.- 6 Kontrollstrukturen.- 7 Graphische Darstellung von Prologprogrammen.- 8 Arithmetische und relationale Operatoren.- 9 Klassifikation, Analyse und Synthese von Termen.- 10 Terme und Operatoren.- III Datenstrukturen, Algorithmen und Anwendungen.- 11 Listen und Listenoperationen.- 12 Sortierverfahren.- 13 Graphen und Graphsuche.- 14 Symbolmanipulation.- 15 Ein Interpreter für applikative Programme.- 16 Realisierung weiterer Programmierkonzepte in Prolog.- 17 Grammatiken und Sprachen.- 18 Prolog als Implementierungssprache für Expertensysteme.- 19 Fallstudie: Ein Expertensystem für Änderungskonfigurationen.- 20 Ein Spiel mit der Datenbasis: Mastermind.- A. Syntax von Prolog.- B. Benutzung von Prologsystemen.- C. Begriffsdefinitionen.- D. Lösungen.- Literatur.- Stichwortverzeichnis.- Prädikatsverzeichnis.