このディレクトリの索引

無向グラフ(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).