Определение предикатов 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 реализует алгоритм
(Отметьте один правильный вариант ответа.)
Варианты ответа
поиска в ширину(Верный ответ)
поиска кратчайшего пути в глубину
«первый лучший»
поиска в глубину