New posts in Transitive Closure

Define graph in Prolog: edge and path, finding if there is a path between two vertices