simple course planner ready to be solved by clingo