Horn clause [SEP] named after
Horn clause
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.
Definition.
A Horn clause is a clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal. 
Conversely, a disjunction of literals with at most one negated
. Deadline|Hollywood, 12 June 2013. Web.
- Marx, Andy, and William McArdle. "Humor: Sharon Stone Named Suspect in Cannes Jewel Heist." https://variety.com/2013/film/news/sharon-stone-named-suspect-in-cannes-jewel-heist-1200489578/ .Variety. N.p., n.d. Web. 18 June 2014.
- "About - Andy Marx." http://andymarx.com/about/ .ANDY MARX. N.p., n.d. Web. 1 July 2014.
- Horn, John. "Hollywood & Swine Pokes Fun at Its Writers' Industry." http://articles.latimes.com/2012/sep/09/entertainment/la-et-mn-hollywood-swine-20120910 .Los Angeles Times. Los Angeles Times, 09 Sept.