Theorie Der Logischen Programmierung by Peter H. Schmitt