Factoring out control in searching a state space

.so search .so queens