Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der naturlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegenuber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur Losung eines Problems programmiert werden mussen, besteht Programmieren in PROLOG im Prinzip aus einer Beschreibung des Problems. Daraus ergeben sich naturlich ganz andere Methoden und Schwierigkeiten beim Entwurf eines Programms. Dieses Buch ist aus Vorlesungen an der Universitat Karlsruhe entstanden....