Fall2014 CSC444 - Logical Foundations of AI - Lisp Assignments