Fillin Puzzles for Declarative programming