Prolog Grundlagen und Anwendungen [Paperback]

Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl? reiche Anwendungen im Bereich der Expertensysteme und der nat?rlichsprachlichen Ver? arbeitung, immer mehr an Bedeutung gewonnen. Gegen?ber prozeduralen Programmier? sprachen, wie z.B. 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 schlie?t sich ein Kapitel ?ber die Syntax der Sprache an, wobei wir uns an der Syntax von C-Prolog orientiert haben. Bevor dann eine ausf?hrliche Darstellung der wichtigsten Built-in-Pr?dikate mit Beispielen stattfindet, wird auf den Ablauf bei der L?sungssuche in PROLOG eingegangen. Die Anwendungen sind in zwei Bereiche aufgeteilt. Zum einen werden relativ kurze Bei? spiele ?ber Mengen, Parser, Spiele, Logik und Mathematik vorgestellt und zum anderen ist den Expertensystemen ein ganzes Kapitel gewidmet. Hierbei geht es weniger um eine Vorstellung und allgemeine Diskussion solcher Systeme, sondern um die Entwick? lung einer Shell f?r die Implementation von Expertensystemen. Im Anha.ng befindet sich dann, bis auf ein Modul f?r die Wissenserfassung, das vollst?ndige Programm f?r diese Entwicklungsumgebung.Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl? reiche Anwendungen im Bereich der Expertensysteme und der nat?rlichsprachlichen Ver? arbeitung, immer mehr an Bedeutung gewonnen. Gegen?ber prozeduralen Programmier? sprachen, wie z.B. Pascal, in denen Verfahren zur L?sul#-