Transitive Closure

Suppose we are representing a graph by a relation Edge(X,Y):

Edge(a,b), Edge (a,c), Edge(b,d), Edge(c,d), Edge(d,e)

I want to express the query:

Find all nodes reachable from a.