Inference-engine Simple Inference engine with support for backward & forward chaining invocation methods.