Prolog Examples

• lives, takes, tutors database
• How to pass an exam
• Logic ciruit
• member predicate
• append1 predicate (append may be built in to your Prolog)
• reverse predicate
• Factorial
• Map coloring
• The "zebra" puzzle
• The "zebra" puzzle with more documentation
• The "boy-girl" puzzle, a simpler constraint problem
• send-more-money puzzle
• N queens
• Tautology/Satisfiability Checker
  • tautology examples
  • non-tautology examples
• A general purpose puzzle solver
  • Water jugs puzzle (use with solver)
  • Chinese rings puzzle (use with solver)
• Towers of Hanoi, pre-programmed
• Towers of Hanoi, depth-first
• Convert non-deterministic finite-state acceptor to a deterministic one