[segmondy]

Implementing a programming language in a few lines has always been done.

Here is an example in prolog of such a meta interpreter.

    interpret(true):- !.
    interpret(GoalA, GoalB):- !,interpret(GoalA),interpret(GoalB).
    interpret(Goal):- clause(Goal, Body), interpret(Body).