2. p: Vertices(the_graph) List
3. 1 < ||p||
4. path(the_graph;p)
path(the_graph;tl(p))
For any graph
p:V List. 1 < ||p|| 
path(the_graph;p) path(the_graph;tl(p))
| 1 | 1. the_graph: Graph 2. p: Vertices(the_graph) List 3. 1 < ||p|| 4. path(the_graph;p) path(the_graph;tl(p)) | 8 steps |
About:
 |  |  |  |  |