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