% From The Art of EyeProlog, Chapter 21.
loop_edge(Node) :- edge(Node, Node).