7 lines
51 B
Plaintext
7 lines
51 B
Plaintext
|
# KB has no WFM
|
||
|
|
||
|
-a | -b.
|
||
|
|
||
|
a :- not b.
|
||
|
b :- not a.
|