Vorbemerkung

1  Einleitung

1.1 Die Idee
1.2 Die Verbindung der Ideen
1.3 Der Beginn der Algorithmierung der Logik
1.4 Deduktionssysteme
1.5 Logikprogrammierung und Prolog
1.6 Die Verbreitung der Logik
1.7 Literaturhinweise
1.8 Gliederung des Buches

2  Logikprogrammierung am Beispiel Prolog

2.1 Logikprogrammierung mit einfachen Daten
2.2 Variablenumbenennung
2.3 Syntax
2.4 Komplexe Daten
2.5 Der Cut
2.6 Negation als Fehlschlag
2.7 Literaturhinweise

3  Aussagenlogik

3.1 Syntax
3.2 Semantik
3.4 Beweisverfahren
3.5 Das Testen auf Erfüllbarkeit
3.6 Eigenschaften
3.7 Literaturhinweise

4  Prädikatenlogik

4.1 Syntax
4.2 Substitutionen
4.3 Semantik
4.4 Äquivalenz und Normalformen
4.5 Unifikation
4.6 Beweisverfahren
4.7 Implementierungen von Beweisverfahren
4.8 Eigenschaften
4.9 Literaturhinweise

5  Grundlagen der Logikprogrammierung

5.1 Definite Programme
5.2 Normale Programme
5.3 Literaturhinweise

6  Ausblick

Literaturverzeichnis
Index