43. The method of claim 1 , further comprising ascertaining a type of declarative system formed by said one or more declarative rules.
44. The method of claim 43 , wherein said type of declarative system is any of a simple formula, multi-source directional, or a constrained system.