Logik und Logikprogrammierung 1 by Steffen Hölldobler