Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (program code)

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