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