Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Horn clause
open-in-new
<p>In <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a> and <a href="/facts/Logic_programming/Xgh8lj3F">logic programming</a>, a Horn clause is a <a href="/facts/Logical_formula/YpTVlzuj">logical formula</a> of a particular rule-like form that gives it useful properties for use in logic programming, <a href="/facts/Formal_specification/4q2oDkvS">formal specification</a>, <a href="/facts/Universal_algebra/uMJAL6ER">universal algebra</a> and <a href="/facts/Model_theory/vLWVV8sQ">model theory</a>. Horn clauses are named for the logician <a href="/facts/Alfred_Horn/HktvKQQv">Alfred Horn</a>, who first pointed out their significance in 1951. </p>