DictionaryAI

Horn clause

Short definition from Wiktionary

Noun

  1. A clause (disjunction of literals) with at most one positive literal.

We haven’t written up Horn clause yet: Simple and Standard meanings, examples and a quiz.