Реализация алгоритма DPLL в Прологе

Question

Реализация алгоритма DPLL в Прологе

Я пытаюсь применить упрощенный алгоритм в Прологе, но я не ведущее устройство Пролога. Мне нужен он без любых ошибок, таким образом, я думал Вы, парни смогли помогать.

Какова реализация алгоритма DPLL в Прологе?

5

algorithm implementation prolog

задан ldog 20 January 2010 в 08:33

1 ответ

Другие вопросы по тегам:

algorithm implementation prolog

Похожие вопросы:

score 4 · Accepted Answer

Установка «DPLL алгоритма пролога» в Google возвращает этот очень приятный исходный файл в качестве первого результата. Это, вероятно, слишком аккуратно и приятно быть врученным как домашнее задание без обширного отсека и возиться.

http://www.msc.mu.edu/~cstruble/Class/coCh159/spring2004/code/dpll.pl

Второй результат - это эта страница вопроса здесь, как так высоко оценено.