Comment detail

除算・余剰を使わずに閏年 (Nested Flatten)
1
2
3
leap(N) :- N < 0, N1 is N + 400, !, leap(N1).
leap(N) :- N >= 400, N1 is N - 400, !, leap(N1).
leap(N) :- N /\ 0b11 =:= 0b00, N \= 100, N \= 200, N \= 300.

Index

Feed

Other

Link

Pathtraq

loading...