Back Clàusula de Horn Catalan Hornova klauzule Czech Horn-Formel German Cláusula de Horn Spanish عبارت هورن Persian Clause de Horn French Horn-klóz Hungarian Clausola di Horn Italian ホーン節 Japanese Хорн өрнегі Kazakh
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form that gives it useful properties for use in logic programming, formal specification, universal algebra and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.[1]