Title: Logik und Logikprogrammierung 2. Aufgaben und Lösungen