Interpreter for a simple Lisp. Written in Prolog.