title: Prolog returns numbers instead of words
body: <p>I'm trying to get a value returned through the variable <code>A</code> such as <code>loves</code>, however I'm getting a result like <code>_382</code> instead.</p>
  
  <p>Here's the query: <code>?- checksyn(likes,Result).</code></p>
  
  <p>I would want <code>Result</code> to return <code>loves</code>, not <code>_628</code>. Is it not binding? I'm not sure.</p>
  
  <p>Here's the code...</p>
  
  <pre><code>synonym(loves,[likes,adores]).
  synonym(challenge,[problem]).
  
  checksyn(X,A):-
        synonym(_,[X|_])
     ;  synonym(_,[_|X]),
        synonym(A,[X|_]),
        synonym(A,[_|X]).
  </code></pre>
  
  <p>Thanks in advance for any help :)</p>