Определение предикатов arc, cont и path имеет вид: arc(1, 3). arc(3, 4). cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)). path([[Y | L] | _], Y, [Y | L]). path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(PL, L1, PL1), path(PL1, Y, R). Предикат path реализует алгоритм

Правильный ответ:

• # Отметьте верное утверждение. Поиск в ширину на графе пространства состояний обычно используется:
• # Конкретизированная переменная – это переменная, которая
• # Программа имеет вид: likes(ann, books). likes(tom, baseball). male(tom). male(bob). Укажите порядок нахождения решений для цели male(Y); likes(X, Y) 1) Y = bob 2) Y = tom 3) X = tom,Y = baseball 4) X = ann,Y = books
• # Определение предиката append имеет вид:append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append([1, 2, 3], [], L)?
• # Цель L = list::fold([-1, 2, -3], {(X, S) = S + X}, 0) имеет решение: