Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Constrained Horn clauses
open-in-new
<p>Constrained Horn clauses (CHCs) are a fragment of <a href="/facts/First-order_logic/lcISqWIg">first-order logic</a> with applications to program <a href="/facts/Formal_verification/BYD4GnJR">verification</a> and <a href="/facts/Program_synthesis/IK3gcrfp">synthesis</a>. Constrained Horn clauses can be seen as a form of <a href="/facts/Constraint_logic_programming/b47VLwE9">constraint logic programming</a>. </p>