豹子

LeoPARD——实现高阶推理机的通用平台。LeoPARD支持高阶逻辑的知识表示和推理工具的实现。它将复杂的数据结构层(多态类型的λ-演算与无名脊椎符号、显式替换和完美的术语共享)与雄心勃勃的多智能体黑板体系结构(在术语、子句和搜索级别支持prover并行性)相结合。LeoPARD的其他特性包括一个用于所有TPTP方言的解析器、一个命令行解释器和用于集成外部推理器的通用方法。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换