Constraint-based School Timetabling with Prolog

Try it:
Sample instances:

What it means:
The input is a sequence of Prolog facts that describe what we want from a solution.

The dimensions of the timetable are specified by: The main requirements are specified by: Additional requirements are specified by:
How it works:

Watch the video: Timetabling

The timetabling engine is freely available: Simsttab

Simsttab uses constraint logic programming over integers to find solutions that satisfy all requirements.

More about Prolog: The Power of Prolog

Main Page