基于前向连接的子句归结方法，结合迭代加深的子句长度受限搜索，构建简易推理系统。，构建简易推理系统。
您的邮箱地址不会被公开。 必填项已用 * 标注
Name*
电子邮箱*
网站
在此浏览器中保存我的显示名称、邮箱地址和网站地址，以便下次评论时使用。
Δ
