Implementation of DPLL algorithm in Prolog

I'm trying to apply the开发者_高级运维 simplified algorithm in Prolog, but I'm not a Prolog master. I need it without any mistakes, so I thought you guys might be able to help.

What is the implementation of DPLL algorithm in Prolog?

Putting "dpll algorithm prolog code" into Google returns this very nice source file as the first result. It's probably way too neat and nice to be handed in as homework without extensive cutting-down and messing-up.

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

The second result is this question page here, as SO is highly ranked.