Experiments with intepreters in Prolog