The node you are looking for is at Definition of sweeprolog-next-solution.