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