[m-users.] Metaprogramming in Mercury

Tomas By tomas at basun.net
Tue Feb 9 09:28:32 AEDT 2016


The "term" library?

Meta-programming as I understand it (transforming Mercury code in 
Mercury) is very easy.

If you can be more specific you may get better help.


On 2016-02-08 22:13, Christophe Rey wrote:
> Hi everybody,
> I am a total newbie with Mercury. I have searched in the documentation
> but have found very little information about metaprogramming.
> I know that, in Mercury, metaprograms must follow the ground
> representation of variables, and this is exactly what I need. But I
> wonder if the existing libraries (and which ones) provide important
> predicates that are useful in the context of ground metaprogramming,
> such as unification of object terms in their ground representation, or
> substitutions manipulation predicates. Indeed such predicates may need
> a heavy work to be coded in Mercury...
> Thanks in advance
> Regards
> Christophe
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://www.mercurylang.org/lists/listinfo/users

More information about the users mailing list