In den Übungen wird (auch) in Prolog programmiert. Wir benutzen SWI-Prolog, das auf allen Rechnerpools der Uni installiert ist. Sie können SWI-Prolog kostenlos downloaden: SWI-Prolog's Home

Weitere nützliche Links:

Learn Prolog Now!

Vorlesung Logik für Informatiker - SS 06

Logic for Computer Scientists - Wikibooks, collection of open-content textbooks