Если для решения задачи используется граф пространства состояний, то решение является

Отметьте верное утверждение. Поиск в ширину на графе пространства состояний обычно используется:

Отметьте верное утверждение. Поиск в глубину на графе пространства состояний обычно используется:

Состояниям на графе пространства состояний обычно соответствуют:

Если пространство состояний моделируется в виде графа, то обычно:

Цель L = list::fold([-1, 2, -3], {(X, S) = S + X}, 0) имеет решение:

Цель L = list::filter([-1, 2, -3], {(X):- X < 0}) имеет решение:

Цель L = list::map([-1, 2, -3], {(X) = -X}) имеет решение:

Отсечение используется:

Динамическое отсечение используется

Признак N присутствует, если в базе данных имеется факт answer(N, 1), и отсутствует, если в ней имеется факт answer(N, 0). Определение предиката correct имеет вид:

correct(L):- answer(N, 1), not(isMember(N, L)), !, fail; succeed(). 

Предикат истинен, если