Fuzzy prolog =>