Invia SMS: Zur Logik der Logik-Programmierung