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

[Tomas By]

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