Title: Zur Logik der Logik-Programmierung
Subjects: Logic programming, Logische Programmierung