Terms for subject Computers containing clause

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