Fuzzy logic in prolog

Also this: