Initial commit
Added verbose mode to KnowledgeBase.ask.
Moved predicate logic files to /pred
Initial work on first-order system. All that it does so far is tokenization.
Prop knowledge base is now represented as a list of clauses rather than a full logic expression. Buggy for the moment... Example:

kb.teach('a->b')
kb.ask('~(~(a->b))')
>>> False
Lots of changes... Ready for final submission.
Added simple readme