Определение предикатов arc и path имеет вид: arc(1, 2). arc(1, 3).arc(3, 4).path([X | L], X, [X | L]).path([X | L], Y, P):- arc(X, Z), not(isMember(Z, L)), path([Z, X | L], Y, P).
В результате вызова цели path([1], 4, P) переменная P примет значение:
(Отметьте один правильный вариант ответа.)
Варианты ответа
[1, 3, 4]
[4, 3, 2, 1]
[1, 2, 3, 4]
[4, 3, 1](Верный ответ)