Центральным понятием в логическом программировании является отношение. Процесс выполнения программы трактуется как процесс общезначимости логической ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Аратамонов Б.Н.
Основы компьютерных технологий
Центральным понятием в логическом программировании является отношение. Процесс выполнения программы трактуется как процесс общезначимости логической формулы, построенной из программы по правилам, установленным семантикой используемого языка. Результат вычисления является побочным продуктом этого процесса.