在Prolog中实现DPLL算法

Question

我正在尝试在Prolog中应用简化算法，但我不是Prolog大师。我没有任何错误就需要它，所以我认为你们可以提供帮助。

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

Answer 1

将“dpll algorithm prolog code”放入Google会将这个非常好的源文件作为第一个结果返回。在没有大量裁员和搞乱的情况下，把它作为家庭作业传递可能太过于整洁和美好。

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

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