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