From the hub, written by: "Markus Triska"

Constraint-based School Timetabling with Prolog

This post is external to PrologHub

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:

https://www.metalevel.at/prolog/timetabling/

The Prolog source code of the timetabling engine is freely available from:

https://www.metalevel.at/simsttab/

Complementing the showcase, I have uploaded a short video that explains how it works:

https://www.metalevel.at/prolog/videos/timetabling

Enjoy!