Prolog - Grafos En Prolog

Hola necesitos que me ayuden para resolver este problema

Dado un grafo dirigido representado por hechos arco(v,w) que indica que existe un arco entre el vértice v y w, escriba un conjunto de hechos y reglas en Prolog que permita determinar si existen ciclos en el grafo.

Gracias para quien me de la solucion en prolog