noequals(L).
 

noequals(L). - Предикат определет, имеются ли в списке L  одинаковые элементы. Предикат возвращвет значение true, е сли совпадающих элементов нет, в противном случае false.

L

Список

 

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

noequals([A|L1]) if nonmember(A, L1), nonequals(L1).
noequals([ ]).

Примеры

goal: noequals([1,2,3,4]).

Да 

goal: noequals([1,2,3,3]).

Нет