ФК
Фёдор Корнейчук
В основе логического
программирования лежит
использование метода резолюций.
Алгоритмические свойства некоторой
функции можно представить
множеством дизъюнктов и использовать метод резолюций для
вычисления значений этой функции.
Метод резолюций будет эффективен
только в случае, если мы имеем
множество хорновских дизъюнктов.
Так как принципиальное отличие от общего алгоритма резолюций в том,
что на каждом этапе некоторый
объект (атом) удаляется из одного
дизъюнкта то выполнение алгоритма
всегда завершится, какая бы
стратегия ни была принята. Если N – число атомов, первоначально
присутствующих в множестве
дизъюнктов (с учётом повторений) ,
то цикл будет выполняться не более
N-раз.