10 lines
94 B
Plaintext
10 lines
94 B
Plaintext
|
a :- not b.
|
||
|
|
b :- not a.
|
||
|
|
|
||
|
|
-b.
|
||
|
|
-------------------
|
||
|
|
({}, {a, b})
|
||
|
|
({}, {a})
|
||
|
|
({a}, {a})
|
||
|
|
({a}, {a})
|