Title: Theorie der logischen Programmierung