База ответов ИНТУИТ

Языки логического программирования

<<- Назад к вопросам

Что называется моделью программы?

(Отметьте один правильный вариант ответа.)

Варианты ответа
интерпретация I программы, если для любого правила B0 ↔ B1,...,Bm и любой подстановки Θ, где ΘB0 – атом без переменных из ΘB1,...,ΘBm ⊆ I следует, что ΘB0 ∈ I(Верный ответ)
структура правил и фактов программы с точностью до обозначения переменных
структура фактов и правил программы
пересечение всех интерпретаций программы
Похожие вопросы
Что называется основной моделью программы?
Что называется интерпретацией программы?
Как графически представляется пространство вычислений программы?
Что представляет собой пространство вычислений программы?
При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?
При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?
Что называется правилом Пролога?
Что называется фактом Пролога?
Что называется термом Пролога?
Что называется запросом Пролога?