Logik und Logikprogrammierung - Hölldobler, Steffen 1957-2023 (Kolleg Synchron, 2009)