このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1276873238/849
#  問題 
#  自然数nの二重階乗を求めよ。 
#  例 
#  0!! = 1 
#  5!! = 15 
#  15!! = 2027025 
# 
# 

'自然数nの二重階乗は、_m が 1 より大きい時、_m - 2 の二重階乗 X_2 に _m をかけたものが_m の二重階乗 X となる。 _m が 0 か 1 の時は共に 1 となる。'(_m,_x) :-
        _m > 1,
        _m_2 is _m - 2,
        '自然数nの二重階乗を求める'(_m_2,X_2),
        X is _m * X_2.
'自然数nの二重階乗は、_m が 1 より大きい時、_m - 2 の二重階乗 X_2 に _m をかけたものが_m の二重階乗 X となる。 _m が 0 か 1 の時は共に 1 となる。'(0,1).
'自然数nの二重階乗は、_m が 1 より大きい時、_m - 2 の二重階乗 X_2 に _m をかけたものが_m の二重階乗 X となる。 _m が 0 か 1 の時は共に 1 となる。'(1,1).