Test Your Logic

Rating:
Summary: An excellent puzzle book for automated reasoning
Review: For those of you who enjoy having computers solve puzzles, this book will provide 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.