Updated added some useful functions to engine
Finished BackwardChaining example