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