Comment detail

自然数の分割 (Nested Flatten)
1
2
3
4
5
partNum(N, 1, [N]).
partNum(N, M, [J|L]) :- M > 1, M1 is M - 1,
    between(0, N, I), J is N - I, partNum(I, M1, L).

:- forall((partNum(5, 3, L), concat_atom(L, ', ', X)), writeln(X)).

Index

Feed

Other

Link

Pathtraq

loading...