title: Breadth-First in Prolog
body: <p>What is the general idea of using breadth-first over the default depth-first search scheme in Prolog?</p>
  
  <p>Not taking infinite branches?</p>
  
  <p>Is there any general way to use breadth-first in Prolog? I've been googling around and I didn't find too much useful info for a novice.</p>