Обнаружение цикла в графе

Нам дан граф со следующими фактами:

edge(a,b)
edge(a,c)
edge(b,a)
edge(c,d)
edge(d,d)
edge(d,e)
edge(e,f)
edge(f,g)
edge(g,e)

И нас просят определить правило, cycle (X) , который определяет, есть ли цикл, начинающийся с узла X .

Я действительно не понимаю, как это сделать, я попытался пройти по узлам и проверить, будет ли следующий снова стартовым, но я не могу заставить его работать