Mercury 13.05.1

邏輯編程語言已經存在了二十多年。儘管基於邏輯的發達理論與傳統的編程語言（如C，C ++，Pascal和ADA）的一個非常高級編程語言的優勢，預計他們不會對計算機行業顯著影響。汞是一種新的邏輯/函數式編程語言，它結合了清晰度和聲明式編程與先進的靜態分析和錯誤檢測功能的表現。水星是高度優化的執行算法遠遠帶來的效率超過現有邏輯編程系統，並接近傳統的編程系統。水星解決大型程序開發的問題，讓模塊化，獨立編譯，以及眾多的優化/時間權衡 什麼是此版本中的新： ...