Goal: Implement decent lisp interpreter in Prolog.