|
|
|
|
LEADER |
03286nmm a2200289 u 4500 |
001 |
EB000642678 |
003 |
EBX01000000000000000495760 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| ger |
020 |
|
|
|a 9783322872234
|
100 |
1 |
|
|a Bothner, Peter P.
|
245 |
0 |
0 |
|a Programmieren in PROLOG
|h Elektronische Ressource
|b Eine umfassende und praxisgerechte Einführung
|c von Peter P. Bothner, Wolf-Michael Kähler
|
250 |
|
|
|a 1st ed. 1991
|
260 |
|
|
|a Wiesbaden
|b Vieweg+Teubner Verlag
|c 1991, 1991
|
300 |
|
|
|a XII, 366 S.
|b online resource
|
505 |
0 |
|
|a 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 --
|
505 |
0 |
|
|a 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 --
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Engineering
|
653 |
|
|
|a Technology and Engineering
|
700 |
1 |
|
|a Kähler, Wolf-Michael
|e [author]
|
041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
028 |
5 |
0 |
|a 10.1007/978-3-322-87223-4
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-322-87223-4?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 620
|