Programmieren in PROLOG Eine umfassende und praxisgerechte Einfhrung [Paperback]

Das Buch gibt eine leichte lesbare und anschauliche Beschreibung der Ableitbarkeitspr?fung. Auch wird in aller Ausf?hrlichkeit gezeigt, wie sich Listen aufbauen und bearbeiten lassen. Alle Kapitel des Buches sind mit Aufgaben und kommentierten L?sungen versehen.Das Buch kann als Begleitlekt?re f?r Lehrveranstaltungen und zum Selbststudium empfohlen werden.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.l“8