Comment by theWold

If you are looking for something to use this good theory on take a gander at Drools http://www.drools.org/ (Apache v2 license)