Я работал с клипсом.
Это очень качественный продукционный язык.
Кроме того Visual Prolog позиционирует себя как язык для создания экспертных систем.
Вот два достойных инструмента.
Пролог использовать предпочтительнее на мой взгляд.
Цитата
Есть ли какие то средства поддерживаемые Microsoft?
Не понял вопрос. Имеется ввиду возможна ли разработка на платформе Win? (- да) или имеются ли подобные системы от MS? (- на сколько мне известно нет).