Massive optimisation - discovered the “permutation” clause in gprolog. eight_queens4 now takes < 150ms!