Adding more sections
Fragment of a discussion from Course talk:CPSC522/Predicate Calculus
Hey Jordon,
I've added a Resolution section. Does it cover what you wanted to cover?
I can't seem to find a good source on knowledge bases, so I don't have a good understanding of it. Do you know of any good sources?
Ricky
TianQiChen (talk)