Что по определению является запросом Пролога?
(Отметьте один правильный вариант ответа.)
Варианты ответа
множество высказываний вида ↔ Ci (i ∈ 1,r ), где Ci – атомы
высказывание вида ↔ C1,..,Cr (r ≥ 0), где Ci (i ∈ 1,r ) – атомы
высказывание вида ↔ C, где C – атом
высказывание вида ↔ C1,..,Cr (r > 0), где C_i (i ∈ 1,r ) – атомы(Верный ответ)