Prolog

[Brown. 1]

Oi, alguém pode me da uma ajuda nessa questão?

 

 

 

Suponha o predicado membro, definido abaixo. Para cada uma das aplicações para

esse predicado, forneça um exemplo (pergunta e resposta do sistema Prolog) .

membro(X,[ X | _] ).

membro(X,[ _ | Xs]):-membro(X,Xs).

 

a- testar se um elemento está na lista.

b- retornar todos os elementos de um conjunto. (usar findall)

[_Isis_ 202]

Você usa o Swi-Prolog? Se for esse, use o comando trace(membro) e execute a consulta.

 

P/ usar findall dê um load no arquivo pl e faça findall(X,membro(X|[1,2,3,4,5,6],L).

Nem lembro como se fazia p/ adicionar uma instanciação na base de dados e se dava algum problema.