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