[m-users.] Metaprogramming in Mercury

Tomas By tomas at basun.net
Wed Feb 10 20:08:46 AEDT 2016

Hi again,

Hmm, well, good luck. Mercury is good for this I think.


On 2016-02-10 08:54, Christophe Rey wrote:
> Hi Tomas,
> I apologize, I didn't say what I intend to do with Mercury. I would
> like to built a prolog meta interpreter in which I could modify the
> computation rule. And I would like to do it following a ground
> representation, especially for variables, since the non-ground one
> used in prolog does not present a clear semantics.
> Regards
> Christophe

More information about the users mailing list