Prolog: Grundlagen und Anwendungen [Paperback]

1 Einf?hrung.- 2 Einfache Konstrukte und Programme in Prolog.- 2.1 Fakten.- 2.2 Fragen.- 2.3 Regeln.- 2.4 Exkurs: Arbeiten mit einem Prolog-Interpreter.- 3 Elementare Pr?dikatenlogik.- 3.1 Aussagenlogik.- 3.1.1 Begriffe.- 3.1.2 Der semantische Folgerungsbegriff.- 3.1.3 Der syntaktische Folgerungsbegriff.- 3.1.4 ?quivalenz von Syntax und Semantik.- 3.1.5 Normalformen.- 3.1.6 Resolution.- 3.1.7 Prolog-Algorithmus.- 3.2 Pr?dikatenlogik.- 3.2.1 Syntax.- 3.2.2 Semantik.- 3.2.3 ?quivalenz von Syntax und Semantik.- 3.2.4 Normalformen.- 3.2.5 Resolution.- 4 Die Syntax von Prolog.- 4.1 Die Beschreibung der Metasprache.- 4.2 Prolog-Datentypen.- 4.2.1 Atome.- 4.2.2 Zahlentypen.- 4.2.3 Variablen.- 4.3 Strukturen.- 4.4 Prolog-Programm.- 4.5 Die Datentypen Term und Liste.- 5 Einfache Built-in-Pr?dikate.- 5.1 Input/Output.- 5.1.1 Output.- 5.1.2 Input.- 5.2 Arithmetik.- 5.3 Vergleich.- 5.3.1 Vergleich von Tennen.- 5.3.2 Vergleich von Zahlen.- 6 Ablauf der L?sungssuche in Prolog.- 6.1 L?sungsverfahren.- 6.2 Trace, Boxenmodell.- 6.3 Rekursion.- 6.4 Besonderheiten bei einigen prozeduralen Built-in-Pr?dikaten.- 6.5 fail.- 6.6 true.- 6.7 repeat.- 6.8 not.- 6.9 Der Cut.- 7 Listen und Listenmanipulation.- 7.1 Notation.- 7.2 Built-in-Pr?dikate f?r Listen.- 7.3 Kleine Programme mit Listen.- 7.4 Sortieren von Listen.- 7.5 ASCII-Listen.- 8 Terme, Strukturen und Operatoren.- 8.1 Termklassifizierung.- 8.2 Aufbau von Strukturen, Definition von Operatoren.- 8.3 Definition von Operatoren.- 9 Programmkontrolle.- 9.1 Ablaufsteuerung.- 9.2 Debugger.- 10 Filehandling.- 10.1 Schreiben auf Dateien.- 10.2 Lesen von Dateien.- 10.3 Allgemeine Pr?dikate zur Dateibearbeitung.- 11 Manipulieren der Datensammlung.- 11.1 Programm-Datensammlung.- 11.2 Inhalt der Programm-Datensammlung.- 11.3 Interne Datensammlung.- 11.4 Programmstatus.- 12 Sonstige Built-in-Pr?dikate.- 12.1 Sammeln von Antworten.- 12.2 Benutzen von Betriebssystembefehlen.- 13 Anwendungen.- 13.1 Mengen.- 13.2 Parser.- 13.3 Spiele.- 13.3.1 Nimm.- 1lƒE