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