Prolog - Ayudenme en este codigo please!!!!!

   
Vista:

Ayudenme en este codigo please!!!!!

Publicado por Mar (4 intervenciones) el 25/07/2009 16:39:55
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

| ?-
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
información
Otras secciones de LWP con contenido de Prolog
- Código fuente de Prolog
- Cursos de Prolog
- Temas de Prolog
información
Códigos de Prolog
- Resolver Sudokus
- Problema resuelto
- Problema del Granjero