Центральным понятием в логическом программировании является отношение. Процесс выполнения программы трактуется как процесс общезначимости логической ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Аратамонов Б.Н. Основы компьютерных технологий


Центральным понятием в логическом программировании является отношение. Процесс выполнения программы трактуется как процесс общезначимости логической формулы, построенной из программы по правилам, установленным семантикой используемого языка. Результат вычисления является побочным продуктом этого процесса.

(cкачать страницу)

Смотреть книгу на libgen

Центральным понятием в логическом программировании является отношение.  Процесс выполнения программы трактуется как процесс общезначимости логической формулы,  построенной из программы по правилам,  установленным семантикой используемого языка.  Результат вычисления является побочным продуктом этого процесса.