Главная /
Языки логического программирования /
Что называется моделью программы?
Что называется моделью программы?
вопросПравильный ответ:
структура фактов и правил программы
структура правил и фактов программы с точностью до обозначения переменных
интерпретация I программы, если для любого правила
B0 ↔ B1,...,Bm
и любой подстановки Θ
, где ΘB0
– атом без переменных из ΘB1,...,ΘBm ⊆ I
следует, что ΘB0 ∈ I
пересечение всех интерпретаций программы
Сложность вопроса
23
Сложность курса: Языки логического программирования
92
Оценить вопрос
Комментарии:
Аноним
Я завалил сессию, почему я не нашёл данный сайт с всеми ответами интуит прежде
26 мар 2019
Аноним
Благодарю за тесты по интуит.
05 дек 2018
Другие ответы на вопросы из темы программирование интуит.