[m-users.] Metaprogramming in Mercury

Christophe Rey christophe.rey at univ-bpclermont.fr
Wed Feb 10 18:54:57 AEDT 2016


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

2016-02-08 23:28 GMT+01:00 Tomas By <tomas at basun.net>:

> Hello,
>
> 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.
>
> /Tomas
>
>
>
>
> 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
>>
>
>


-- 
___________________________________________________
Christophe Rey

MCF / Associate professor
Université Blaise Pascal Clermont 2

Email : christophe.rey at univ-bpclermont.fr
        rey at isima.fr
Web   : http://fc.isima.fr/~crey/

Laboratoire LIMOS
  Campus Universitaire des Cézeaux
  1 rue de la Chebarde TSA 60125 - CS 60026
  63178 AUBIERE cedex
  Tel : +33 (0)4 73 40 50 09
  Fax : +33 (0)4 73 40 50 01

IUT d'Allier, Dept MMI Vichy
  Pôle Universitaire
  1, av. des Célestins 03200 VICHY
  Tel : +33 (0)4 70 30 43 92
  Fax : +33 (0)4 70 30 43 78
___________________________________________________
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20160210/e73b7cdb/attachment.html>


More information about the users mailing list