このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1286978599/851
#  mCnを求めるプログラミングを教えて下さい。 
#   
#  ちなみにm=6n=3です。 
#   
#  関数部分でc = factorial(n)/factorial(n-r)/factorial(r)を使ってください。 
#   

mCr(M,R,_mCr) :-
        階乗(M,X1),
        M1 is M - R,
        階乗(M1,X2),
        階乗(R,X3),
        _mCr is truncate(X1 / X2 / X3).