У меня есть большое приложение на Ruby, которое просто требует добавления механизма логического вывода;Мне не нужно много функциональности, я не боюсь интеграции библиотек C, и у меня ничего не получается в Googling.
Кажется, что в Python и JVM существует множество механизмов правил;хотя я бы предпочел использовать Python, я не переписываю все проклятое приложение просто для того, чтобы добавить механизм вывода, поэтому я действительно хотел бы посмотреть, существует ли такая вещь.