[mercury-users] Redefinition of logical operations

Dmitry Negius thenegius at gmail.com
Thu Aug 20 01:09:16 AEST 2009


Hi all.
I study Mercury language now wich I consider as trusted Prolog. In the
prolog it is possible to introduce own operations with given priorities. I
have a question: Is it possible in the Mercury language to define own
logical operations: and, or, xor, <=>, <=, =>? Seems "or" frequantly used in
the Mercury programs instead of "xor" wich can result in the program
failures. It is more beautifully to write "and" instead of "," and "or"
instead of ";".

-- 
Normal people grows old!@#
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20090819/1d723584/attachment.html>


More information about the users mailing list