Submitted by György Chityil ... on Fri, 01/19/2018 - 18:14 Hierarchy: NounDescription: {{logic}} A clause (disjunction of literals) with at most one positive literal.Ngram: Horn clauseNgram Text: Horn clauseSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2