member(X, L).
 

member(X, L). - Предикат проверки истинности того, что X входит в состав списка L.

X

Терм

Y

Список

 

Определение предиката

member(X, [X|Xs]).
member(X, [Y|Ys]) if member(X, Ys).

 

Примеры

goal: member(X, L).

зацикливание!

goal: member(X, [a, b, c]).

X
a
b
c

goal: member(a, [a, b, c]).

Да

goal: member(a, X).

зацикливание!

goal: member(d, [a, b, c]).

Нет