[mercury-users] [of note] Mercury cited in parallel "Prolog" quest

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Mon Mar 19 13:19:22 AEDT 2007

Dear all,

There was a recent discussion captured by the ALP (Association of Logic
Programming) about parallelizing Prolog.  Among the several threads
of conversation, Mercury was cited as perhaps the best candidate
"Prolog" system for this endeavor:

From: Jan Wielemaker
Subject: Re: Parallel Prolog

Prolog still suffers from subtle ordering issues.  Automatic concurrent 
processing may be more suitable for constraint solvers and other more 
declarative sublanguages.  Mercury might also be a better candidate.

The entire text is located at:



Doug Auclair

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