Utilisation d'append avec le prédicat de membre

Question

Je souhaite savoir comment implémenter l'ajout dans le prédicat de membre.

Je possède ce pour les membres

member2(X, [X|T]). 
member2(X, [H|T]) :- member2(X,T). 

Comment pourrais-je mettre en œuvre ajouter dans ce.

Merci!

Answer 1

C'est la mise en œuvre du append/3 prédicat:

append([],X,X). 
append([H|T],X,[H|S]) :- append(T,X,S). 

Vous pouvez définir member/2 prédicat en utilisant append/3 comme suit

member(X,L) :- append(_,[X|_],L). 

où append(_,[X|_],L) divise la liste L de toutes les formes possibles (par révaluation) et le membre X unifie avec la tête de la deuxième liste [X|_].