Describir: Zur Logik der Logik-Programmierung