[m-users.] Metaprogramming in Mercury
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
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