Определение эйлерова пути на Прологе

Курсовой проект работа № 9 (стр. 30-36).
Напишите программу на SWI-Prologе, определяющую эйлеровый путь, начи-
нающийся с заданной вершины в неориентированном графе. Путь называется
эйлеровым, если проходит через все ребра графа по одному разу. Теорема
Эйлера утверждает, что такой путь всегда существует, если количество вер-
шин в графе с нечетной степенью равно 0 или 2. Степень вершины - это ко-
личество ребер, которые инцидентны данной вершине. Если количество
вершин с нечетной степенью равно 2, то эйлеровый путь всегда начинается в
одной из таких вершин.