und Überblick.- Objekte in Prolog.- Rechnen in Prolog = Beweisen von Aussagen.- Elementare Programmiertechniken.- Logische Grundlagen von Prolog.- Nichtlogische Bestandteile von Prolog.- Vordefinierte Prädikate und Operatoren.- Praktische Programmierung mit Prolog.- Grammatiken in Prolog.- Anwendungen.