Generating Cellular Puzzles with Logic Programs.
Mirosław Truszczyński, Victor W. Marek, Raphael A. Finkel · International Conference on Artificial Intelligence · 2006
We show how to characterize puzzles by logic programs and how to use those characterizations to build puzzles automatically. We can control the difficulty level of the puzzles by choosing how and when to invoke the logic program.