PROLOG

Das Inhaltsverzeichnis bietet einen umfassenden Überblick über die Themen, die in der Prolog-Programmierung behandelt werden. Es beginnt mit einer Einführung und geht über zu einfachen Konstrukten und Programmen in Prolog, einschließlich Fakten, Fragen und Regeln. Ein Exkurs zum Arbeiten mit einem Prolog-Interpreter wird ebenfalls behandelt. Die elementare Prädikatenlogik, einschließlich Aussagen- und Prädikatenlogik, wird erläutert, gefolgt von der Syntax von Prolog, die die Beschreibung der Metasprache, Datentypen, Strukturen und Programme umfasst. Der Abschnitt über einfache Built-in-Prädikate behandelt Input/Output, Arithmetik und Vergleiche. Der Ablauf der Lösungssuche in Prolog wird detailliert, einschließlich Lösungsverfahren, Trace, Rekursion und speziellen prozeduralen Built-in-Prädikaten wie fail und true. Listen und deren Manipulation werden ebenfalls behandelt, einschließlich Notation, Built-in-Prädikaten, kleinen Programmen und Sortiermethoden. Zusätzlich werden Terme, Strukturen, Operatoren, Programmkontrolle, Filehandling und das Manipulieren von Datensammlungen angesprochen. Weitere Built-in-Prädikate und Anwendungen wie Mengen, Parser, Spiele, Logik und Mathematik werden ebenfalls thematisiert. Der Abschnitt über Expertensysteme erklärt deren Struktur und die Realisierung in Prolog, einschließlich der Anpassung von Regeln und Beispielen. Ein Stichwortverzeichnis rundet die Themen ab.