09/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).
09/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).