[mercury-users] Assert/Retract

[Ralph Becket]

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