«Вероятностное программирование: преимущества байесовского подхода». Павел Кнорр, Logicify