Следующий предикат высшего порядка успешно выполняется, если все пары элементов списка верны для данного отношения. Есть общее или лучшее, более намеренное раскрытие имени для этого отношения?

Моя оригинальная мотивация для этого имени была в Clpfd, часто есть ограничениеall_different/1 который описывается как истинный, если элементы пара по-другому. На самом деле, довольно предпочтительно говорить, что все элементы разные, но я часто исправлялся (другими программистами Пролога), чтобы использовать попарно разные. Фактически, это ограничение теперь наиболее естественно можно выразить какpairwise(#\=, Zs).

pairwise(Rel_2, Xs) :-
   i_pairwise(Xs, Rel_2).

i_pairwise([], _).
i_pairwise([X|Xs], Rel_2) :-
   maplist(call(Rel_2,X),Xs),
   i_pairwise(Xs, Rel_2).

Как заметил @aBathologist, слово «попарно» - не то слово, потому что оно может иметь смысл для нерефлексивногоRel слишком

Также отношениеRel не является полным отношением, потому чтоcall(Rel, X, X) может потерпеть неудачу, ноpairwise(Rel, Xs) все еще может быть успешным.

Я даже гулял за(a->a->Bool)->[a]->Bool. Но Hayoo нашел: названиеpairwise в отличие от точечного.

Посмотрел на МО и математику:

Кто изобрел попарно разные

Разница между попарно различными и уникальными