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 que se recorre poco a poco pasándole cada elemento de la lista al predicado pertenece el cual verifica que en el resto de la lista no exista otro igual a ese. La variable C devuelve valor 1 si hay al menos 1 repetido en la lista o 0 sino encuentra. El predicado pertenece me funciona bien. Me esta dando problemas con el verifica. Ayúdenme soy nueva en prolog!!!
Gracias de antemano.


Verifica_iguales([],0).
Verifica_iguales(L,1):-!.
Verifica_iguales([X/L],C):- pertenece(X,L,C),
Verifica_iguales(L,C).

pertenece(X,[],0).
pertenece(X,[X|_],1):-!.
pertenece(X,[_|L1],C) :- pertenece(X,L1,C).




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

1era linea: Si recorrió la lista completa y no hay iguales entonces C=0
2da linea: Si C = 1, encontró algo, entonces sale.
3era linea: Verif igual, Dev C=1 encontró, C=0 no encontró.
4ta linea : LLama recurs a la función hasta que C=1 o L=[].

1era pertenece: Si recorrió toda la lista y no encontró, C=0.
2da pertenece: comp a X con c/a elemt de la lista, si encuen C=1 y sale.
3era pertenece: Sino, C sigue sin valor, y llamo a la función recursivamente con el resto de los elementos de la lista.


El error que me da al compilar es:

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

! Error 23 : Type Error

! Goal : def([],2,_3074

Aborted

| ?-

mira, he hecho tu programa de otra forma. utilizo los comandos de prolog select (ejemplo: select(1,[1,2,3,1,5],Lista) --> Lista devuelve [2,3,1,5], es decir, lo que hace es borrar la primera ocurrencia del elemento.
También he usado member que es el \'pertenece\' que tienes tú.
Yo lo he probado y va bien, si quieres ver el seguimiento del programa usa los comandos siguientes: guitracer. (pulsas Intro) trace. (pulsas intro) algunos_iguales([1,2,3,2,5],C).
Te aparecerá entonces la pantalla de seguimiento, y podrás ejecutarlo paso a paso pulsando la barra espaciadora.


Bueno, éste es el código:

algunos_iguales([_|[]],0).

algunos_iguales(Lista,1):-
select(X,Lista,Laux),
member(X,Laux),!.

algunos_iguales(Lista,C):-
select(X,Lista,Laux),
not(member(X,Laux)),
resto(Lista,Raux),
algunos_iguales(Raux,C).

resto([_|L],L).

Espero que te sirva, un saludo.