Automated Reasoning Engine and Flow Based Programming Framework