1.- Dadas las siguientes reglas en Prolog:
        (i)     s([], L0).
        (ii)    s([X|L1], [X|L2]) :- s(L1, L2).
        (iii)   s([X|L1], [Y|L2]) :- s([X|L1], L2).

    Considere la siguiente consulta:

        ?- s(L, [a,b]).

  - Ejecute paso a paso el motor de búsqueda de Prolog para encontrar la
    primera solución.

  - Indique 3 nuevas soluciones.

2.- Se tiene el siguiente programa en Prolog:

    (i)    f(v).
    (ii)   f(c).
    (iii)  e(X) :- f(X).
    (iv)   e(s(X,Y)) :- f(X),e(Y).

    Ejecute paso a paso el motor de búsqueda de Prolog para encontrar todas
    las soluciones para la siguiente consulta:

    ?- e(s(c,s(X,v))).

3.- Resuelva el problema de la tarea 3 en Prolog.

4.- Intente resolver el problema de las N-reinas descrito en:

  http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_11.html

  Luego, compare su solución con la que se propone en esa misma página.

5.- Escriba el predicado eval(F,X) que permite evaluar expresiones
  aritméticas representadas como listas.  Ejemplos:

  eval([1], X) => X= 1
  eval([1, +, 1], X) => X= 2
  eval([1, +, 3, *, 2], X)  => X= 7
  eval([[1, +, 3], *, 2], X) => X= 8