I\'m having trouble with the following predicate:
treeToList(void, []). treeToList(arbol(X, HI1, HD1), L) :- treeToList(HI1, L1), treeToList(HD1, L2), append(L1,