patrick
/
anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
anthem-rs/examples/example-2.lp

3 lines
58 B
Plaintext
Raw Permalink Blame History

p(X) :- X = 0..n, X * X <= n.
q(X) :- p(X), not p(X + 1).
Reference in New Issue View Git Blame Copy Permalink