[mercury-users] goal manipulation

[Alan Baljeu]

I have a prolog program which I'm looking at rewriting.
I was thinking Mercury might be the way to go.

A critical feature of my program is that it looks at a collection of non-deterministic
goals which are generated at run-time, analyzes them, and reorders them for evaluation.
This is not unlike Mercury's mode analysis, but it is not the same thing so I need to code
the algorithm to do this myself.  After this, I need to execute the goals in sequence.

What approach would you recommend to achieve this task in Mercury?  From the archives, I
read that meta-programming is only supported through calling the compiler executable.
That doesn't seem appropriate, but I'm not sure.

Alan

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------