[mercury-users] more Mercury homework: "Mercuryfy" some simple Prolog

Tomas By tomas at basun.net
Fri Sep 24 17:23:10 AEST 2010

On Thu, September 23, 2010 20:30, Tomas By wrote:
> On Thu, September 23, 2010 16:30, Jean-Marc Vanel wrote:
>> Let's suppose that brother/2 is provided by external facts .
> No, you can't just suppose that and not tell the compiler.

A more technical explanation: Mercury doesn't have "external" clauses,
in the Prolog sense, as it has no database and interpreter. You have to
write you own code to load the data (which is not particularly hard if
it is in Prolog format).

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