Логічне програмування.
Центральным понятием в логическом программ-и является отношение. Программа
представляет собой совок-ть определений отношений между объектами (в терминах
условий, или ограничений) и цели (запроса). Процесс выполнения программы
трактуется как процесс установления общезначимости логической формулы,
построенной из программы по правилам, установленным семантикой того или иного
языка. Результат вычисления является побочным продуктом этого процесса. Хар-ся:
- сверхвысоким уровнем; - жесткой ориентацией на символьные вычисления (числовая
обработка затруднена); - возможностью инверсных вычислений (переменные в вызовах
«процедур» не делятся на входные и выходные); - зачастую логической неполнотой.