Programmieren in PROLOG - Bothner, Peter P.

. .

Biographie:
.

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.6.1 Instanzierung und Unifizierung.- 2.6.2 Das Backtracking.- 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.3.1 Unterbinden des Backtrackings mit dem Pr?dikat ?cut?.- 5.3.2 Unterbinden des Backtrackings mit den Pr?dikaten ?cut? und ?fail? (?Cut-fail?-Kombination).- 5.3.3 Rote und gr?ne Cuts.- 5.4 Aufgaben.- 6 Sicherung und Verarbeitung von Werten.- 6.1 Sicherung und Zugriff auf Werte.- 6.2 Verarbeitung von Werten.- 6.2.1 Verarbeitung nach Zwischenspeicherung.- 6.2.2 Unmittelbare Verarbeitung.- 6.3 Operatoren.- 6.3.1 Zuweisungs-Operatoren ?is? und ?=?.- 6.3.2 Arithmetische Operatoren und mathematische Funktionen.- 6.3.3 Operatoren zum Vergleich arithmetischer Ausdr?cke.- 6.3.4 Operatoren zum Vergleich von Ausdr?cken.- 6.3.5 Operatoren zum Test auf Unifizierbarkeit.- 6.3.6 Auswertung und Vereinbarung von 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.6.1 Anf?gen von Listen.- 7.6.2 Invertierung 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.4.1 Der Univ-Operator ?=..?.- 8.4.2 Das Standard-Pr?dikat ?call?.- 8.4.3 Das Standard-Pr?dikat ?findall?.- 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.