Prolog - Detecting if path exists between two nodes in a Graph

How to represent graphs in Prolog, Does path exist between StartNode and EndNode, Nodes reachable from a given StartNode, Depth First Search, Infinite Loops in Depth First Search, Stack overflow