标签： algorithm logic artificial-intelligence inference
我正在研究一个模拟DPLL反向链接算法的程序。我试图找到一个例子来解释它是如何在一组条款中实现或应用的，但是徒劳无功。伪代码一切都很好，但是它们本身并不是很清楚。