%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Patron de la busqueda en profundidad
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% resolver (Id_Problema,Solucion)
resolver(Problema,[Eo|Solucion]) :-
inicial(Problema,Eo),
resolver(Problema,Eo,[Eo],Solucion).
% resolver(Id_Problema,Ei,Visitados,Solucion)
resolver(Problema,En,_,[]) :-
final(Problema,En).
resolver(Problema,Ei,Visitados,[En|Es]) :-
proximo_estado(Problema,Ei,En),
no_esta(En,Visitados),
resolver(Problema,En,[En|Visitados],Es).
% Funcion auxiliar
no_esta(_,[]).
no_esta(X,[Y|Ys]) :-
X \== Y,
no_esta(X,Ys).
Tambien puedes hacer uso de esta otra variante :
%Resuelve almacenando en 'FoundPath' los movimientos realizados.
solve(Goal,Goal,FoundPath,FoundPath):- !.
solve(State,_Goal,[_Current|Path],_FoundPath):- member(State,Path),!,fail.
solve(State1,Goal,Path,FoundPath):- proximo_estado(hzog, State1,State2), solve(State2,Goal,[State2|Path],FoundPath).
%LLamada inicial para resolver y escribir todas las posibles soluciones
solution(FoundPath):-
inicial(hzog, Start),
final(hzog, Goal),
solve(Start,Goal,[Start],FoundPath).
Espero que te haya servido de ayuda
Saludos...
