ject.lp.asp.1.27.source-code.ex1.asp Maven / Gradle / Ivy
The newest version!
p :- not r.
r :- -q, not b.
-q :- b.
b.
p :- not r.
r :- -q, not b.
-q :- b.
b.