Title: Logic puzzles and logic programming
Subjects: Logic programming, Logic puzzles