A solution to the Towers of Hanoi problem using JEOPS.

The rule base file: BaseHanoi.rules