PROSSEMINAR "KÜNSTLICHE INTELIGENZ" WS 97
EINFÜHRUNG IN PROLOG
Vera Nikolaeva Nikolova-Tevekeleva
Inhalt
- Historisches Überblick
- Prädikatenlogik und ihre Verbindung mit PROLOG
- Ein Beispielprogramm
- Matching und Unifikation
- Resolutionsverfahren und Strategie der linearen Eingabe
- Backtraking
- Literaturverzeichnis

Next: 1.Historisches Überblick
5.11.97 Vera Nikolaeva Nikolova-Tevekeleva