• Martes 19 de Marzo de 2024, 06:43

Autor Tema:  Ayúdenme en este código de Prolog!!!!  (Leído 1535 veces)

Mar25

  • Nuevo Miembro
  • *
  • Mensajes: 2
    • Ver Perfil
Ayúdenme en este código de Prolog!!!!
« en: Sábado 25 de Julio de 2009, 16:10 »
0
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,_30748)

Aborted

| ?-