title: Prolog: "findall" for limited number of solutions
body: <p>Say I want to find sum of all solutions to a predicate, I just can use</p>
  
  <pre><code>findall(L, find(L), Sols),
  </code></pre>
  
  <p>and just sum members of Sols.</p>
  
  <p>But what if find(L) has a huge number (infinitely, maybe) of solutions, and I just want to get only first 10 of them?</p>
  
  <p>I'd want this to be usable in B-Prolog and ECLiPSe CLP.</p>