Definitionen aus Intro und syntmg handout

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.

Fakten
Ziele
Regeln
Rekursion
Prozeduale Bedeutung
Deklarative Bedeutung
Atome
Variablen
anonyme Variable
Struktur
Hauptfunktor
Funktor
Unifikation
Unifikation
Unifikator
Unifikatoren
Notwendigkeit des Occurs Check
Occurs Check
Prolog-Programm
logische Konsequenz
Inferenz-Prozess