Mercury
Mercury — язык программирования с сильной типизацией. Разработан в 1995 году в Мельбурне (Австралия), назван в честь бога скорости Меркурия. Это объясняет стремление разработчиков на получение быстроработающих программ. Имеет функционально-логический характер. Данный язык создан для решения двух основных проблем, возникающих во время использования такого языка логического программирования, как Prolog: он позволяет решить проблемы производительности языков…