Puzzles in Logic Languages and Computation: The Red Book