Здравствуйте, vdimas, Вы писали:

Z>>По сравнению с Nemerle, C# ограниченный императивный язык.

V>От задач зависит. По сравнению с Прологом на некоторых задачах Nemerle — макро-ассемблер.

Аналогия не верна. ПМ используется во всех проектах и используется очень широко. Логический решатель — узкая ниша.

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