A solution to the Towers of Hanoi problem using JEOPS.