> A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.