clause/1, functor/3, arg/3 ...

Erwan Jahier jahier at
Tue Jul 8 18:46:29 AEST 1997

Fergus Henderson wrote:

> ...
> Another more long-term alternative would be to extend the
> Mercury support for meta-programming to include support for
> a Mercury equivalent to Prolog's clause/1, just as we have
> (in our latest development release) added support for Mercury
> equivalents to Prolog's functor/3 and arg/3.
> ...

I'am very interested in those system predicates : when will the next
release be available ?
(Sorry if I missed the information...)


More information about the users mailing list