Die Grundzüge der Logikprogrammierung werden am Beispiel der Programmiersprache PROLOG behandelt.                                                                                                                     

• Fakten, Regeln, Anfragen
• Grundlagen aus der Prädikatenlogik
• Listen
• Rekursive Datenstrukturen
• Operatoren
• Programmiertechniken
• Systemprädikate
• Kompliziertere Beispiele
• Definite Klauselgrammatiken

Uwe Schöning: Logik für Informatiker, Spektrum Verlag.