このディレクトリの索引

パスカルの三角形ならび(_n,_パスカルの三角形ならび) :-
        findall(L,(
                    パスカルの三角形(_n,L)),
                _パスカルの三角形ならび).

パスカルの三角形(_n,_パスカルの三角形) :-
        パスカルの三角形(1,_n,[1],_パスカルの三角形).

パスカルの三角形(_m,_n,L1,_) :-
        _m > _n,!,
        fail.
パスカルの三角形(_,_,_パスカルの三角形,_パスカルの三角形).
パスカルの三角形(_m,_n,L1,_パスカルの三角形) :-
        パスカルの三角形の次の行(L1,L2),
        _m_2 is _m + 1,
        パスカルの三角形(_m_2,_n,L2,_パスカルの三角形).

パスカルの三角形の次の行(L1,[1|L2]) :-
        パスカルの三角形の次の行の二(L1,L2).

パスカルの三角形の次の行の二([],[1]).
パスカルの三角形の次の行の二([A,B|R1],[C|R2]) :-
        C is A + B,
        パスカルの三角形の次の行の二([B|R1],R2).