Skip to content

Instantly share code, notes, and snippets.


Lucio Delelis ldelelis

View GitHub Profile
% Ejercicio 1a
% Comprobar si una lista de elementos constituye un conjunto válido
% Un conjunto es una lista de elementos que no contiene elementos repetidos
% pertenece(Lista, Elemento): true si Elemento esta en Lista
pertenece([], _) :- fail.
pertenece([E|_], E) :- !.
pertenece([_|L], E) :- pertenece(L, E).
% esConjunto(Lista): true si Lista es un conjunto