graph theory - tabla - ¿Cómo detectar si agregar un borde a un gráfico dirigido da como resultado un

Cómo representar el gráfico cíclico dirigido en Prolog con acceso directo a las verticías vecinas -