在Prolog中实现DPLL算法

Question

我试图在Prolog中应用简化的算法，但我不是Prolog的主人。我需要它没有任何错误，所以我想你们可能会有所帮助。

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

Answer 1

将“dpll算法prolog代码”放到Google中返回这个非常好的源文件作为第一个结果。如果没有大规模的裁剪和搞乱，这可能太方便，太好了，可以作为家庭作业。

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

第二个结果是在这里这个问题页面，所以高排名。