[m-users.] Mercury operators explained

[Richard A. O'Keefe]

A small but important correction:
  The Mercury equivalent of Prolog's =\= is *NOT* = .
  It's \= .
  =\= tests for inequality; using = would reverse the logic.