Исправления:
Модуль 1
При каком условии два факта в языке Prolog являются сопоставимыми?
если их предикаты одинаковы и их соответствующие аргументы попарно совпадают
Модуль 2
Каким является оператор, если он имеет два аргумента и располагается между ними?
инфиксным
Модуль 3
Что из перечисленного не является термом?
атомарная формула
|