stop

Stops the goal being solved: the solution promised is a halt, at once (The evaluation was stopped), as the other halts of a goal, and the work of the cluster for it is given up; the next goals are solved as before. Nothing is done if no goal is being solved.