© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
CS 371: Introduction to Artificial Intelligence
Propositional Logic
Materials: map, puzzles, chess set (use pawns for 8 queens)