title: what does slash(/) do in prolog?
body: <p>I have this code:</p>
  
  <pre><code>set_value(X,Value,[X/_|T],[X/Value|T]).
  set_value(X,Value,[Y/V|T],[Y/V|NewT):- X\=Y,set_value(X,Value,T,NewT).
  set_value(X,Value,[],[X/Value]).
  </code></pre>
  
  <p>But I cannot figure out what does / do. It looks like it pairs variables, but I'm not 100% sure. It definitely isn't division operator. Thanks.</p>