このディレクトリの索引

# 出典 :: C/C++の宿題片付けます 132代目 #771 有向グラフに於いて到達可能(A,B) :- 有向グラフ上でBはAに隣接している(A,B). 有向グラフに於いて到達可能(A,B) :- '有向グラフ上でBはAに隣接しないが、Aに隣接するCがBへ到達可能'(A,B). 有向グラフ上でBはAに隣接している(A,B) :- 有向グラフ(A,B). '有向グラフ上でBはAに隣接しないが、Aに隣接するCがBへ到達可能'(A,B) :- '有向グラフ上でBはAに隣接しないが、Aに隣接するCが'(A,B,C), 有向グラフに於いて到達可能(C,B). '有向グラフ上でBはAに隣接しないが、Aに隣接するCが'(A,B,C) :- '有向グラフ上でBはAに隣接しないが、'(A,B), 'Aに隣接するCが'(A,C). '有向グラフ上でBはAに隣接しないが、'(A,B) :- \+(有向グラフ(A,B)). 'Aに隣接するCが'(A,C) :- 有向グラフ(A,C).