Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz