mercury

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