Just wanted to put a quick update on this jira. At this point I've connected the engine up to everything except TermResolvers and simple propositions (which require the term stuff). Tomorrow I'll spend some time familiarizing myself with the term functionality that Peter has built in. Hopefully I will be able to get things hooked up with terms and term resolvers by the end of day thursday and begin working on some unit and integration testing through the end of Friday.
Note that I've already created ActionTypeService and PropositionTypeService. The former is how custom Action implementstions are plugged into the system and the later is how custom propositions are plugged into the system. There are two "default" implementations of PropositionTypeService, one which is used for compound propositions, the other for "simple" propositions.
The implementation of the CompoundPropositionTypeService is complete and (should be) functional, but i need to verify with some unit testing.
The implementation of the SimplePropositionTypeService is where I need to hook Term and TermResolvers in. It's currently stubbed out.