Logik und Logikprogrammierung 1 door Steffen Hölldobler