Problemas

1. Definir el predicado MEMBER(X,L)que determina si el elemento X pertenece a la lista L.

2. Definir los siguientes predicados para listas:
   1. SUFIX(L1,L2) donde L1 es sufijo de L2.
   2. PREFIX(L1,L2) donde L1 es prefijo de L2.
   3. SUBLIST(L1,L2) donde L1 es una sublista de L2.

3. Escribir un programa en lógica que ordene listas, usando la idea de quicksort.

4. Definir el predicado ISOTREE(T1,T2) que será verdadero si T1 y T2 son árboles binarios isomorfos (es decir, iguales a menos de los valores asociados a los nodos).

Hosted by www.Geocities.ws