このディレクトリの索引


春分の日(_年,_月,_日) :-
        '「春分の日」および「秋分の日」の日付は、前年2月1日の官報で発表される。'(_年,_月,_日),!.
春分の日(_年,3,_日) :-
        '国立天文台「暦象年表」に基づき',
        between(1980,2099,_年),
        _日 is truncate(20.8431+0.242194*(_年-1980)-truncate((_年-1980)/4)),!.


'「春分の日」および「秋分の日」の日付は、前年2月1日の官報で発表される。'(_年,_月,_日) :-
        fail.

'国立天文台「暦象年表」に基づき'.