问DPLL算法在Prolog中的实现
EN

Stack Overflow用户

提问于 2010-01-20 05:29:11

回答 1查看 1.6K关注 0票数 4

我正在尝试用Prolog应用简化的算法，但我不是Prolog高手。我需要它没有任何错误，所以我想你们也许能帮上忙。

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

回答已采纳

发布于 2010-01-20 06:26:12

在Google中输入"dpll algorithm prolog code“将返回这个非常好的源文件作为第一个结果。它可能太整洁和漂亮了，可以作为家庭作业交上去，而不需要大量的删减和混乱。

http://www.mscs.mu.edu/~cstruble/class/cosc159/spring2004/code/dpll.pl

第二个结果是这里的问题页面，因此排名很高。

票数 3

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/2097236

复制

相似问题

问DPLL算法在Prolog中的实现EN