Conjuntos Implementados en Prolog

Hola aquí les dejo unos ejercicios sobre conjuntos implementados en Prolog

Un conjunto es una lista pero con la diferencia que en un conjunto no deben haber elementos repetidos, espero les sea de ayuda para sus practicas en este lenguaje.

Implementacion:

1. % Autor: Joel Fernandez Segura
2. % Fecha: 11/05/2014
5. % ------------------ CONJUNTOS -----------------------------
8.  % ------------- añadir(C,E,CE) ----------------------------
9.  añadir(X,[],[X]).
10.  añadir(X,[L|Ls],[L|R]):-añadir(X,Ls,R).
12. % ----------------------- pertenece(E,C): E pertenece al conjunto C--------
14.  pertenece(X,[X|_]):-!.
15.  pertenece(X,[_|Y]):-pertenece(X,Y).
18. %------------------- elimina(CE.E.C) -------------------------
20. eliminar(X,[X|Xs],Xs):-!.
21. eliminar(X,[Y|Ys],[Y|Lr]):-eliminar(X,Ys,Lr).
23.  %-------------------- es_conjunto(C) -------------------------
25.  lista([]).
26.  lista([_|_]).
27.  es_conjunto(C):-lista(C).
29.  % --------------  Conjuntos Iguales (C1,C2)----------------------
31.  conjuntos_iguales([],_).
32.  conjuntos_iguales([C1|Cc],C2):- pertenece(C1,C2),conjuntos_iguales(Cc,C2).
34.  % ------------------------  union(C1,C2,C): union de conjuntos -------------
36. union([],C,C).
37. union([X|Xs],C2,C):- pertenece(X,C2),union(Xs,C2,C),!.
38. union([X|Xs],C2,[X|Zs]):-union(Xs,C2,Zs).
40. %------------------------ interseccion(C1,C2,C) -----------------------------
41. interseccion([],_,[]).
42. interseccion([X|Xs],L,[X|Zs]):-pertenece(X,L), interseccion(Xs,L,Zs),!.
43. interseccion([_|Xs],L,Zs):-interseccion(Xs,L,Zs).
45.  %------------------------- diferencia(C1,C2,C)------------------------------
47. diferencia([],_,[]).
48. diferencia([X|Xs],L,[X|Zs]):-not(pertenece(X,L)),diferencia(Xs,L,Zs),!.
49. diferencia([_|Xs],L,Zs):-diferencia(Xs,L,Zs).