- 367 名前：デフォルトの名無しさん mailto:sage [2009/07/06(月) 06:47:50 ]
- >>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).
