Adding more sections

Hi Ricky,

I've added in parts about universal/existential instantiation and existential generalization, but I realized it might be useful to also discuss knowledge bases and resolution. I doubt I'll have time to write them, but if you are able to write about those topics, that would be awesome.

Clear skies, Jordon

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

Sorry for just now getting back to you; there seem to be some interesting behaviours regarding these discussion threads and when they update.

The Resolution section is fine, thank you!