What is the general idea of using breadth-first over the default depth-first search scheme in Prolog?
Not taking infinite branches?
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.