搜索

开发·工具 Hacker News 2026-05-20 ★ ★ ★ ★ ☆

Mercury逻辑编程系统

Mercury是一种纯声明式逻辑编程语言，基于Prolog但引入类型、模式、确定性等静态分析特性，旨在提升可靠性、效率和模块化。它支持高阶编程、约束求解、模块系统，并编译为高效代码。