このディレクトリの索引

有向グラフ(0,1).
有向グラフ(1,3).
有向グラフ(3,0).
有向グラフ(2,1).
有向グラフ(3,2).
有向グラフ(4,3).

有向グラフと隣接行列(LL) :-
        節ならび(_節ならび),
        findall(L,(
                    append(_,[N|_],_節ならび),
                    findall(X,(
                                append(_,[M|_],_節ならび),
                                枝が存在するか(N,M,X)),
                            L)),
                LL).

節ならび(_節ならび) :-
        finsetof(_節,(
                    節(_節)),
                _節ならびの一),
        sort(_節ならびの一,_節ならび).

節(_節) :-
        有向グラフ(_節,_).
節(_節) :-
        有向グラフ(_,_節).

枝が存在するか(N,M,1) :-
       有向グラフ(N,M),!.
枝が存在するか(_,_,0).