[mercury-users] some_of_solutions/2

Ralph Becket rafe at cs.mu.OZ.AU
Thu Apr 4 14:37:38 AEST 2002

If I understand you correctly, you want some_of_solutions(P, L) to
mean L is a sublist of the list of solutions to P.  However, you want
different semantics depending upon the mode - why?  It means you lose
the declarative semantics of your program.

You could use Mercury's support for mode specific clauses to do this if
that's what you really want.  However, this sounds more like a rethink
of the design that lead to your requirement might be a better idea.

- Ralph
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

More information about the users mailing list