A solution to the Towers of Hanoi problem using JEOPS.
The rule base file:
BaseHanoi.rules