Различие между all_different / 1 и is_set / 1 состоит в том, что первый использует «логику ограничения» и может наложить предполагаемое ограничение до того, как элементы списка будут полностью созданы,такой, что сбой происходит, когда движок Prolog вынужден объединять или присваивать равные значения двум записям аргумента списка.
Мы можем проиллюстрировать «логику ограничения» all_different следующей паройзапросов:
?- length(L,5), all_different(L), L=[1,2,3,4,5].
L = [1, 2, 3, 4, 5].
?- length(L,5), all_different(L), L=[1,2,3,4,1].
false.
Необходимо предоставить правильный список для all_different , но не иметь одну из полностью связанных или "наземных" записей.Выше показано, что all_different может перспективно налагать ограничения на записи списка.
Сравните результаты с is_set вместо:
?- length(L,5), is_set(L), L=[1,2,3,4,5].
L = [1, 2, 3, 4, 5].
?- length(L,5), is_set(L), L=[1,2,3,4,1].
L = [1, 2, 3, 4, 1].
Один раз is_set успешно, он не может предотвратить будущие привязки, которые создали равные записи.
Таким образом, предикат all_different полагается на дополнительное оборудование в библиотеке логики ограничений, чтобы делать то, что is_set не может, и в большинстве случаев это дополнительное оборудование будет увеличивать накладные расходы.Однако простым способом, который использовался в вопросе Виктора, дополнительное оборудование используется не очень часто.Проверки выполняются на полностью связанных условиях, а не на предполагаемой основе, и эффективность сопоставима.