Estoy tratando de aplicar el algoritmo simplificado en Prolog, pero no soy un maestro de Prolog. Lo necesito sin ningún error, así que pensé que ustedes podrían ayudar.Implementación del algoritmo DPLL en Prolog
¿Cuál es la implementación del algoritmo DPLL en Prolog?
Al poner el "código de prólogo del algoritmo dpll" en Google, este es el primer resultado. Probablemente sea demasiado ordenado y agradable para ser entregado como tarea sin un gran recorte y desorden.
http://www.mscs.mu.edu/~cstruble/class/cosc159/spring2004/code/dpll.pl
El segundo resultado es esta página de preguntas aquí, como también lo es altamente clasificado.
¡Sí, es realmente sencillo y ordenado! thx rly ... y esta no es la tarea principal ... es como el 5% de ella ... simplemente no quería pasar más tiempo mientras no tengo suficiente de eso ... gracias de nuevo ... que fue de mucha ayuda !! – Majd
Lamentablemente, el enlace está roto ahora. Pero hay algunas cosas aquí: http://code.google.com/p/mlcs/downloads/detail?name=mlcs-programs-3-3-1.zip –