閏年判定方法(ルール)
1: 西暦が400で割り切れる年はうるう年である。
2: 400で割り切れない場合、西暦が100で割り切れる年はうるう年ではない。
3: 100で割り切れない場合、西暦が4で割り切れる年はうるう年である。
上から順にルールを適用する。
♪ プログラムコード code
% cat uruu.pl uruu(X):- 0 is X mod 400,!. % 1 X: 変数: 西暦年 uruu(X):- 0 is X mod 100,!,fail. % 2 uruu(X):- 0 is X mod 4,!. % 3
実行例
% swipl -q ?- [uruu]. /* uruu.pl を読み込む */ % uruu compiled 0.00 sec, 5 clauses true. ?- uruu(2012). /* 2012年は、うるう年? */ true. /* そうです */ ?- uruu(2013). false. ?- uruu(2016). true. ?-