Discussion :

[xeron33]

bsr,
Je voudrais un prédicat qui vérifie que L est une liste qui contient l'élément X

mon code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
 liste(X,L):-(L is[H|T]),X is H.

A la compil j'ai ce message :
compiling e:/seq/essai4.pl for byte code...
e:/seq/essai4.pl:8: warning: singleton variables [T] for liste/2
Si quelqu'un peut m'expliquer pourquoi merçi

[Trap D]

is est réservé qux opérations mathématiques.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

X is 2 + 3

. par exemple.
Tuypiquement, pour vérifier qu'un élément X appartient à une liste, tu parcours ta liste en regardanbt si X est le premier élélent de la liste.
C'est un prédicat avec 3 clauses :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
% Que conclure lorsque la liste est vide
appartient_a(X, []) :- 
  ..............
 
% que conclure lorsque X est le premier élément de cette liste
appartient_a(X, [Y |T]) :-
  X = Y,
  ......................
 
% que fiarelorsque X n'est pas le premier élément de cette liste
appartient_a(X, [Y|T]) :-
  X \= Y,
  ......................

\= signifie n'est pas égal en SWI-Prolog

[xeron33]

Merçi bcp pour ton aide
A +