猴子和香蕉在序言

Question

我有這樣的序言代碼解決猴子和香蕉的問題，但我的編譯器給出錯誤

這是我的代碼：

 

move(state(middle, onbox, middle, hasnot), grasp, 
    state(middle, onbox, middle, has)). 
move(state(Pos, onfloor, Pos, Has), climb, 
    state(Pos, onbox, Pos, Has)). 
move(state(Pos1, onfloor, Pos1, Has), push(Pos1, Pos2), 
    state(Pos2, onfloor, Pos2, Has)). 
move(state(Pos1, onfloor, Box, Has), walk(Pos1, Pos2), 
    state(Pos2, onfloor, Box, Has)). 

canget(state(_,_,_,has)). 
canget(State1) :- move(State1, Move, State2), canget(State2). 
 

錯誤：移動是辛格爾頓變量。
我的錯誤是什麼？

Answer 1

canget(S0) :- 
    S = state(_,_,_,has), 
    closure0(\X^Y^move(X,_,Y),S0,S). 

使用closure0/3和lambda