Vorlesung "Prolog"




Eine Darstellung von Robinsons Unifikationsalgorithmus.



Die Noten dieses Jahres.



Die Klausur des letzten Jahres.



Einige Übungsaufgaben.