anthem-rs/examples/example-2.lp

3 lines
58 B
Plaintext
Raw Permalink Normal View History

2020-05-06 21:39:04 +02:00
p(X) :- X = 0..n, X * X <= n.
q(X) :- p(X), not p(X + 1).