Sto provando ad applicare l'algoritmo semplificato in Prolog, ma non sono un master di Prolog. Ne ho bisogno senza errori, quindi ho pensato che potreste essere in grado di aiutarvi.Implementazione dell'algoritmo DPLL in Prolog
Qual è l'implementazione dell'algoritmo DPLL in Prolog?
Inserire "codice prolog algoritmo dpll" in Google restituisce questo file sorgente molto bello come primo risultato. Probabilmente è troppo bello e bello per essere consegnato come compito a casa senza un ampio taglio e disordine.
http://www.mscs.mu.edu/~cstruble/class/cosc159/spring2004/code/dpll.pl
Il secondo risultato è questa pagina domanda qui, come lo è anche altamente classificato.
Sì, è molto semplice e pulito !! grazie .. e questo non è il compito principale .. è solo come il 5% di esso .. io non volevo passare più tempo mentre non ne ho già abbastanza .. grazie ancora .. che è stato di grande aiuto !! – Majd
Purtroppo il link è rotto ora. Ma ci sono alcune cose qui: http://code.google.com/p/mlcs/downloads/detail?name=mlcs-programs-3-3-1.zip –