Neat! This sort of thing also is a really nice project for playing around with logic programming languages.

One missing feature is enforcing a unique solution, which is something you'd generally expect from a word search puzzle.