Prolog에서 DPLL 알고리즘 구현

Question

Prolog에서 단순 알고리즘을 적용하려고하지만 Prolog 마스터가 아닙니다. 나는 실수가 필요 없으므로 너희들이 도울 수있을 거라 생각했다.

Prolog에서 DPLL 알고리즘의 구현은 무엇입니까?

Answer 1

"dpll 알고리즘 프롤로그 코드"를 Google에 입력하면 첫 번째 결과로 매우 훌륭한 소스 파일을 반환합니다. 그것은 아마도 너무 깔끔하고 멋지다. 광범위한 커팅과 엉망진창없이 숙제로 넘겨 주어 야한다. SO 높은 순위대로

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

두 번째 결과는, 여기이 질문 페이지입니다.