Building a Rules Engine from First Principles

How recasting propositional logic as sparse algebra leads to an elegant and efficient design