

Beschreibung
Inhalt 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...