Обезьяна и банан в прологе

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). 
 

Ошибка: Move является Singleton переменным.
В чем моя ошибка?

Answer 1

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

Использование closure0/3 и lambda