Logik und Logikprogrammierung 2. Aufgaben und Lösungen by Steffen Hölldobler