Будет ли использовать элемент в рамках предложения forall в SWI-Prolog всегда выводить элементы в том же порядке?

Question

Недавно попал в Прологе Я использую его на несколько простых задач и начал задаваться вопросом об использовании элемента в пределах FORALL петель, как в тривиальном примере ниже:

forall(member(A,[1,2,3,4]), print(A)). 

В случае, что вы делаете что-то вроде этого всегда верно, что forall будет обрабатывать элементы в списке в том же порядке каждый раз при его вызове? Есть ли у него должно быть исполнено путем говорят делать что-то вроде:

A = [1,2,3,4], sort(A, B), forall(member(C,B), print(C)). 

от того, что мало исследований я изначально сделал я предполагаю, что это сводится к поведению члена/2, но в документации функции на Сайт SWI-Prolog очень краток. Однако он упоминает детерминизм в отношении члена/2, который дал мне понять, что я могу быть на правильном пути, говоря, что он всегда будет извлекать элементы в том же порядке, хотя я далеко не уверен.

Может ли кто-нибудь дать мне какие-либо гарантии или пояснения по этому вопросу?

Answer 1

недетерминизм в Прологе просто относится к предикату, имеющим потенциально более одного решения. Очевидно, member/2 является таким предикатом. Это не означает, что вы должны беспокоиться о том, что ваши вычисления становятся непредсказуемыми. В Prolog есть четко определенное правило вычисления, в котором, по сути, говорится, что альтернативные решения исследуются с помощью принципа глубины, слева направо. Таким образом, ваша цель member(X,[1,2,3,4]) будет генерировать решения для X в ожидаемом порядке 1,2,3,4.

Сортировка списка [1,2,3,4] не будет иметь никакого значения, поскольку она уже отсортирована (согласно стандартному порядку заказа Prolog).

Предупреждение о forall/2: некоторые Прологи определяют это, но, вероятно, это менее полезно, чем вы себе представляете, потому что это не «петля». Вы можете использовать его в своем примере, потому что вы выполняете только эффект печати на каждой итерации. Для большинства других целей, вы должны ознакомиться с рекурсивными моделями как

print_list([]). 
print_list([X|Xs]) :- print(X), print_list(Xs). 

Answer 2

Строго говоря, нет никакой гарантии в SWI на нескольких уровнях:

1MO, что member/2 или forall/2 будет выполнять именно таким образом, так как вы можете переопределить их.

?- [user]. 
member(X,X). 
|: % user://1 compiled 0.00 sec, 2 clauses 
true. 

?- forall(member(A,[1,2,3,4]), print(A)). 
[1,2,3,4] 
true. 

Однако member/2 определяется в Prolog prologue, которая охватывает все детали вы заинтересованы. Что касается forall(A,B) безопаснее писать \+ (A, \+B) вместо этого, так как это зависит от только стандартных функций. Не существует определения forall/2 как такового, поэтому трудно сказать, что такое «правильное» поведение.

2do, этот SWI будет стандартным. Если вы прочтете документацию, вы заметите, что для стандартного соответствия нет самообъявления (как, например, SICStus Prolog). На самом деле, \+ (A, \+B) не полностью конформным, как показано в следующем примере, который должен молча терпят неудачу, а печатает nonconforming

?- \+ (C= !, \+ (C,fail;writeq(nonconforming))).