Towards a Full Fuzzy Unification in the Bousi Prolog system | IEEE Conference Publication | IEEE Xplore