Build me a prolog solution for a time tabling system

A timetabling system needs to be built. Please find the specifications in the attached document.