Главная /
Языки логического программирования /
Что по определению является программой Пролога?
Что по определению является программой Пролога?
вопросПравильный ответ:
множество фактов (правил без тела)
множество правил с непустым телом
множество правил вида
B0 ↔ B1,...,Bm (m ≥ 0)
, где B0, B1,..,Bm
– атомы и где тело правила может быть пустым (m = 0)
множество функциональных термов
Сложность вопроса
94
Сложность курса: Языки логического программирования
92
Оценить вопрос
Комментарии:
Аноним
Зачёт сдан. Лечу кутить отмечать халяву с тестами интуит
26 мар 2020
Аноним
спасибо за тест
06 мар 2020
Аноним
Большое спасибо за помощь по интуиту.
22 сен 2019
Другие ответы на вопросы из темы программирование интуит.
- # При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?
- # Какое утверждение верно относительно директив Рефала-2?
- # Вычисление выражения Рефала-2 k/pr/ k/symb/ k/lengw/ k/first/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'..... выведет
- # Какое утверждение для Рефала-5 является неверным?
- # Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?