From the hub, tagged: "prolog"
Prolog is an excellent choice for modeling combinatorial problems, and it is routinely used in practice to solve scheduling tasks such as school timetabling.
To show this, I have set up a page where you can interactively solve school timetabling instances with Prolog, and I invite you to try a few of the sample instances:
The Prolog source code of the timetabling engine is freely available from:
Complementing the showcase, I have uploaded a short video that explains how it works: