Fuzzy unification and first order probabilistic logic