Merge pull request #31 from niode/nathan

Added State.getPredicates().
Some updates
Merge branch 'master' of https://github.com/niode/cpsc433
knowledgeBase package created
Added getLabs to Lecture.