ódigo para membro / 2 com algum determinis
Como posso codificar o membro / 2 que possui determinismo para o último elemento. Atualmente estou usando:
member(X,[X|_]).
member(X,[_|Y]) :- member(X,Y).
Quando consulta o seguinte:
?- member(X,[1,2]).
X = 1 ;
X = 2 ;
No
O intérprete continua pesquisando após retornar 2, pois ainda resta um ponto de escolha. Como implementar o membro / 2 para que isso não aconteça mais?
Mas a semântica completa do membro / 2 deve ser preservada, ou seja, respostas como:
?- member(X,Y)
Y = [X|_1] ;
Y = [_1,X|_2] ;
etc..
Deve ainda funcionar como antes.
Tcha