Chicos Implementé este código, lo que quiero que haga es que verifique si en una lista hay al menos dos elementos que

sean iguales, a la vez que encuentre al menos dos iguales quiero que salga y deje una variable C igual a 1.

Pero me está dando error cuando le doy compilar. Alguien me podría orientar en qué tengo mal en el código??

Aquí se los dejo comentariado para que vean que pretendo en cada línea.
El predicado Verifica_iguales le paso una lista y una variable C en la que debe devolver 1 si encuentra algún igual o 0 sino encuentra. Ayúdenme soy nueva en prolog!!!
Gracias de antemano.

Verifica_iguales([],0). % Si recorrió la lista completa y no hay iguales entonces C=0
Verifica_iguales(L,1):-!. % Si C = 1, encontró algo, entonces sale.
Verifica_iguales([X/L],C):- pertenece(X,L,C), %Verif igual, Dev C=1 encontró, C=0 no encontró.
Verifica_iguales(L,C). %LLama recurs a la función hasta que C=1 o L=[].


pertenece(X,[],0). %Si recorrió toda la lista y no encontró, C=0.
pertenece(X,[X|_],1):-!. %comp a X con c/a elemt de la lista, si encuen C=1 y sale.
pertenece(X,[_|L1],C) :- pertenece(X,L1,C). %Sino, C sigue sin valor, y llamo a la función recursivamente con el

%resto de los elementos de la lista.




///////////////////////////////////////////////////////////////////Hasta aquí el código

El error que me da al compilar es:

! ----------------------------------------

! Error 23 : Type Error

! Goal : def([],2,_3074

Aborted

| ?-