Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Арифметика с точки зрения логического программирования \

9.6.4.4.2. Теоретико-
модельная семантика

Начало см. здесь и здесь.
Агафонов В. Н., Борщев В. Б., Воронков А. А.
Логическое программирование в узком смысле.
В книге: "Логическое программирование" (сборник статей).
Пер. с англ., М.: Мир, 1988, сс. 303 — 305.
О программах, запросах, термах и основных термах см. здесь.

О термах и атомах см. здесь.

О программах и правилах см. здесь.

О том, какие правила называются "фактами" см. здесь.



К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Арифметика с точки зрения логического программирования \