A solution to the Monkey and Bananas problem using JEOPS.
The rule base file:
MonkeysBase.rules