Logische Programmierung

Dozent: Prof. Kirste
      Az.
Grundbegriffe   28
Unifikation und Inferenz-Prozess   17
Grundbegriffe Logik   24
Klausellogik   22
SLD-Resolution   11
Metaprogramme   20