Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung

Aussagen und Prädikate......Page 9 Wissensbasis und Regeln......Page 11 Anfragen an die Wissensbasis......Page 14 Struktur von wissensbasierten Systemen......Page 18 Programme als Wiba des PROLOG-Systems......Page 20 Fakten......Page 21 Start des PROLOG-Systems und Laden der Wiba......Page 24 Anfragen......Page 26 Regeln......Page 28 Instanzierung und Unifizierung......Page 32 Das Backtracking......Page 38 Beschreibung der Ableitbarkeits-Prüfung durch Ableitungsbäume......Page 41 Ableitbarkeits-Prüfung bei zwei Regeln......Page 44 Aufgaben......Page 51 Vereinbarung und Bearbeitung von rekursiven Regeln......Page 54 Änderungen der Reihenfolge......Page 62 Programmzyklen......Page 66 Aufgaben......Page 70 Standard-Prädikate und Dialogkomponente......Page 71 Standard-Prädikate und Erklärungskomponente......Page 77 Standard-Prädikate und Wissenserwerbskomponente......Page 83 Aufgaben......Page 91 Erschöpfendes Backtracking mit dem Prädikat ``fail''......Page 93 Erschöpfendes Backtracking durch ein externes Goal......Page 98 Unterbinden des Backtrackings mit dem Prädikat ``cut''......Page 100 Unterbinden des Backtrackings mit den Prädikaten ``cut'' und ``fail'' (``Cut-fail''-Kombination)......Page 106 Rote und grüne Cuts......Page 108 Aufgaben......Page 113 Sicherung und Zugriff auf Werte......Page 119 Verarbeitung nach Zwischenspeicherung......Page 133 Unmittelbare Verarbeitung......Page 139 Zuweisungs-Operatoren ``is'' und ``=''......Page 142 Arithmetische Operatoren und mathematische Funktionen......Page 144 Operatoren zum Vergleich von Ausdrücken......Page 147 Operatoren zum Test auf Unifizierbarkeit......Page 149 Auswertung und Vereinbarung von Operatoren......Page 150 Aufgaben......Page 157 Listen als geordnete Zusammenfassung von Werten......Page 162 Unifizierung von Komponenten einer Liste......Page 165 Ausgabe von Listenelementen......Page 167 Aufbau von Listen......Page 171 Anwendung des Prinzips zum Aufbau von Listen......Page 177 Prädikate zur Verarbeitung von Listen......Page 181 Anfügen von Listen......Page 182 Invertierung von Listen......Page 186 Überprüfung von Listenelementen......Page 191 Vermeiden von Programmzyklen......Page 192 Reduktion von Listen......Page 196 Anfragen nach richtungslosen IC-Verbindungen......Page 198 Anfragen nach der kürzesten IC-Verbindung......Page 202 Fließmuster......Page 211 Lösung eines krypto-arithmetischen Problems......Page 218 Aufgaben......Page 225 Strukturen als geordnete Zusammenfassung von Werten......Page 227 Unifizierung von Strukturen......Page 228 Bestimmung der zeitlich kürzesten IC-Verbindung......Page 232 Der Univ-Operator ``=..''......Page 247 Das Standard-Prädikat ``call''......Page 250 Das Standard-Prädikat ``findall''......Page 252 Lösung einer klassischen Problemstellung......Page 253 Aufgaben......Page 263 A.1 Arbeiten unter dem System ``Turbo Prolog''......Page 267 A.2 Testhilfen......Page 270 A.3 Das System ``Turbo Prolog''......Page 288 A.4 ``Turbo Prolog''-Programme......Page 296 Glossar......Page 322 Lösungen der Aufgabenstellungen......Page 327 Literaturverzeichnis......Page 366 Index......Page 367 Titelblatt PROLOG......Page 1 Vorwort......Page 2 Inhaltsverzeichnis......Page 5 Das Buch gibt eine leichte lesbare und anschauliche Beschreibung der Ableitbarkeitsprufung. Alle Kapitel des Buches sind mit Aufgaben und kommentierten Loesungen versehen.Das Buch kann als Begleitlekture fur Lehrveranstaltungen und zum Selbststudium empfohlen werden.