このディレクトリの索引
%  
%  Zellerの公式
%  


'Zellerの公式を用いて曜日を表す値と曜日を得る'(_年,_月,_日,_曜日を表す値,_曜日) :-
        'Zellerの公式では1月と2月はそれぞれ前年の13月と14月に変換して計算する'(_年,_月,_日,_曜日を表す値,_曜日).
'Zellerの公式を用いて曜日を表す値と曜日を得る'(_年,_月,_日,_曜日を表す値,_曜日) :-
        _月 > 2,
        _曜日を表す値 is (_年 + truncate(_年 / 4) - truncate(_年 / 100) + truncate(_年 / 400) + truncate((13 * _月 + 8) / 5) + _日) mod 7,
        'Zellerの公式で曜日を表す値と曜日'(_曜日を表す値,_曜日).

'Zellerの公式では1月と2月はそれぞれ前年の13月と14月に変換して計算する'(_年,_月,_日,_曜日を表す値,_曜日) :-
        _月 =< 2,
        _年_1 is _年 - 1,
        _月_2 is _月 + 12,
        'Zellerの公式を用いて曜日を表す値と曜日を得る'(_年_1,_月_2,_日,_曜日を表す値,_曜日).

'Zellerの公式で曜日を表す値と曜日'(0,日曜).
'Zellerの公式で曜日を表す値と曜日'(1,月曜).
'Zellerの公式で曜日を表す値と曜日'(2,火曜).
'Zellerの公式で曜日を表す値と曜日'(3,水曜).
'Zellerの公式で曜日を表す値と曜日'(4,木曜).
'Zellerの公式で曜日を表す値と曜日'(5,金曜).
'Zellerの公式で曜日を表す値と曜日'(6,土曜).