Issue:An attempt to build an intuitionistic fuzzy Prolog machine