Pure Prolog Meta-Interpreter with one Rule

Question

I wonder whether there is a pure Prolog meta-interpreter with only one rule. The usual Prolog vanilla meta-interpreter has two rules. It reads as follows:

sol