Prolog Eine methodische Einfhrung [Paperback]

Zur historischen Entwicklung von Prolog.- Einsatz von Prolog in Fachgebieten der K?nstlichen Intelligenz.- Verarbeitungsmodelle und Programmierstile.- Prolog  eine logik-basierte Programmiersprache.- Zu diesem Buch.- I Reines Prolog.- 1 Fakten und Regeln.- 1.1 Fakten.- 1.2 Regeln.- 1.3 ?bungsaufgaben.- 2 Arbeitsweise des Prologinterpreters.- 2.1 Anfragen.- 2.2 Unifikation.- 2.3 Backtracking.- 2.4 ?bungsaufgaben.- 3 Grundlagen der Pr?dikatenlogik.- 3.1 Syntax.- 3.2 Semantik.- 3.3 Klauseln.- 3.4 ?bungsaufgaben.- 4 Grundlagen der logischen Programmierung.- 4.1 Das Resolventenprinzip.- 4.2 Semantik von Prologprogrammen.- 4.3 ?bungsaufgaben.- II Prolog  Sprache und Programmierumgebung.- 5 Pr?dikate mit Seiteneffekten.- 5.1 Ein- und Ausgabe.- 5.2 Dateibearbeitung.- 5.3 Ver?nderung der Wissensbank.- 5.4 ?bungsaufgaben.- 6 Kontrollstrukturen.- 6.1 Und und Oder.- 6.2 Das Fail.- 6.3 Das Cut.- 6.4 Die Cut-Fail-Kombination.- 6.5 Das Repeat.- 6.6 ?bungsaufgaben.- 7 Graphische Darstellung von Prologprogrammen.- 7.1 Der Beweisbaum.- 7.2 Das Vierportmodell.- 7.3 ?bungsaufgaben.- 8 Arithmetische und relationale Operatoren.- 8.1 Arithmetische Operatoren.- 8.2 Relationale Operatoren f?r arithmetische Ausdr?cke.- 8.3 Relationale Operatoren f?r Terme.- 8.4 ?bungsaufgaben.- 9 Klassifikation, Analyse und Synthese von Termen.- 9.1 Klassifikation von Termen.- 9.2 Analyse und Synthese von Termen.- 9.3 Ausf?hren von Termen: Das Call.- 9.4 ?bungsaufgaben.- 10 Terme und Operatoren.- 10.1 Definition von Operatoren.- 10.2 Probleme bei der Benutzung von Operatoren.- 10.3 Listennotationen.- 10.4 ?bungsaufgaben.- III Datenstrukturen, Algorithmen und Anwendungen.- 11 Listen und Listenoperationen.- 11.1 Die Datenstruktur Liste.- 11.2 Repr?sentation von Listen in Prolog.- 11.3 Definierbare Listenoperationen in Prolog.- 11.4 ?bungsaufgaben.- 12 Sortierverfahren.- 12.1 Permutation.- 12.2 Tauschsort.- 12.3 Quicksort.- 12.4 Mergesort.- 12.5 Treesort.- 12.6 ?bungsaufgaben.- 13 Graphen und Graphsuche.- 13.lsh