Информация по Mercury

Так как Mercury - сравнительно новый язык программирования, довольно мало рекламируется и известен в основном только энтузиастам, материалов на русском языке по нему очень мало.

Для начала изучения рекомендую послушать лекции Сошникова по логическому программированию на сайте Intuit.ru. Очень приятно читает, хороший старт для новичков, которые хотят познакомиться с логическим подходом к программированию. Основной упор он делает на Прологе, но и про Mercury не забывает. Оба языка рассматриваются параллельно. Чтобы понимать лекции, к ним нужны слайды.

Также он выпустил учебник по логическому программированию, который упоминает на лекциях. Там тоже есть материал по Mercury. В принципе, это то же самое, только на бумаге. Качество скана не очень хорошее, но вполне читабельно.

В процессе изучения, я потихоньку перевел учебник Ральфа Бекета по Mercury. Учебник еще не закончен автором, но дает неплохое введение в этот язык программирования. На сегодня это единственный учебник по Mercury. Фактически этот сайт создавался для того, чтобы его опубликовать и возможно создать сообщество программистов. 

Ну и естественно, можно зайти на официальный сайт в раздел документация и найти там материалы на английском языке.

Сам компилятор можно бесплатно скачать на официальном сайте. Под Windows очень удобно использовать дистрибутив Winmercury, найти его можно тут. Он сам ставит MinGW, компилятор GCC и все необходимые файлы Mercury. Компилировать ничего не надо, все уже настроено. Содержит файл справки в формате HTML Help с удобным оглавлением и индексом, а также плагин для редактора Vim.

Если вы заинтересовались и у вас есть желание каким-либо образом помочь сайту (поучаствовать в переводе документации или написании каких-либо полезных вещей, например IDE) то можно написать на форум и возможно всем миром поможем проекту. Понятно, что подразумевается участие на некоммерческой основе. :)