Inhaltsverzeichnisund Ü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.
Michael Hanus Reihenfolge der Bücher





- 1986