exp log:基于归纳推理的元语言 源码

日志 // under construction // 关于该项目 Exp-log是表达逻辑形式主义的一种实现,这是一个新颖的演绎系统,旨在成为各种形式语言的宿主。 通过其设计,它代表了一般问题解决技术的体现,支持托管语言目的和意图的多样性。 可能会发现令人惊讶的是,在exp-log中使用的一般问题解决技术是基于增强的解析技术,该技术应该(如果一切顺利的话)完全对应于基于事后演算的逻辑绑架过程,后者是一种众所周知的用于构造科学证明的逻辑形式主义。 当前项目状态 在exp-log的创建上投入了大量研究,并且仍在建设中。 在创建过程中,它一直是一个敏捷的实验项目,每次迭代都会提高其理论背景。 目