Implement minimal lisp interpreter in Prolog. #idea