Title: Theorie der logischen Programmierung
Subjects: Logische Programmierung