Title: Logische und Funktionale Programmierung
Subjects: Horn-Klausel, Funktionale Programmiersprache