Logikorientierte Programmierung (TU/Egly) Einstiegstest SS09