Вы используете Prolog, потому что он декларативный? Когда я работал в AI, я разделил свою работу между Prolog и Scheme.
Если вы интересуетесь функциональным языком (ala Scheme), а не OO, я подозреваю, что вы получите несколько рекомендаций для F#.
Чтобы ответить на вопрос, исходя из комментариев, оказалось, что Bigloo - популярная реализация схемы на .NET.
Это, я бы рекомендовал Эдуардо, чтобы он серьезно подумал о своих целях в выборе рамки и языка. В частности, что наиболее важно? Если вы больше всего влюблены в рамки, вам, вероятно, следует искать лучший язык, который соответствует вашим потребностям и хорошо поддерживается в рамках. Иногда это означает изучение нового языка (ура!).
Если вы более реалистичны, чем я, вы можете понять, что изучение языка требует времени от работы над вашим проектом. В этом случае вам может потребоваться более ограниченная поддержка платформы .NET, чтобы получить нужный вам язык.
Потому что я нашел Prolog очень полезным для «actack» типичных проблем AI благодаря встроенной машине вывода. Есть ли хорошая библиотека/интерпретатор для использования Схемы с .NET? –
Я знаю, что вы имеете в виду: приятно спросить: «Могу ли я туда добраться?» и ответ Пролога основывается на вашем наборе декларативных правил (и обычно мне говорят «нет»). –