Mercury — что это?

Язык программирования: Mercury Характеристика 1: Логические Характеристика 2: Характеристика 3: Полнофункциональные языки (по парадигмам) Пояснения Остались вопросы по Mercury? Задавайте в комментариях!