Added unit test for term matching
ticket:1
Implemented match_and_bind
ticket:1
Unit test for substitution
Towards #1
Implemented substitution
Towards #1
Removed code that was commented out
Towards #1
Unit test and partial documentation of Rulebook.
Towards #1
Added missing file.
Towards #1
Began implementing Rulebook. Missing validity checks and term generation.
Towards #1
Added validiti check in Rulebook and term.check_valid()
Towards #1
Removed self from static methods
Towards #1
Forcing compound terms to be tuples will allow a lot of hashing.
Towards #1
Identical premises merged into one.
Towards #1
Implemented Rulebook (but ended up not creating a class for rules).
TODO: Simplify API by only allowing compound conclusions and premises.
Towards #1
Fixes #1

* rulesclass-1:
  Implemented Rulebook (but ended up not creating a class for rules). TODO: Simplify API by only allowing compound conclusions and premises. Towards #1
  Identical premises merged into one. Towards #1
  Forcing compound terms to be tuples will allow a lot of hashing. Towards #1
  Removed self from static methods Towards #1
  Added validiti check in Rulebook and term.check_valid() Towards #1
  Began implementing Rulebook. Missing validity checks and term generation. Towards #1
  Added missing file. Towards #1
  Unit test and partial documentation of Rulebook. Towards #1
  Removed code that was commented out Towards #1
  Implemented substitution Towards #1
  Unit test for substitution Towards #1
  Implemented match_and_bind ticket:1
  Added unit test for term matching ticket:1