Mercury

Mercury est un langage de programmation fonctionnel pur et polyvalent, axé sur la programmation logique, développé par des chercheurs de l'université de Melbourne. Bien qu'il soit possible d'écrire des programmes Mercury sans aucune connaissance de la programmation logique, le langage est conçu pour supporter la programmation dans le style déclaratif de la programmation logique, dans lequel les programmes sont écrits comme des spécifications de ce que le programme devrait faire, plutôt que comme une séquence d'étapes à suivre. Mercury est conçu pour être efficace à la fois en termes de temps d'exécution et d'utilisation de la mémoire. Il y parvient grâce à une vérification stricte des types, une analyse statique et une compilation minutieuse en code natif. Le compilateur Mercury est un logiciel libre et ouvert, publié sous la licence publique générale GNU.