Logische Programmierung und Deduktive Datenbanken (gültig ab WS 2006/07) (Veranstaltungsübersicht)