从CNF转换为Horn表格

时间:2017-08-26 11:57:25

标签: prolog sat-solvers

如何使用Prolog将CNF子句转换为Horn表单?我正在尝试创建一个以CNF作为输入的SAT解算器,需要转换为Horn形式。

0 个答案:

没有答案