An efficient fuzzy unification method and its implementation into the Bousi~Prolog system | Publicación