Seminario_TP3_EJ01

Func. Auxiliar:
(defun pertenece (atomo lista)
    (if (null lista) nil
        (if (eq atomo (car lista)) t
            (pertenece atomo (cdr lista))
        )
    )
)

a)
(defun union (l1 l2)
    (if (null l2) l1
        (if (pertenece (car l2) l1)
            (union l1 (cdr l2))
            (union (append l1 (list (car l2))) (cdr l2))
        )
    )
)

b)
(defun interseccion (l1 l2)
    (if (null l1) nil
        (if (pertenece (car l1) l2)
            (cons (car l1) (interseccion (cdr l1) l2))
            (interseccion (cdr l1) l2)
        )
    )
)

c)
(defun diferencia (l1 l2)
    (defun limpio (num lista)
        (if (null lista) nil
            (if (eq num (car lista))
                (limpio num (cdr lista))
                (cons (car lista) (limpio num (cdr lista)))
            )
        )
    )
    (if (null l1) l2
        (if (pertenece (car l1) l2)
            (diferencia (cdr l1) (limpio (car l1) l2))
            (append (list (car l1)) (diferencia (cdr l1) l2))
        )
    )
)