====== Transitive closure ======
{{tag>graphs}}
===== Description =====
The transitive closure of the edge relationship

**Source**:  The Art of Prolog
===== Download =====
Program source code: {{transitive_closure.pl}}
===== Listing =====
<code prolog>
/*
	connected(Node1,Node2) :-
		Node1 is connected to Node2 in the graph
		defined by the edge/2 relation.
*/
	connected(Node,Node).
	connected(Node1,Node2) :- edge(Node1,Link), connected(Link,Node2).
	
edge(a,b).
edge(a,c).
edge(b,d).
edge(c,d).
edge(d,e).
edge(f,g).

%	Program 2.7: The transitive closure of the edge relationship
</code>
===== Comments =====