Implemented Prolog ! operator