General
Material
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5

Hint

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.