I need to write a common lisp function that will answer all the queries in this list of clauses.Also need to resolution and unification methods should use for
