stop

Stops the goal being solved, from another thread: its solution waited for is a halt, at once (The evaluation was stopped), 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.