title: What is the Prolog operator `^` ("caret")?
body: <p>What is the Prolog operator <code>^</code> ?</p>
  
  <p>Looking at <a href="http://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/op.html" rel="nofollow noreferrer">The Prolog Built-in Directive op</a> gives a list of the built-in operators.</p>
  
  <p>I see</p>
  
  <ul>
  <li><code>**</code> is <em>exponentiation</em></li>
  <li><code>/\</code> is <em>or</em></li>
  </ul>
  
  <p>but what is <code>^</code> ?  </p>
  
  <p>Each of the three current answers are of value and I learned something:  </p>
  
  <ul>
  <li>Roy for the book   </li>
  <li>false for the examples   </li>
  <li>I accepted the answer by CapelliC because it made clear that ^/2 has multiple meanings<br>
  depending on context which instantly cleared up my confusion.</li>
  </ul>