travel(X,Y,go(X,Y)) :- onestep(X,Y). travel(X,Y,go(X,Z,Path)) :- onestep(X,Z), travel(Z,Y,Path).
Back to the exercise.