В правиле "ЕСЛИ-ТО" часть "ЕСЛИ" называется
(*ответ*) посылкой
условием
суждением
выводом
В правиле "ЕСЛИ-ТО" часть "ТО" называется
(*ответ*) выводом
суждением
фактом
посылкой
В предикате "впадает (Волга, Каспийское море)" "Каспийское море" является
(*ответ*) термом-константой
процедурой
переменной
предикатным символом
В предикате "впадает (Волга, Каспийское море)" слово "Волга" является
(*ответ*) термом-константой
процедурой
переменной
предикатным символом
В предикате "впадает (Волга, Каспийское море)" слово "впадает" является
(*ответ*) предикатным символом
процедурой
переменной
термом-константой
В продукционных системах антецедент означает
(*ответ*) предусловие
факт
постусловие
действие
В продукционных системах консеквент означает
(*ответ*) действие
факт
постусловие
предусловие
В Прологе в результате унификации переменной с атомом переменная
(*ответ*) принимает значение данного атома
сохраняет свое значение
становится анонимной
уничтожается
В Прологе встроенные предикаты не могут
(*ответ*) являться головой правила и появляться в факте
появляться рекурсивном правиле и являться головой рекурсивного правила
являться головой рекурсивного правила
появляться в рекурсивном правиле
В Прологе выражение X is ([1,2,3]+5) имеет значение
(*ответ*) 6
5
11
В Прологе для предиката not/1 можно использовать также форму записи
(*ответ*) \+
+\
/+
+/
В Прологе отношение "Х равно Y" описывается с помощью предиката
(*ответ*) Х =:= Y
Х = Y
Х == Y
Х =\= Y
В Прологе переменные, которым не было присвоено значение, называются
(*ответ*) свободными
пустыми
формальными
анонимными