又进了一步

[zhang3]

在寻找适合谓词逻辑的存储方式上很是下了些功夫，这种谓词逻辑不仅仅要表达关于其他领域的知识，还要表达关于自身的知识，例如关于如何通过产生式规则扩
展自己。

后来发现了三元组这样一种符合我几乎所有期望的表达方式，再略作搜索，居然发现，我又独立发明了语义网络这个语言学家们已经发明了N久的东西，而且已经
证明，和谓词逻辑是等效的。

接下来的事情就好办了，把三元组存储于数据库中，并按照书本上的知识来实现推理过程，在此基础上实现一个最简单的，但是可以让所有人眼前一亮的小型
IDE。