[mercury-users] Translating from Prolog

[hanberg at ruc.dk]

I'm a Mercury newbie and would really like help to translate the following from
Prolog to Mercury:

:- op( 500, xfy, &).
:- op( 400, fy, ~).

closes(~(X & Y)) :- closes(~X), closes(~Y).

I appreciate all help!

Tony
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------