Implementing a programming language in a few lines has always been done.<p>Here is an example in prolog of such a meta interpreter.<p><pre><code> interpret(true):- !.
interpret(GoalA, GoalB):- !,interpret(GoalA),interpret(GoalB).
interpret(Goal):- clause(Goal, Body), interpret(Body).</code></pre>