411 REFERENCE · Wiktionary
Horn clause
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
en American logician Alfred Horn 1918 2001 =.
Noun
en logic A clause (disjunction of literals) with at most one positive literal.
Further reading