[m-users.] Metaprogramming in Mercury

[Zoltan Somogyi]

On Wed, 10 Feb 2016 08:54:57 +0100, Christophe Rey <christophe.rey at univ-bpclermont.fr> wrote:
> I would like to
> built a prolog meta interpreter in which I could modify the computation
> rule.

The file samples/interpreter.m in the Mercury distribution
contains a metainterpreter for definite logic programs.
It is only a toy, but you should find it useful.

Zoltan.