sjkillen
/
wfs-operator-experiment
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
wfs-operator-experiment/tests/block_O.correct

10 lines
94 B
Plaintext
Raw Permalink Blame History

a :- not b.
b :- not a.
-b.
-------------------
({}, {a, b})
({}, {a})
({a}, {a})
({a}, {a})
Reference in New Issue View Git Blame Copy Permalink