10/01/15 10:40:01
>>253
% Prolog
% URLﾘﾝｸ(prolog.asia) などにすでにあります。ここでは、
西暦を入力させ、うるう年かどうかを判定する(_西暦) :-
西暦の年号が400で割り切れる年はうるう年(_西暦),!.
西暦を入力させ、うるう年かどうかを判定する(_西暦) :-
西暦の年号が400で割り切れないが、100で割り切れる年はうるう年でない(_西暦),!.
西暦を入力させ、うるう年かどうかを判定する(_西暦) :-
西暦の年号が100で割り切れないが、4で割り切れる年はうるう年(_西暦).
西暦の年号が400で割り切れる年はうるう年(_西暦) :- 割り切れる(_西暦,400),!.
西暦の年号が400で割り切れないが、100で割り切れる年はうるう年でない(_西暦) :-
\+(割り切れる(_西暦,400)),
割り切れる(_西暦,100),!,fail.
西暦の年号が100で割り切れないが、4で割り切れる年はうるう年(_西暦) :-
\+(割り切れる(_西暦,100)),
割り切れる(_西暦,4),!.
割り切れる(A,B) :- 0 is A mod B.