Peter
P. Bothner
PDF-Download 1,5 MB
Wolf-Michael
Kähler
Programmieren in PROLOG
Eine
umfassende und praxisgerechte Einführung
PROLOG (PROgramming in LOGic) ist eine
Programmiersprache zur logik-basierten Programmierung, bei der Lösungen
von Aufgabenstellungen durch Sachverhalte und "logische
Abhängigkeiten" von Sachverhalten - in Form von Fakten und Regeln -
beschrieben werden. PROLOG hat für die Entwicklung von wissensbasierten
Systemen (wie z. B. Expertensystemen), die das Wissen und die Erfahrung auf
bestimmten Wissensgebieten in leicht zugänglicher Form verfügbar machen, eine
zentrale Bedeutung erlangt.
Dieses Buch gibt eine problembezogene Einführung in die
PROLOG-Programmierung, die bewußt einfach gehalten ist und keine
Vorkenntnisse aus der mathematischen Logik voraussetzt. Die grundlegenden
Sprachelemente von PROLOG werden in ausführlicher Form dargestellt, ohne daß
der sachgerechte Einsatz bei der Lösung komplizierterer Aufgabenstellungen
ausgespart bleibt. Das Buch gibt eine leicht lesbare und anschauliche
Beschreibung der Ableitbarkeits-Prüfung, bei der durch das PROLOG-System
festgestellt wird, ob sich eine Anfrage aus den innerhalb einer Wissensbank
gespeicherten Fakten und Regeln ableiten läßt.
Um das Arbeiten mit einem PROLOG-System zu
demonstrieren, werden die zur Zeit am weitesten verbreiteten Systeme
"IF/Prolog" und "PDC-Prolog/Turbo Prolog"
vorgestellt.
Da dasVerständnis der Listen-Verarbeitung
erfahrungsgemäß zu den schwierigsten Problemen bei der PROLOG-Programmierung
zählt, wird in aller Ausführlichkeit gezeigt, wie sich Listen aufbauen und
bearbeiten lassen.
Dieses Buch, das viele Aufgaben mit kommentierten
Lösungen enthält, ist als Begleitlektüre für Lehrveranstaltungen und zum
Selbststudium zu empfehlen.
Dr. Peter P. Bothner und Dr. Wolf-Michael Kähler
sind wissenschaftliche Mitarbeiter der Universität Bremen.
Beispielprogramme und Lösungen zu den Aufgaben des Buches auf Disketten.
Bestellkarte beigeheftet.
Download als ZIP-Datei
Textquelle Klappentext der Printversion: Vieweg Studium, ISBN 3-528-05158-2
