INF.01085.07 - Logische Programmierung und Deduktive Datenbanken (Veranstaltungsübersicht)