[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.
/Tomas
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