Prolog ist die wichtigste logische Programmiersprache. Im Rahmen meines Studiums habe ich mich in einer Vorlesung und einem Proseminar kennengelernt.