Theorie Der Logischen Programmierung door Peter H. Schmitt