Кто-нибудь встречал библиотеку для программирования нечеткой логики?