Die Programmiersprache Prolog hat in den letzten Jahren, nicht zuletzt durch zahlreiche Anwendungen im Bereich der Expertensysteme und der natürlichen Sprachverarbeitung, immer mehr an Bedeutung gewonnen. Gegenüber prozeduralen Programmiersprachen, wie zum Beispiel Pascal, in denen Verfahren zur Lösung eines Problems programmiert werden müssen, besteht Programmieren in Prolog im Prinzip aus einer Beschreibung des Problems. Daraus ergeben sich natürlich ganz andere Methoden und Schwierigkeiten beim Entwurf eines Programms. Dieses Buch ist aus Vorlesungen an der Universität Karlsruhe entstanden. Aus den dabei gemachten Erfahrungen resultiert auch der Aufbau des Buches. Zuerst werden einfache Programme und Konstrukte in Prolog vorgestellt, um den Leser mit der Vorgehensweise bei der Programmierung in Prolog vertraut zu machen. Nach einem Exkurs über Grundlagen der Logik schliesst sich...