Problem Solving with Answer Set Programming

A few months ago I found an article on how to organize your training plan using logic programming , which used Haskell to implement a logic language. At first, I thought this is a good problem to solve in Prolog, but there’s a difficulty: Prolog makes it quite hard to specify models that have multiple possible outcomes (yes, you can work with backtracking, but it gets tricky when you start to…