Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation

Open in new window