sjkillen
/
aft-may25-2023
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
aft-may25-2023/knowledge_bases/sr2.hmknf

10 lines
79 B
Plaintext
Raw Permalink Blame History

# Generate some undefined atoms
a :- not a'.
a' :- not a.
:- a'.
b.
b :- a.
Reference in New Issue View Git Blame Copy Permalink