Logik und Logikprogrammierung - Hölldobler, Steffen (Synchron, 2001)