Найти все вершины графа, к которым существует путь заданной длины от выделенной вершины графа - Prolog

Формулировка задачи:

Написать программу на prologuse на русском языке как на примере(Определить, является ли связным заданный граф.)

Решение задачи: «Найти все вершины графа, к которым существует путь заданной длины от выделенной вершины графа»

Листинг программы

p(0, _A, [_A|_T], [_A|_T]).
p(N,_A, [_B|_T], _P) :-
  реб(_B,_C),
  not(элем(_C,_T)), 
  N1=N-1, 
  p(N1, _A,[_C,_B|_T],_P).

Объяснение кода листинга программы

Код представляет собой реализацию алгоритма поиска путей в графе, основанного на рекурсивной функции.

p(0, _A, [_A|_T], [_A|_T]) - начальное условие. Путь нулевой длины от любой вершины до самой себя не является интересным, поэтому _T не изменяется.
p(N,_A, [_B|_T], _P) :- - рекурсивный случай. Здесь _A и _T играют роль тегов, которые позволяют нам не передавать эти переменные по ссылке. _B - вершина, которую мы рассматриваем в текущем узле графа. _P - результат рекурсивного вызова функции.
реб(_B,_C) - проверка, является ли _B ребром графа, то есть имеет ли она хотя бы одного сосед. Если это так, то мы можем продолжить поиск пути.
not(элем(_C,_T)) - проверка, не является ли _C уже частью пути, чтобы избежать зацикливания.
N1=N-1 - уменьшение счётчика длины пути на единицу.
p(N1, _A,[_C,_B|_T],_P) - рекурсивный вызов функции с обновлёнными значениями счётчика пути и пути, увеличенного на ребро _C.
_P - результат рекурсивного вызова функции, который мы передаём в качестве результата из нашего рекурсивного вызова функции. Таким образом, данный код реализует алгоритм поиска путей в графе, начиная с заданной вершины, и записывает все найденные пути в виде списка.