Solving Logic Puzzles

• example puzzle
• the generator... an awk script
• Explanation of the solver generator

Samples

• Boy meets girls puzzle specs
  prolog solver

• spouses puzzle specs
  generated prolog solver