Estoy empezando con Prolog y tengo la siguiente duda. 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.
La duda es la siguiente:
Se define un árbol binario en Prolog de la siguiente manera:
A4 = [[[[[],1,[]],5,[]],
7,
[[],3,[[],4,[]]]],
6,
[[[],10,[]],
8,
[[[],9,[]],11,[[],2,[]]]]]
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 padre(N,Abn,P)
de manera que por ejemplo:
?- padre(3,A4,P).
P=7
Gracias