[m-users.] Mercury operators explained

Piotr Trojanek piotr.trojanek at gmail.com
Wed Feb 19 09:11:35 AEDT 2014


Dear Mercury experts,

please excuse me for a naive question, but where can I find
documentation of the Mercury operators?

I was translating my code from SWI-Prolog and found that there is no
"=\=" operator in Mercury. There are many other built-in operators
listed in the Mercury Reference Manual, but they are not explained.

Am I missing something?

-- Piotr



More information about the users mailing list