PrologPuzzles

Forked from https://github.com/mmalita/PrologPuzzles and supplemented with missing puzzles and puzzle-solving library from https://ypologist.com/mmalita17/HOMEPAGE/logic/, copyright 2017 Mihaela Malita

Updated with bug fixes and tidier formatting for readability.

SWI Prolog by Jan Wielemaker

Puzzles inspired by:

• Ivan Bratko
• G.F. Luger
• A.Atanasiu
• Mensa Puzzles

Puzzles

1. aa1.pl – Swimming and biking contest
2. aa6.pl – Thursday Bridge Party. Who brings What?
3. anagram.pl – Anagrams
4. archi.pl – Shoe Shopping
5. beds1.pl – Bunk Beds
6. buffalo.pl – Babysitting
7. canibmm.pl – Missionaries and cannibals
8. coins0.pl – Coins
9. costume.pl – The Costume Ball
10. disorder.pl – Disorder
11. flashlight.pl – Flashlight
12. flashlight2.pl – Bridge crossing
13. flip.pl – Flip coins
14. goat.pl – Farmer, goat, wolf and a cabbage
15. gradepuzzle.pl – The Grade Puzzle
16. ifthen.pl – The false statements
17. jazz.pl – CD choice: jazz
18. jobs1.pl – Four professions
19. knight.pl – Knight’s Tour 3×3 board
20. knightN.pl – Knight on a chessboard
21. lunch2.pl – The lunch problem
22. magic.pl – Magic square
23. message.pl – News propagation
24. moremoney.pl – Send More Money
25. phone.pl – Phone Number. From digits to letters
26. queen2.pl – Eight queens on a chessboard
27. river.pl – Cross river: Adults and children
28. seating.pl – Seating
29. secretNumber.pl – Secret Number
30. soccer.pl – Soccer
31. sudoku.pl – Sudoku Solver and Generator
32. words.pl – Word Squares
33. writers.pl – Writers
34. zebra.pl – Who drinks water and who has a zebra?

Library

• lib/bibmm.pl – A library of useful predicates for solving logic puzzles. :- use_module(['lib/bibmm.pl']).