A Prolog tool for solving the MU puzzle