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?
A:
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.
Potatoswatter
2010-01-19 22:26:11
Yeah it's really smooth and neat!! thx rly .. and this is not the main homework .. it's just like 5% of it .. i just didn't want to spend more time while i don't have enough of it already .. thank you again .. that was a lot of help!!
Majd
2010-01-20 01:12:47