如何计算Datalog？

Question

我有这个DB：

LABORATORY(LabNumber, SeatsNumber)
RESERVATION(LabNumber, ProfName, Date)
PROF(ProfName, Subject ,#Reservation)

如何在PROLOG(DATALOG)中执行此查询？

查找更多预订的PROFessor名称