Noun
Horn clause (plural Horn clauses)
(logic) A clause (disjunction of literals) with at most one positive literal.
A clause is called Horn clause if it contains at most one positive literal. Source: Internet
Negation as failure main For most practical applications, as well as for applications that require non-monotonic reasoning in artificial intelligence, Horn clause logic programs need to be extended to normal logic programs, with negative conditions. Source: Internet