George J. Summers creates 50 new puzzles for fans eager to test their logic. The puzzles range in difficulty from the relatively simple examples at the beginning of the book to others that are tricky, complex and subtle enough to the test the expert.
An excellent puzzle book for automated reasoning
For those of you who enjoy having computers solve puzzles, this book will pre many good problems to work with. The real puzzle is understanding how to phrase the clues in a language like prolog so that a machine can solve the problem. This book has many wonderful puzzles that can be done with the human mind in minutes, and will sometimes take hours to correctly phrase for solving by a computer.