Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen