nonmember(X, L).
 

nonmember(X, L). - Проверяет истинность утверждения, состоящего в том, что элемент X не входит в список L.

X

Терм

L

Список

 

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

nonmember(X, [Y|Ys]) if ne(X, Y), nonmember(X, Ys).
nonmember(X, [ ]).
 

Прмеры

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

Нет

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

Да

goal: nonmember(d, X).

X=[ ]

goal: nonmember(X, Y).

Y=[ ]