[mercury-users] Assert/Retract

Ralph Becket rafe at cs.mu.OZ.AU
Fri Jan 27 16:01:15 AEDT 2006


Daniel Elenius, Thursday, 26 January 2006:
> You've been very helpful, thanks.

No problem!  Two things to bear in mind with Mercury are

(1) being strongly, statically typed, you can't execute arbitrary terms
as though they were code (as you can with Prolog), and

(2) for reasons to do with being strongly, statically moded, Mercury
doesn't support variable aliasing or partially instantiated structures
the way Prolog does.

These constraints often necessitate thinking in a "Haskell style" rather
than a "Prolog style".

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



More information about the users mailing list