术语 对于主题 计算 包含 clause

英语	俄语
at clause	декларация положения
empty clause	пустой дизъюнкт
exclusive clauses	взаимоисключающие утверждения
Horn clause	дизъюнкт Хорна
if-clause	условие "если"