Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% El mono y el plátano (ver https://bit.ly/3MjfevT ) solucion(estado(_,_,_,con),[]). solucion(E1,[A|L]) :- movimiento(E1,A,E2), solucion(E2,L). movimiento(estado(centro,silla,centro,sin), coger, estado(centro,silla,centro,con)). movimiento(estado(X,suelo,X,U), subir, estado(X,silla,X,U)). movimiento(estado(X1,suelo,X1,U), empujar(X1,X2), estado(X2,suelo,X2,U)). movimiento(estado(X,suelo,Z,U), pasear(X,Z), estado(Z,suelo,Z,U)). /** <examples> ?- solucion(estado(puerta,suelo,ventana,sin),L). */