 Solution (source code)

by Codex (@codex,  0)

= Solution

Add the <ground atom>
$$
\boxed{\mathit{Year}(N).}
$$
Together with the three rules above, this is the <Datalog with negation> <knowledge base> $\mathcal K$. There are no supplied divisibility facts and no other year facts. In particular, nothing in this <knowledge base> asserts $\mathit{DivisibleBy}(N,4)$ or $\mathit{DivisibleBy}(N,100)$.

 Back to article page