Reasoning for Smart Space Application: Comparing Three Reasoning Engines CLIPS, Jess and Win-prolog | IEEE Conference Publication | IEEE Xplore