Какое утверждение относительно правила Пролога является верным?
(Отметьте один правильный вариант ответа.)
Варианты ответа
тело правила должно быть конъюнкцией не менее двух атомарных предикатов
каждый из предикатов, входящих в правило, может содержать другие предикаты
могут быть переменные тела правила, не содержащиеся в заголовке правила(Верный ответ)
только факты образуют базу знаний
стрелка, разделяющая заголовок и тело правила, идет влево от заголовка к телу