Title: Kurs in Logischer Programmierung