|
9.6.4.4.4. Процедурная семантика_2
|
|
Агафонов В. Н., Борщев В. Б., Воронков А. А.
Логическое программирование в узком смысле.
В книге: "Логическое программирование"
(сборник статей).
Пер. с англ., М.: Мир, 1988, сс. 307 308.
О
программах и запросах см.
здесь.
О
"правиле вычисления" и о "выводимости одного запроса из другого" см.
здесь.
О
подстановках см.
здесь.
О
теоретико-модельной семантике см.
здесь.