© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
FOL Proof Method: Resolution
•conversion to normal form
•generalized resolution
•unification