CS341 Presentation: A.I. and Logic programming
Recorded with http://screencast-o-matic.com.