<div dir="ltr">Hi Tomas,<div><br></div><div>and many thanks for your very quick answer.</div><div>I've had a look at the term library and it seems perfect for what I plan to do.</div><div>Thanks again.</div><div><br></div><div>Christophe </div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-02-08 23:28 GMT+01:00 Tomas By <span dir="ltr"><<a href="mailto:tomas@basun.net" target="_blank">tomas@basun.net</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
The "term" library?<br>
<br>
Meta-programming as I understand it (transforming Mercury code in Mercury) is very easy.<br>
<br>
If you can be more specific you may get better help.<br>
<br>
/Tomas<div><div class="h5"><br>
<br>
<br>
<br>
On 2016-02-08 22:13, Christophe Rey wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
Hi everybody,<br>
I am a total newbie with Mercury. I have searched in the documentation<br>
but have found very little information about metaprogramming.<br>
I know that, in Mercury, metaprograms must follow the ground<br>
representation of variables, and this is exactly what I need. But I<br>
wonder if the existing libraries (and which ones) provide important<br>
predicates that are useful in the context of ground metaprogramming,<br>
such as unification of object terms in their ground representation, or<br>
substitutions manipulation predicates. Indeed such predicates may need<br>
a heavy work to be coded in Mercury...<br>
Thanks in advance<br>
Regards<br>
Christophe<br></div></div>
_______________________________________________<br>
users mailing list<br>
<a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br>
<a href="https://www.mercurylang.org/lists/listinfo/users" rel="noreferrer" target="_blank">https://www.mercurylang.org/lists/listinfo/users</a><br>
</blockquote>
<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div>___________________________________________________<br>Christophe Rey</div>
<div> </div><div>MCF / Associate professor<br>Université Blaise Pascal Clermont 2<br><br>Email : <a href="mailto:christophe.rey@univ-bpclermont.fr" target="_blank">christophe.rey@univ-bpclermont.fr</a><br>        <a href="mailto:rey@isima.fr" target="_blank">rey@isima.fr</a><br>Web   : <a href="http://fc.isima.fr/~crey/" target="_blank">http://fc.isima.fr/~crey/</a><br><br>Laboratoire LIMOS <br>  Campus Universitaire des Cézeaux<br></div><div>  1 rue de la Chebarde TSA 60125 - CS 60026<br></div><div>  63178 AUBIERE cedex<br></div><div>  Tel : +33 (0)4 73 40 50 09<br>  Fax : +33 (0)4 73 40 50 01<br><br>IUT d'Allier, Dept MMI Vichy<br>  Pôle Universitaire<br>  1, av. des Célestins 03200 VICHY<br>  Tel : +33 (0)4 70 30 43 92<br>  Fax : +33 (0)4 70 30 43 78 <br>___________________________________________________</div></div></div></div></div></div>
</div>