Massachusetts Institute of Technology: Leslie Kaelbling and Tomás Lozano-Pérez's "Logic"

Read the following slides:

Click https://s3.amazonaws.com/saylordotorg-resources/wwwresources/site/wp-content/uploads/2011/11/CS405-5.1-MIT.pdf link to open resource.