Folien und Übungsblätter zur Vorlesung "Grundlagen der logischen Programmierung"