Meaning of Horn clause | Babel Free
Definitions
A clause (disjunction of literals) with at most one positive literal.
CEFR level
B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
This word is part of the CEFR B2 vocabulary — upper intermediate level.