A parser and evaluator written in prolog for a simple (but Turing complete) programming language.