A rule processing apparatus includes modules for defining/entering attributes, enumerations, and/or relationships; packaging the definitions in a reduced canonical form suitable for propositional logic manipulation using zero-suppressed binary decision diagrams (Zdd) to produce a prime Zdd; and/or (iii)...http://www.google.de/patents/US20030220926?utm_source=gb-gplus-sharePatent US20030220926 - Rule processing system
