title: Prolog =:= operator
body: <p>There are some special operators in Prolog, one of them is <code>is</code>, however, recently I came across the <code>=:=</code> operator and have no idea how it works.</p>
  <p>Can someone explain what this operator does, and also where can I find a predefined list of such special operators and what they do?</p>