豹——一个通用的平台,用于实现高阶推理机。Leopar支持高阶逻辑的知识表示和推理工具的实现。它结合了一个复杂的数据结构层(多态类型的S-微积分与无名的脊椎符号,明确的替换,以及完美的术语共享)与一个雄心勃勃的多代理黑板架构(支持在术语,子句和搜索级别的证明器并行)。豹的进一步特征包括用于所有TPTP方言的解析器、命令行解释器和用于集成外部推理器的通用手段。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。