# Horn clause

## Type of logical formula / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Horn clauses?

Summarize this article for a 10 year old

SHOW ALL QUESTIONS

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]}