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

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

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

Что по определению является программой Пролога?

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

Варианты ответа
множество правил с непустым телом
множество фактов (правил без тела)
множество функциональных термов
множество правил вида B0 ↔ B1,...,Bm (m ≥ 0), где B0, B1,..,Bm – атомы и где тело правила может быть пустым (m = 0)(Верный ответ)
Похожие вопросы
Что по определению является запросом Пролога?
Что не является объектом Пролога?
Что является термом Пролога?
Что не является фактом Пролога?
Что является объектом Пролога?
Что не является термом Пролога?
Что является атомом Пролога?
Что является фактом Пролога?
Что не является атомом Пролога?
Что не является входом в процедуру Пролога?