|
|
noequals(L). - Предикат определет, имеются ли в списке L одинаковые элементы. Предикат возвращвет значение true, е сли совпадающих элементов нет, в противном случае false.
|
|
Определение предиката
noequals([A|L1]) if nonmember(A, L1), nonequals(L1).
noequals([ ]). |
Примеры
goal: noequals([1,2,3,4]). |
Да |
goal: noequals([1,2,3,3]). |
Нет |
|
|