Функциональное и логическое программирование

вариант 9

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