Ich versuche, den vereinfachten Algorithmus in Prolog anzuwenden, aber ich bin kein Prolog-Master. Ich brauche es ohne Fehler, also dachte ich, ihr könnt vielleicht helfen.Implementierung des DPLL-Algorithmus in Prolog
Was ist die Implementierung von DPLL-Algorithmus in Prolog?
Setzen Sie "dpll Algorithmus Prolog-Code" in Google zurückgibt diese sehr nette Quelldatei als erstes Ergebnis. Es ist wahrscheinlich viel zu sauber und nett, um es als Hausaufgabe ohne umfangreiche Schnittreste und Unordnung abzugeben.
http://www.mscs.mu.edu/~cstruble/class/cosc159/spring2004/code/dpll.pl
Das zweite Ergebnis ist diese Frage Seite hier, wie so hoch bewertet wird.
Ja es ist wirklich glatt und ordentlich !! thx rly .. und das ist nicht die Haupthausaufgabe .. es ist nur 5% davon .. ich wollte einfach nicht mehr Zeit verbringen, während ich nicht genug davon habe .. Danke nochmal ... das war eine Menge Hilfe !! – Majd
Leider ist die Verbindung jetzt unterbrochen. Aber es gibt einige Dinge hier: http://code.google.com/p/mlcs/downloads/detail?name=mlcs-program-3-3-1.zip –