Ch.9 Added CNF, sentenceToCNF, standardize, substitute, and KB
Ch.9 Added folFCAsk, fixed various compilation issues, fixed buggy StandardVariable and StandardFunction implicits
Ch.9 Reorganized all collectingVariables to collect, all standardizing to standardize, and made substitute more robust. Removed types for each function from grammar
Ch.9 Added folBCAsk
Ch.13 Added MixedRadixNumber
Added SBT support
Ch.7 Added PropositionalLogicParser
Ch.7 Added toString overrides for grammar and CNF that are the same as the parser
Ch.7 Added parser tests for parentheses
Ch.7 Finished tests for PropositionalLogicParser and some misc. changes to grammar
Ch.7 Reorganized grammar and began writing generators for tests
Ch.13-14 Added framework and implementations of probability related classes up to (and including) FullJointDistribution
Ch.13-14 Added (untested) BayesNet, CPT, CPTNode, and FiniteBayesModel. Also added aima-examples, might remove later in favor of using tests as examples