09/12/25 07:05:28
>>30 つづき。
% Prolog
メンバー全員は(Mn,Fn,Sn) :- Sn is Mn + Fn.
階乗(0,_,1) :- !.
階乗(1,_,1) :- !.
階乗(M1,M,1) :- M1 < M,!.
階乗(N,M,X) :-
N1 is N - 1,
階乗(N1,M,Y),
X is N * Y,
asserta((階乗(N,M,X) :- (!))),!.
09/12/25 07:05:28
>>30 つづき。
% Prolog
メンバー全員は(Mn,Fn,Sn) :- Sn is Mn + Fn.
階乗(0,_,1) :- !.
階乗(1,_,1) :- !.
階乗(M1,M,1) :- M1 < M,!.
階乗(N,M,X) :-
N1 is N - 1,
階乗(N1,M,Y),
X is N * Y,
asserta((階乗(N,M,X) :- (!))),!.