Buenas,
Quiero hallar la manera de poder devolver una lista con todos los nodos de un árbol en prolog.
Se define un árbol binario en Prolog de la siguiente manera:
A4 = [[[[[],1,[]],5,[]],
7,
[[],3,[[],4,[]]]],
6,
[[[],10,[]],
8,
[[[],9,[]],11,[[],2,[]]]]]
Cuyo aspecto es el siguiente
Mi duda es, haciendo uso únicamente de los siguientes constructores y selectores
vacio([]).
raiz([_,N,_], N).
hi([HI,_,_],HI).
hd([_,_,HD],HD).
hazarbol(R,HI,HD,[HI,R,HD])
Cómo puedo definir un predicado listadenodos(Abn,L)
de manera que por ejemplo:
?- listadenodos(A4,L).
L=[2,9,11,10,8,4,3,1,5,7,6]
La solución que se me ha ocurrido aunque aún no funciona es:
descendencia(X,[L,X,R],[L,X,R]).
descendencia(X,[L,_,_],D) :- descendencia(X,L,D).
descendencia(X,[_,_,R],D) :- descendencia(X,R,D).
listadenodos([],[]).
listadenodos([[],X,[]],[X]).
listadenodos(Abn,P) :- raiz(Abn, N), descendencia(N,Abn,D), listadenodos(D,P).
No busco una respuesta inmediata si no una explicación de cómo proceder para resolver al ejercicio ya que no sé como podría empezarlo, aunque tengo las nociones básicas de Prolog.