我正在尝试在Prolog中应用简化算法,但我不是Prolog大师.我需要它没有任何错误,所以我认为你们可能能够提供帮助.
Prolog中DPLL算法的实现是什么？
algorithm implementation prolog
algorithm ×1
implementation ×1
prolog ×1