[mercury-users] Equivalent of Prolog setof with free variable

Michael Hendricks michael at ndrix.org
Thu Jan 26 02:13:12 AEDT 2012


On Tue, Jan 24, 2012 at 11:19 AM, Jeff Thompson <jeff at thefirst.org> wrote:
> What is the preferred way to get this in Mercury?

The Prolog to Mercury Transition Guide suggests using solutions/2.
See http://www.mercury.csse.unimelb.edu.au/information/doc-release/mercury_trans_guide/All_002dsolutions.html

I haven't tried it myself.

-- 
Michael
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the users mailing list