title: prolog predicate returns facts(?)
body: <p>First of all, if the answer to my question is <a href="https://stackoverflow.com/questions/4296687/prolog-getting-predicate-solutions-and-asserting-them-as-facts">here</a> or <a href="http://users.aber.ac.uk/ais/Prolog/search.html" rel="nofollow noreferrer">here</a>
  I couldn't find it so please don't kill me.</p>
  
  <p>I want to write a Prolog predicate which returns a list of this form: </p>
  
  <pre><code>(list[elem, elem2], list[elem3, elem4], list[elem5, elem6]).  
  </code></pre>
  
  <p>now I can think of several ways to return a list of this form:</p>
  
  <pre><code>([elem, elem2], [elem3, elem4],[elem5, elem6]).
  </code></pre>
  
  <p>but how do I make the word "list" appear there as well? what is it even? a fact? another predicate? </p>
  
  <p>Thanks in advance!</p>