Discussion :

[blili]

Bonjour a tous,

je voudrais savoir comment programmer en prolog non appartenance d'une variable a une liste.

pour vérifier si une variable appartient a une liste, on utilise member/2, pour vérifier qu'une variable n'appartient pas a une liste, j'ai essayé not(member) mais ça marche pas.

quelqu'un peut m'aider à résoudre ça.

Merci d'avance.

[blili]

J'ai trouvé la réponse a ma question.

un élément n'appartient pas a une liste:

si d'abord il n'appartient pas a une liste vide.

s'il n'appartient a la tête de la liste et au reste de la liste.

Merci a tous.

[Trap D]

C'est exactement ce que fait member/2
Dans le cas de non appartenance, on teste \+member.