What logic they use to program this Rubik's cube robot solver?

Question

Please watch the video at : https://www.youtube.com/watch?v=uWkZ51yxvis

Lego Mindstorms Rubiks Cube Solving Robot Instructions and program at http://tiltedtwister.com Designed by Hans Anderson

Answer 1

PROLOG

The Prolog language and an efficient heuristic searching technique is used to solve Rubik's Cube.
http://zunny.com/RUBIK.HTM