Theorie der logischen Programmierung Eine elementare Einführung - Schmitt, Peter H. (Springer-Lehrbuch, 1992)