PROSSEMINAR "KÜNSTLICHE INTELIGENZ" WS 97
EINFÜHRUNG IN PROLOG

Vera Nikolaeva Nikolova-Tevekeleva



Inhalt

  1. Historisches Überblick
  2. Prädikatenlogik und ihre Verbindung mit PROLOG
  3. Ein Beispielprogramm
  4. Matching und Unifikation
  5. Resolutionsverfahren und Strategie der linearen Eingabe
  6. Backtraking
  7. Literaturverzeichnis

next
Next: 1.Historisches Überblick

5.11.97 Vera Nikolaeva Nikolova-Tevekeleva