mercury(程式語言)

Mercury ，是一種新的邏輯/功能的程式語言，它結合了清晰的表現力和聲明性編程與先進的靜態分析和錯誤檢測功能。

它提供了高度最佳化算法的執行效率遠遠超過現有的邏輯編程系統，並接近傳統的編程系統。水星地址大型項目的開發，使模組化，分別彙編，以及眾多的最佳化/時間權衡的問題。