fuzzy prolog problem