Request about Fuzzy Prolog