added lisp implementations of AIMA backtracking search, and alternate implementation in more of a functional style.
The output mimics the python implementation, and the variables, domain, and inferences are the same