Prolog Examples

• member predicate
• append1 predicate (append may be built in to your Prolog)
• reverse predicate
• Logic ciruit
• How to pass an exam
• Factorial
• Map coloring
• send-more-money puzzle
• N queens
• A general purpose puzzle solver
  • Water jugs puzzle (use with solver)
  • Chinese rings puzzle (use with solver)
• Tautology checker
• Towers of Hanoi, pre-programmed
• Towers of Hanoi, depth-first
• lives, takes, tutors database
• Convert non-deterministic finite-state acceptor