Mercury

水銀は、新しいロジック/機能プログラミング言語、明快さと高度な静的解析とエラー検出機能で宣言型プログラミングの表現力を兼ね備えています。その高度に最適化された実行アルゴリズム プログラミング システム、既存のロジックをはるかに超えると従来のプログラミング システムに近い効率を提供します。水銀は、モジュール性、独立したコンパイルおよび多数最適化/時間のトレードオフが可能大規模なプログラムの開発、問題に対処します。