Prolog - Programa del chango y la banana

hola que tal, ya revice las 4 paginas dedicadas a prolog en este foro y no veo que hagan mension a este programa, que me imagino que alguna vez vieron, "el chango y la banana" alguien sabe como hacerle preguntas ??? es mas o menos asi :

move(state(P1,onfloor,P1,H),
push(P1,P2),
state(P2,onfloor,P2,H)).

lo conocen ??

si e visto el programa, la pregunta correspondiente es:

? puede_alcanzar(estaso(en_puerta,en_suelo,cerca_ventana,no_tiene)).

claro, tienes k checar k tus acciones o metas esten de manera correcta.