[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