10 lines
79 B
Plaintext
10 lines
79 B
Plaintext
|
# Generate some undefined atoms
|
||
|
|
|
||
|
|
a :- not a'.
|
||
|
|
a' :- not a.
|
||
|
|
|
||
|
|
:- a'.
|
||
|
|
|
||
|
|
|
||
|
|
b.
|
||
|
|
b :- a.
|