Added the tedge() predicate
Abstracted variable names in the recursive path()