Определить, является ли связным заданный граф - Prolog

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

Определить, является ли связным заданный граф

Решение задачи: «Определить, является ли связным заданный граф»

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

ребро(a,c).
ребро(a,b).
ребро(c,d).
ребро(b,d).
ребро(e,d).
ребро(f,g).
реб(_A,_B):-ребро(_A,_B);ребро(_B,_A).
элем(_H,[_H|_]).
элем(_X,[_|_T]):-элем[_X,_T).
путь(_A,_B,_P):-p(_A,[_B],_P).
p(_A,[_A|_T],[_A|_T]).
p(_A,[_B|_T],_P):-аҐЎ(_B,_C),not(н«Ґ¬(_C,_T)),p(_A,[_C,_B|_T],_P).
две_вершины:-реб(_A,_),аҐЎ(_B,_), _A\=_B, not(Їгвм(_A,_B)).
граф_связный:-not(две_вершины).
?-граф_связный.

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

В коде описывается граф, представленный в виде набора ребер (связей между вершинами). Каждое ребро задается как факт вида ребро(A, B), где A и B - вершины графа.
Также в коде есть два вспомогательных предиката: элем(_H,[_H|_]) и элем(_X,[_|_T]). Они используются для обработки списков в логическом программировании. Первый предикат означает, что элемент _H содержится в списке [H|], где H - это сам элемент, а - это список, содержащий только этот элемент. Второй предикат похож на первый, но вместо _H он использует _X и вместо _H он использует _T.
Для поиска пути между двумя вершинами в графе используется предикат p(_A, [_B], _P). Он рекурсивно перебирает все возможные пути от вершины _A до вершины _B и сохраняет их в список _P. Если текущий элемент пути равен _A, то путь считается найденным. Если текущий элемент пути не равен _A, то предикат проверяет, есть ли у него соседи. Если соседи есть, то предикат вызывает себя же для поиска пути от _A до каждого соседа. Если соседей нет, то предикат вызывает себя же для поиска пути от _A до _B, игнорируя текущий элемент.
Для определения связности графа используется предикат две_вершины. Он проверяет, есть ли в графе ребро, соединяющее две вершины, которые не равны друг другу и не являются соседними. Если такое ребро найдено, то граф считается несвязным.
Наконец, предикат граф_связный проверяет, является ли граф связным. Если граф связный, то он возвращает true, иначе - false.
В конце кода идет запрос ?- граф_связный., который проверяет связность графа, представленного в коде. Если граф связный, то в ответ будет true, иначе - false.