Implement minimal lisp interpreter in Prolog.