The story
Named after American logician Alfred Horn (1918–2001).
Etymology from Wiktionary, CC BY-SA 4.0.
Horn clause
Today it means: A clause (disjunction of literals) with at most one positive literal. Full definition →
Today it means: A clause (disjunction of literals) with at most one positive literal. Full definition →
Named after American logician Alfred Horn (1918–2001).
Etymology from Wiktionary, CC BY-SA 4.0.