I work for a living in a company that creates products to calculate timetables and schedules for transport companies. The schedules and timetables need to be e

I work for a living in a company that creates products to calculate timetables and schedules for transport companies. The schedules and timetables need to be exactly, defined according to a large number of requirements (hard constraints and weighted preferences). While these exact schedules could be created through probabilistic means, the systematic approach of logic search provides more consistent results than a stochastic search, and the imperative programming style allows finer control over the search algorithm than what would be easy to achieve in a pure logic language.