项目描述 ：
Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.

高级语言： Prolog

项目主页：

项目地址: git://github.com/maciej-nowak/LCS-Conjunctive-Normal-Form.git

创建时间： 2018-01-28T21:50:16Z
项目社区：https://github.com/maciej-nowak/LCS-Conjunctive-Normal-Form
开源协议：
下载