Prolog : Eine methodische Einfuhrung PDF

Die Programmiersprache Prolog gewinnt in weiten Kreisen von EDV-Fachleuten und Anwendern stark an Popularitat.

Im universitaren Kreis besitzt diese Spra- che besonders im Bereich der Kunstlichen Intelligenz seit geraumer Zeit einen hohen Stellenwert.

Das Ziel des Buches ist es, einen in Lektionen eingeteilten, methodisch geglie- derten Einfuhrungskurs in die Programmierung mit Prolog zu geben.

Das Buch basiert auf den Skripten zu der Vorlesung "Mathematische Grundlagen von Ex- pertensystemen" und zu dem Praktikum "Programmieren in Prolog", das an der Technischen Universitat in Braunschweig seit dem Wintersemester 1984/85 regelmaig angeboten wird.

Das Buch wendet sich an Schuler und Studenten ebenso wie an Interessierte aller Fachrichtungen, die sich einen Einblick in die logische Programmierung und ihre Anwendungen verschaffen wollen.

Wir danken unseren Kollegen K. Drosten, J. Risius und W. Struckmann fur ihre konstruktive Kritik, Frau D. Kruse fur das sorgfaltige Korrekturlesen und dem Vieweg-Verlag fur die gute Zusammenarbeit.

Braunschweig, im August 1987 R. Cordes R. Kruse H. Langendorfer H. Rust VI Inhaltsverzeichnis Einleitung 1 Zur historischen Entwicklung von Prolog . . . . . . . . . . . . . 2 Einsatz von Prolog in Fachgebieten der Kunstlichen Intelligenz 3 Verarbeitungsmodelle und Programmierstile . . . 5 Prolog- eine logik-basierte Programmiersprache 7 Zu diesem Buch . . . . . . . . . . . . . . . . . . . 7 I Reines Prolog 9 1 Fakten und Regeln 10 1.1 Fakten ..... . 10 1.2 Regeln ..... . 12 1.3 Ubungsaufgaben 14 2 Arbeitsweise des Prologinterpreters 16 2.1 Anfragen 16 2.2 Unifikation ... 19 2.3 Backtracking .. 22 2.4 Ubungsaufgaben 23 VII Inhaltsverzeichnis *3 Grundlagen der Pradikatenlogik 24 3.1 Syntax .. 24 27 3.2 Semantik . . . .