SMS versenden: Zur Logik der Logik-Programmierung