努普尔

NUPRL系统是一个用于推理数学和编程的框架。多年来,其设计已大大改善,以满足大规模应用的需求。NUPRL LPE是最新版本,它以开放的、分布式的体系结构为中心,围绕灵活的知识库,支持独立的正式工具的合作。