图4.20给出该问题的一棵修改证明树，从根部得到回答语句
HB（grasp（climbbox（pushbox（c， ））））

图4.20猴子摘香蕉问题的修改证明树

由此可得问题的解：猴子为拿到香蕉，他的行动规划应是（push（c， ）， climbbox， grasp）。
基于归结的问题求解方法，其优点是无需专门的机理来实现算子的各种计算，这些计算都是由定理证明程序中的演绎方法来处理，因此求解过程简单。其缺点是有用的启发信息不容易引入求解过程，且所需要的推理常识也都要以专门的公理形式给出各种关系的描述。