>>365
一般に以下の方を使うのではないかと思います。

到達可能(A,B,Log) :-
　　到達可能(A,B,[A],_逆順Log),
　　reverse(_逆順Log,Log).

到達可能(A,B,L1,[B|L1]) :-
　　arc(A,B),
　　\+ member(B,L1).
到達可能(A,B,L1,L) :-
　　arc(A,C),
　　\+ member(C,L1),
　　到達可能(C,B,[C|L1],L).