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