module needs_breadth_first.

  p :- p, q.
  p.
  q.