このディレクトリの索引

'その月の最終日(整数)'(_,1,31). 'その月の最終日(整数)'(_年,2,29) :- うるう年(_年). 'その月の最終日(整数)'(_年,2,28) :- \+(うるう年(_年)). 'その月の最終日(整数)'(_,3,31). 'その月の最終日(整数)'(_,4,30). 'その月の最終日(整数)'(_,5,31). 'その月の最終日(整数)'(_,6,30). 'その月の最終日(整数)'(_,7,31). 'その月の最終日(整数)'(_,8,31). 'その月の最終日(整数)'(_,9,30). 'その月の最終日(整数)'(_,10,31). 'その月の最終日(整数)'(_,11,30). 'その月の最終日(整数)'(_,12,31). うるう年(_年) :- '400で割りきれる年は無条件にうるう年である'(_年). うるう年(_年) :- '400で割りきれる年を除いた100で割りきれる年はうるう年ではない'(_年). うるう年(_年) :- '100で割りきれる年を除いた4で割りきれる年はうるう年である'(_年). '400で割りきれる年は無条件にうるう年である'(_年) :- 0 is _年 mod 400. '400で割りきれる年を除いた100で割りきれる年はうるう年ではない'(_年) :- \+(0 is _年 mod 400), 0 is _年 mod 100,!, fail. '100で割りきれる年を除いた4で割りきれる年はうるう年である'(_年) :- \+(0 is _年 mod 100), 0 is _年 mod 4.