Text this: Zur Logik der Logik-Programmierung