Prolog

Inhaltsverzeichnis

• 1 Einführung.
• 2 Einfache Konstrukte und Programme in Prolog.
• 2.1 Fakten.
• 2.2 Fragen.
• 2.3 Regeln.
• 2.4 Exkurs: Arbeiten mit einem Prolog-Interpreter.
• 3 Elementare Prädikatenlogik.
• 3.1 Aussagenlogik.
• 3.2 Prädikatenlogik.
• 4 Die Syntax von Prolog.
• 4.1 Die Beschreibung der Metasprache.
• 4.2 Prolog-Datentypen.
• 4.3 Strukturen.
• 4.4 Prolog-Programm.
• 4.5 Die Datentypen Term und Liste.
• 5 Einfache Built-in-Prädikate.
• 5.1 Input/Output.
• 5.2 Arithmetik.
• 5.3 Vergleich.
• 6 Ablauf der Lösungssuche in Prolog.
• 6.1 Lösungsverfahren.
• 6.2 Trace, Boxenmodell.
• 6.3 Rekursion.
• 6.4 Besonderheiten bei einigen prozeduralen Built-in-Prädikaten.
• 6.5 fail.
• 6.6 true.
• 6.7 repeat.
• 6.8 not.
• 6.9 Der Cut.
• 7 Listen und Listenmanipulation.
• 7.1 Notation.
• 7.2 Built-in-Prädikate für Listen.
• 7.3 Kleine Programme mit Listen.
• 7.4 Sortieren von Listen.
• 7.5 ASCII-Listen.
• 8 Terme, Strukturen und Operatoren.
• 8.1 Termklassifizierung.
• 8.2 Aufbau von Strukturen, Definition von Operatoren.
• 8.3 Definition von Operatoren.
• 9 Programmkontrolle.
• 9.1 Ablaufsteuerung.
• 9.2 Debugger.
• 10 Filehandling.
• 10.1 Schreiben auf Dateien.
• 10.2 Lesen von Dateien.
• 10.3 Allgemeine Prädikate zur Dateibearbeitung.
• 11 Manipulieren der Datensammlung.
• 11.1 Programm-Datensammlung.
• 11.2 Inhalt der Programm-Datensammlung.
• 11.3 Interne Datensammlung.
• 11.4 Programmstatus.
• 12 Sonstige Built-in-Prädikate.
• 12.1 Sammeln von Antworten.
• 12.2 Benutzen von Betriebssystembefehlen.
• 13 Anwendungen.
• 13.1 Mengen.
• 13.2 Parser.
• 13.3 Spiele.
• 13.4 Logik.
• 13.5 Mathematik.
• 14 Expertensysteme.
• 14.1 Der Begriff des Expertensystems.
• 14.2 Die Struktur eines Expertensystems.
• 14.3 Die Realisierung eines Expertensystems in Prolog.
• A Die Syntax von Prolog.
• B Built-in-Prädikate.
• C Realisierung einesExpertensystems.
• C.1 Die Schale des Expertensystems.
• C.2 Beispiel “Autosuche”.
• D Anpassung von Regeln an die Schale des Expertensystems.
• D.1 Die Regeldatei.
• D.2 Die Datei mit den Erklärungen.
• Stichwortverzeichnis.