[m-users.] A predicate taking a lists of predicates as input?

[Tomas By]

On Thu, 25 Sep 2025 15:55:40 +0200, Anders Lundstedt wrote:
> I think what I am trying to do is not possible in Mercury.


Well, what is the point...

If you want to have rules like that as input (ie getting them from
somewhere) then write a proper parser.

If you want to express things in an easier way yourself, such as
conversion rules without needing a bunch of identical parameters
everywhere, then it is very easy to do code conversion in Mercury,
because code and data use the same format (as in Prolog, Lisp).

/Tomas