Я пытаюсь применить упрощенный алгоритм в Прологе, но я не мастер Пролога. Мне это нужно без ошибок, поэтому я подумал, что вы, ребята, могли бы помочь.
Какова реализация алгоритма DPLL в Прологе?
Помещение "кода пролога алгоритма dpll" в Google возвращает этот очень хороший исходный файл в качестве первого результата.Это, вероятно, слишком аккуратно и приятно, чтобы быть переданным как домашнее задание без обширного сокращения и путаницы.
http://www.mscs.mu.edu/~cstruble/class/cosc159/spring2004/code/dpll.pl
Второй результат - эта страница вопроса здесь, так как SOвысокий рейтинг.