Автор: МихайлоМ-да, думал тут люди приличней... С чего ты так выёживаешься, сильно задел? Однако же конструктивной критики с ссылками я не увидел, а вот хотелось бы почитать. А то вот сотрясаешь воздух, а толку? Про Чернова говоришь, хоть бы ссылку дал про кого говоришь, здесь же не экстрасенсы.
К примеру, для решения одной своей задачи использовал их продукт КЭСМИ Wi!Mi (
http://science.mivar.ru/). Нужно было быстро автоматизировать одну методичку с формулами. Для решения я рассматривал Clips, Prolog и еще, что-то... но заморачиваться с ними не хотелось. Скорей хотелось, что-то простое и быстрое для реализации. В поисках ПО обнаружил эту статейку на Хабре
https://habrahabr.ru/post/280974/ и решил попробовать. Зарегился у них на сайте и скачал. Прога нормальная, но глюченая, порадовала визуализация графов. К сожалению функционал нищий, кстати, версия ПО у них уже вторая. Но для решения моей задачки сполна хватило.