3 lines
58 B
Plaintext
3 lines
58 B
Plaintext
|
p(X) :- X = 0..n, X * X <= n.
|
||
|
q(X) :- p(X), not p(X + 1).
|