Programmieren in PROLOG - Bothner, Peter P.

. .

Biographie:
Dr. Peter P. Bothner und Dr. Wolf-Michael K?hler sind wissenschaftliche Mitarbeiter im Arbeitsbereich Statistik und Projektberatung am Zentrum f?r Netze und verteilte Datenverarbeitung der Universit?t Bremen....

Sommaire:
1 Arbeitsweise eines wissensbasierten Systems.- 1.1 Aussagen und Pr?dikate.- 1.2 Wissensbasis und Regeln.- 1.3 Anfragen an die Wissensbasis.- 1.4 Struktur von wissensbasierten Systemen.- 2 Arbeiten mit dem PROLOG-System.- 2.1 Programme als Wiba des PROLOG-Systems.- 2.2 Fakten.- 2.3 Start des PROLOG-Systems und Laden der Wiba.- 2.4 Anfragen.- 2.5 Regeln.- 2.6 Die Arbeitsweise der PROLOG-Inferenzkomponente.- 2.7 Beschreibung der Ableitbarkeits-Pr?fung durch Ableitungsb?ume.- 2.8 Ableitbarkeits-Pr?fung bei zwei Regeln.- 2.9 Aufgaben.- 3 Rekursive Regeln.- 3.1 Vereinbarung und Bearbeitung von rekursiven Regeln.- 3.2 ?nderungen der Reihenfolge.- 3.3 Programmzyklen.- 3.4 Aufgaben.- 4 Standard-Pr?dikate.- 4.1 Standard-Pr?dikate und Dialogkomponente.- 4.2 Standard-Pr?dikate und Erkl?rungskomponente.- 4.3 Standard-Pr?dikate und Wissenserwerbskomponente.- 4.4 Aufgaben.- 5 Einflu?nahme auf das Backtracking.- 5.1 Ersch?pfendes Backtracking mit dem Pr?dikat fail.- 5.2 Ersch?pfendes Backtracking durch ein externes Goal.- 5.3 Einsatz des Pr?dikats cut.- 5.4 Aufgaben.- 6 Sicherung und Verarbeitung von Werten.- 6.1 Sicherung und Zugriff auf Werte.- 6.2 Verarbeitung von Werten.- 6.3 Operatoren.- 6.4 Aufgaben.- 7 Verarbeitung von Listen.- 7.1 Listen als geordnete Zusammenfassung von Werten.- 7.2 Unifizierung von Komponenten einer Liste.- 7.3 Ausgabe von Listenelementen.- 7.4 Aufbau von Listen.- 7.5 Anwendung des Prinzips zum Aufbau von Listen.- 7.6 Pr?dikate zur Verarbeitung von Listen.- 7.7 ?berpr?fung von Listenelementen.- 7.8 Vermeiden von Programmzyklen.- 7.9 Reduktion von Listen.- 7.10 Anfragen nach richtungslosen IC-Verbindungen.- 7.11 Anfragen nach der k?rzesten IC-Verbindung.- 7.12 Flie?muster.- 7.13 L?sung eines krypto-arithmetischen Problems.-7.14 Aufgaben.- 8 Verarbeitung von Strukturen.- 8.1 Strukturen als geordnete Zusammenfassung von Werten.- 8.2 Unifizierung von Strukturen.- 8.3 Bestimmung der zeitlich k?rzesten IC-Verbindung.- 8.4 Listen, Strukturen und Pr?dikate.- 8.5 L?sung einer klassischen Problemstellung.- 8.6 Aufgaben.- A.1 Arbeiten unter dem System Turbo Prolog.- A.2 Testhilfen.- A.3 Das System Turbo Prolog.- A.4 Turbo Prolog-Programme.- L?sungen der Aufgabenstellungen....