Определение предикатов arc, cont и path имеет вид: arc(1, 2).arc(1, 3).arc(3, 4).arc(2, 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([[1]], 4, P) .
(Отметьте один правильный вариант ответа.)
Варианты ответа
[1, 3, 4]
[1, 2, 4]
[4, 2, 1](Верный ответ)
[4, 3, 1]