Der Kurs
Prolog
1 Lektion
-
1
Prolog Theory (24 Karten)Characteristics of Prolog: - Only two rules: Unification (specialization) and Modus Ponens - ’simple’ procedural interpretation: SLD-resolution for Horn logic - Complete semantics (pure Prolog): Every syntactically correct program has a semantic interpretation! (= has a model) - Fine grained ...
Informationen
Kurs erstellt von: Wolkenfeder am 25. Mai 2011, 12:14 Uhr.
Lektionen erstellt von: Andreas.
Zuletzt geändert von: Wolkenfeder am 25. Mai 2011, 12:14 Uhr.
Bearbeiten darf: Jeder Pro-Benutzer.
Wird zur Zeit gelernt von: Wolkenfeder.
Der Kurs enthält: 1 Lektion: 1 Kartei.

Kommentare
Bis jetzt noch keine Kommentare.
Kommentieren
Nur angemeldete Benutzer können Kommentare schreiben. Jetzt kostenlos anmelden!