Horn clause

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