title: How to iterate through all facts in a predicate?
body: <p>Lets say I have a database with:</p>
  
  <pre><code>holds(p1,b1).
  holds(p2,b1).
  holds(p3,b1).
  </code></pre>
  
  <p>I want to have a predicate that can check all the holds statements from the database without me having to type holds(X,b1) 3 times in case I don't know before hand how many are in the database.</p>