Zur Logik der Logik-Programmierung ein konstruktiver Ansatz - Beckstein, Clemens (Springer, 1988)