Horn clause (English, noun)
expansion: Horn clause (plural Horn clauses)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A clause (disjunction of literals) with at most one positive literal.
Forms:
form: Horn clauses
tags: plural