Встретил статью о многоуровневой логике:
МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ В СЕМИОТИЧЕСКОЙ СИСТЕМЕ.
http://www.inftech.webservis.ru/it/conference/scm/2000/session10/golovina.htm
Так же встретил упоминание о её реализации системе Инфолонг.

Саму систему Инфолонг не нашел в связи с чем у меня ряд вопросов:
1) Знаит ли кто что о ней.
Нашел
http://nauka-91.ru/programmnye-produkty-i-sistemy-vypusk-3/iskusstvennyi-intellekt-v-case-tehnologii/1/
но современных ссылок не нашел, также не нашел откуда можно скачать её если это конечно возможно.
2)Какие статьи о многоуровневой логике посоветуете, или где по этому вопросу лучше
спрасить на каком сайте.
3)Насколько ФП на ваш взгляд более удобен при работе с многоуровневой логикой?
И какой из ФЯ или ЛЯ(логических языков) вы посоветуете.

Извеняюсь за беспокойство, всего найлучшего.
Заранее извеняюсь за возможно не коректыные вопросы.