[m-users.] Metaprogramming in Mercury

Zoltan Somogyi zoltan.somogyi at runbox.com
Wed Feb 10 22:30:07 AEDT 2016

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.


More information about the users mailing list