Techniken der Logikprogrammierung

Inhaltsverzeichnis

1. Grundbegriffe
   1. Variablenfreie Fakten
   2. Variablenfreie Anfragen
   3. Variablen, Substitutionen und Antworten
   4. Einige PROLOG-Systemprädikate
   5. Existentielle Anfragen und universelle Fakten
   6. Konjunktive Anfragen und gemeinsame Variablen
   7. Annahme der Eindeutigkeit der Namen
   8. Funktionssymbole und zusammengesetzte Terme
   9. Regeln
2. Prinzipien der Auswertung von PROLOG-Programmen
   1. Lineare Resolutionsbeweise
   2. Beweisbäume
   3. Auswahl einer Klausel, Auswahl eines Literals
   4. Das "Cut" zur Steuerung der Suche
   5. Probleme der Negation
   6. PROLOG und die Logikprogrammierung
3. Zusammengesetzte Terme und rekursive Datentypen
   1. Zusammengesetzte Datenstrukturen
   2. Rekursive Programme
   3. Rekursive Datentypen
   4. Ein rekursiver Datentyp: die Liste
   5. Entwicklung von rekursiven Programmen am Beispiel von delete
   6. Unifikation mit Occur-Check
4. PROLOG-Hilfsprädikate und -programme
   1. Terme lesen,schreiben und klassifizieren
   2. Arithmetische Systemprädikate
   3. Schreiben in Dateien, lesen aus Dateien
   4. Memoisierung
   5. Scheiterngetriebene Schleife
   6. Quantoren ausdrücken
   7. All-Antwort-Prädikate
   8. Hilfsprogramme
5. Programme als Daten: Metainterpretation
   1. Metainterpretation
   2. Einfache Metainterpretierer
   3. All-Antwort- und Systemprädikate berücksichtigen
   4. Metainterpretierer zur Darstellung von Beweisbäumen für "reines PROLOG"
   5. Behandlung von cut
6. Metainterpretation zur Steuerung der Auswertung
   1. Letztes Literal auswählen
   2. Selektionsfunktion
   3. Fortschreitende Tiefensuche
   4. Breitensuche
   5. Verfolgung der Auswertung (trace)
7. Vorwärtsschließen
   1. Zwei grundlegende vorwärtsauswertende Interpretierer
   2. Vorwärtsschließen ohne Nebeneffekte
   3. Erweiterung auf nichtbereichsbeschränkte Fakten und Regeln
   4. Inkrementelles Vorwärtsschließen
   5. Weitere Optimierungen
   6. Vorwärtsausgewertete Regeln als Metainterpretationssprache
8. Produktionssysteme
   1. Produktionssysteme
   2. Auswertung
   3. Darstellung in PROLOG
   4. Ein grundlegender Auswerter für Produktionssysteme
   5. Konfliktauflösung
9. Reason Maintenance
   1. Reason-Maintenance-Systeme
   2. Ein grundlegender vorwärtsschließender Auswerter zur Herleitung von begründeten Fakten
   3. Behandlung von Änderungen des speziellen Wissens bei monotonen Rechtfertigungen
   4. Behandlung von Änderungen des speziellen Wissens bei nichtmonotonen Rechtfertigungen
10. Der Theorembeweiser SATCHMO
    1. Ein Regelformat zur Darstellung von Formeln der Prädikatenlogik erster Stufe
    2. Modellgenerierung
    3. Grundlegende Programme
    4. Modellgenerierung zum Theorembeweisen
    5. SATCHMO optimieren
    6. Logeleien
11. Rückwärtsschließen
    1. Meta- und Objektsprachen
    2. Der Metainterpretierer zum Rückwärtsschließen
    3. Beispiele