このディレクトリの索引 無向グラフ(0,1). 無向グラフ(0,3). 無向グラフ(1,2). 無向グラフ(1,3). 無向グラフ(2,3). 無向グラフ(3,4). 無向グラフと隣接行列(LL) :- 節ならび(_節ならび), findall(L,( append(_,[N|_],_節ならび), findall(X,( append(_,[M|_],節ならび), 枝が存在するか(N,M,X)), L)), LL). 節ならび(_節ならび) :- finsetof(_節,( 節(_節)), _節ならびの一), sort(_節ならびの一,_節ならび). 節(_節) :- 無向グラフ(_節,_). 節(_節) :- 無向グラフ(_,_節). 枝が存在するか(N,M,1) :- 無向グラフ(N,M),!. 枝が存在するか(N,M,1) :- 無向グラフ(M,N),!. 枝が存在するか(_,_,0).