Logik und Logikprogrammierung by Steffen Hölldobler