Я пытаюсь применить упрощенный алгоритм в Prolog, но я не мастер Prolog. Мне нужно это без каких-либо ошибок, поэтому я думал, что вы, ребята, сможете помочь.Реализация алгоритма DPLL в Prolog
Какова реализация алгоритма DPLL в Prolog?
Ввод «прологового кода алгоритма dpll» в Google возвращает этот очень хороший исходный файл в качестве первого результата. Это, вероятно, слишком аккуратно и красиво, чтобы быть сданной как домашняя работа без обширного сокращения и беспорядка.
http://www.mscs.mu.edu/~cstruble/class/cosc159/spring2004/code/dpll.pl
Второй результат этот вопрос страница здесь, как так высоко оценены.
Да, это действительно гладко и аккуратно! thx rly .. и это не главная домашняя работа .. это просто как 5% от этого .. я просто не хотел тратить больше времени, пока у меня этого недостаточно. .. еще раз спасибо .. что было много помощи! – Majd
К сожалению, эта ссылка сейчас не работает. Но здесь есть некоторые вещи: http://code.google.com/p/mlcs/downloads/detail?name=mlcs-programs-3-3-1.zip –