1 .定义描述环境状态的谓词。
at(x，w ):x位于w，个体域(x ) monkey )，w ) a、b、c、box；
Hold(x，t ) ) x在手里是t，个体域) t ) box，banana} )；
Empty(x ) ) x的手是空的；
on(t，y ):t在y，个体域： y ) b，c )；
盒(u ):u为盒，个体域(u )盒；
BANANA(v(v )是香蕉，个体域) Banana )；
2 .初始状态
at(monkey，a ) :猴子在a
Empty(Monkey ) :猴子的手是空的
on(box，b ) :箱在b上
on(Banana，c ) :香蕉在c上
框(框) )。
是Banana(Banana )
问题的结束状态
at(monkey，box ) hold (monkey，banana ) on (box，c ) )。
盒(盒) Banana (盒) Banana ) )。
3 .行动。
walk(m，n ) :猴子从m走到n，个体区域(m，n ) a、b、c )；
Carry(s，r ) :猴子以r取得s，个体域(r(c )，s ) box，banana} )；
climb(u，b ) :猴子在b处爬u；
操作
walk(m，n ) :猴子从m走到n
条件： at(Monkey，m ) ) ) ) ) ) ) )。
行为：删除at(monkey，m )并增加at(monkey，n )
卡莉(s，r ) :猴子用r得到s
条件： at(monkey，r ) empty (monkey ) on (s，r ) box (banana ) banana ) ) ) ) ) ) )
行为：删除empty(monkey ) ^ on (s，r )并增加hold (monkey，s )
climb(u，b ) :猴子在b处爬u
条件： at(Monkey，b ) Hold ) Monkey，u ) box (Banana ) banana ) ) ) ) 652 )
行为：删除at(monkey，b ) hold (monkey ) CLEAR，增加at(monkey ) empty (on ) u，c )
4 .按照行动计划，逐步更换状态，直到达到目标状态
at(monkey，a ) empty (monkey ) on (box，b ) on (banana，c ) box (banana )猴子在a。 没有香蕉。 箱子在b，香蕉在c
at(monkey，b ) empty (monkey ) on ) box，b ) on ) banana，c ) box (banana )猴子在b，没有香蕉，箱子在b，香蕉在c
at(monkey，b ) hold ) monkey，box ) on ) Banana，c ) Banana )猴子在b，猴子拿箱子，香蕉在c
at(monkey，c ) Hold ) monkey，box ) on ) Banana，c ) Banana )猴子拿着箱子在c，香蕉在c
at(monkey，box ) empty (monkey ) on ) box，c ) banana (banana )猴子站箱子，没有香蕉，箱子在c，香蕉在c
得到at(monkey，box ) hold (monkey，banana ) on (box，c ) banana (猴子站的箱子，香蕉，箱子是c ) )目标的解)。
猴子行动的规则序列为： walk(a，b )CARRY(b ) b，box )WALK(b ) b，c )climb (box，c )CARRY(b ) Banana，c )