This is the lisp homework assignment for Logic Foundation of AI