Prolog Rubik's Cube Solver by Dennis Merritt