title: reading terms in Prolog
body: <p>I have to do a small program to work with sets like <code>A = {3,5,1,8}</code>. A set like this can be made by the facts:</p>
  
  <pre><code>set(a,3)
  set(a,5) 
  set(a,1) 
  set(a,8)
  </code></pre>
  
  <p>and I've got these domains and this fact:</p>
  
  <pre><code>domains 
  name=symbol
  element=integer 
  
  facts
  set(name,element)
  </code></pre>
  
  <p>Now I have to implement a function that lets the user add new sets, but I have to use the predicate "readterm" to read the sets from the keyboard and I've got no idea how to use it :S</p>
  
  <p>Can you help me?</p>
  
  <p>Thanks!</p>