Both my B.Sc./Ma.Sc. and Phd institutions (Germany) currently teach Prolog as an elective. One does it as a Bachelor's course of symbolic AI and the other does

Both my B.Sc./Ma.Sc. and Phd institutions (Germany) currently teach Prolog as an elective. One does it as a Bachelor's course of symbolic AI and the other does it as a master's course in Logic Programming and Deductive Databases (together with Datalog).