exp-log：基于归纳推理的元语言

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