猴子采摘草莓实验的剖析定义了描述环境状态的原语。 Monkey(a)：猴子在a点猴子摘香蕉，所以本题取a、b、c。 Hold(x,t): x holds in hand Onbox(a): a 使用盒子中的从句、连接词和量词来表达环境的状态。 问题的初始状态可以表示为： Monkey(a)Box(c)Banana(b) 要达到的目标状态为： Hold(monkey,banana) clause: goto(a,b): the monkey walks from a to bpush (a,b): 猴子推 b to aclimb (a): 猴子爬上 a。 reach(a): 猴子得到猴子的路线是： goto(a,c)push(c,box)climb(box)reach(banana) 在上面的过程中猴子摘香蕉，我们要注意当猴子执行某个操作，需要检测当前状态是否满足要求的条件，即证明当前状态是否包含操作需要的状态的过程。 在动作过程中，在检查条件是否满足后执行变量替换。 如果代入新条件后的新状态是目标状态，则问题解决； 否则，取决于是否满足以下操作。 如果不满足或满足但又回到原来的状态，则替换无效。 源代码 #inclustructStateintmonkey;/*0:Monkeyintbox;/*0:boxintmonbox;box;0:monkeychar*routesave[10];voidnextStep(structStateStates,intprintf("you?vegotresult:n");routesave[i]=" Monkeygetbanana!";}else{States.monboxroutesave[i]="Monkeyclimbsbox!";nextStep(States,i+1);}else{States.monkeyroutesave[i]="Monkeypushes}else{States.monkeyStates.box;routesave [i]="Monkeygoesbox!";nextStep(States,i+1);intmain(){structStateStates;States.monkey=0;States.box=2;States.monbox=0;nextStep(States,0);
