algorithm - Prolog での DPLL アルゴリズムの実装

Question

単純化されたアルゴリズムを Prolog に適用しようとしていますが、Prolog の達人ではありません。間違いなく必要なので、皆さんが助けてくれるかもしれないと思いました。

Prolog での DPLL アルゴリズムの実装は何ですか?

Answer 1

「dpllアルゴリズムプロローグコード」をGoogleに入れると、この非常に優れたソースファイルが最初の結果として返されます。大規模な削減や混乱なしに宿題として提出するには、おそらくあまりにもきちんとしていて素敵です。

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

SOは上位にランク付けされているため、2番目の結果はこの質問ページです。