Prolog: Grundlagen und Anwendungen

زبان برنامه نویسی PROLOG در سال های اخیر اهمیت فزاینده ای پیدا کرده است، به ویژه به دلیل کاربردهای متعدد در زمینه سیستم های خبره و پردازش زبان طبیعی. برخلاف زبان‌های برنامه‌نویسی رویه‌ای، مانند پاسکال، که در آن‌ها روش‌های حل مسئله باید برنامه‌نویسی شوند، برنامه‌نویسی در PROLOG اساساً شامل توصیف مسئله است. البته این امر منجر به روش ها و مشکلات کاملاً متفاوتی در هنگام طراحی یک برنامه می شود. این کتاب برخاسته از سخنرانی های دانشگاه کارلسروهه است. ساختار کتاب حاصل تجربیات به دست آمده است. ابتدا، برنامه ها و ساختارهای ساده Prolog برای آشنایی خواننده با رویکرد برنامه نویسی PROLOG معرفی می شوند. پس از بررسی مبانی منطق، فصلی در مورد نحو زبان ارائه می شود که در آن ما خود را بر روی نحو C-Prolog جهت گیری کرده ایم. قبل از ارائه دقیق مهمترین محمولات داخلی با مثالها، روند یافتن راه حل در PROLOG مورد بحث قرار خواهد گرفت. برنامه ها به دو حوزه تقسیم می شوند. از یک سو، نمونه‌های نسبتاً کوتاهی از مجموعه‌ها، تجزیه‌کننده‌ها، بازی‌ها، منطق و ریاضیات ارائه می‌شود و از سوی دیگر، یک فصل کامل به سیستم‌های خبره اختصاص دارد. این کمتر در مورد معرفی و بحث کلی از چنین سیستم هایی است تا در مورد توسعه پوسته ای برای پیاده سازی سیستم های خبره. پیوست شامل برنامه کامل برای این محیط توسعه است، به استثنای یک ماژول برای کسب دانش.

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.