在Prolog中实现DPLL算法

Question

4

我想在Prolog中应用简化算法，但我不是Prolog专家。我需要没有任何错误的实现，所以我想你们可能能够帮忙。

DPLL算法在Prolog中的实现是什么？

- Majd

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Potatoswatter · Accepted Answer

将“dpll算法Prolog代码”输入Google，第一个结果返回这个非常好的源文件。它可能太整洁了，不适合作为作业提交，需要大量删减和修改。

第二个结果是这个问题页面，因为SO排名很高。