Functional Programming Project Interpreter for Prolog Project not finished yet (found problems with unification).