algorithm - 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 排名很高。