A Graph Traversal Language