Das Fach gliedert sich in die Namensgebenden Teilbereiche. Der Teil Logik wird von Prof. Kuske bis Weihnachten gehalten und der Teil Logikprogrammierung das restliche Semester von Prof. Knauf.
In den Übungsblättern 2-10 konnte man Bonuspunkte für das Lösen und Abgeben der mit einem * markierten Aufgaben erhalten. Dies waren maximal 10% der in der Prüfung zu erreichenden Punkte und wurden erst nach bestehen angerechnet.