Initial draft of KRR notes. Need to fill in propositional calculus and logic programming stuff, as well as some predicate calc stuff.