AFIK all CS B.Sc./Ma.Sc. have logic (theory) in their curriculum often as a required curse, sometimes as part of other courses.

Many but not all do also have logic programming in some form. Through that might be just some side project of another course, or might not be done using Prolog.