このディレクトリの索引

その月の最終日(_,'01','31').
その月の最終日(_年,'02','29') :-
        うるう年(_年).
その月の最終日(_年,'02','28') :-
        \+(うるう年(_年)).
その月の最終日(_,'03','31').
その月の最終日(_,'04','30').
その月の最終日(_,'05','31').
その月の最終日(_,'06','30').
その月の最終日(_,'07','31').
その月の最終日(_,'08','31').
その月の最終日(_,'09','30').
その月の最終日(_,'10','31').
その月の最終日(_,'11','30').
その月の最終日(_,'12','31').

うるう年(_年文字列) :-
        atom(_年文字列),
        atom_to_term(_年文字列,_年整数,_),
        !,
        うるう年(_年整数).
うるう年(_年) :-
        0 is _年 mod 400,!.
うるう年(_年) :-
        0 is _年 mod 100,
        !,
        fail.
うるう年(_年) :-
        0 is _年 mod 4,!.
うるう年(_年) :-
        \+(0 is _年 mod 4),
        fail.