trying out core.logic and logic puzzles.