Horn clause
(redirected from Horn sentence)

Also found in: Wikipedia

0.01 sec.

(logic)

Horn clause - A set of atomic literals with at most one positive literal. Usually written

L <- L1, ..., Ln or <- L1, ..., Ln

where n>=0, "<-" means "is implied by" and comma stands for conjuction ("AND"). If L is false the clause is regarded as a goal. Horn clauses can express a subset of statements of first order logic.

The name "Horn Clause" comes from the logician Alfred Horn, who first pointed out the significance of such clauses in 1951, in the article "On sentences which are true of direct unions of algebras", Journal of Symbolic Logic, 16, 14-21.

A definite clause is a Horn clause that has exactly one positive literal.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			hormone Hormone Therapy hormone-responsive element Hormones Hormoz Hormuz Hormuz, Strait Hormuz, Strait of Horn horn angle Horn Antenna horn arrester Horn Band horn buoy Horn clause Horn Dance horn equation horn gap horn lead horn lightning arrester Horn Loudspeaker Horn of Africa horn of plenty horn quicksilver horn radiator Horn sentence horn silver horn socket horn spacing horn spoon Horn, Arvid Bernhard Horn, Cape Horn, Philip de Montmorency, count of horn-gap switch horn-loaded speaker Hornad Hornád Hornaday, William Temple Hornbeam Hornbeck, Stanley K. hornbill Hornblende hornblendite Hornblower, Captain Horatio Hornblower, Horatio Hornblower, Jonathan Carter Hornblower, Josiah hornbook Hornbostel, Erich von Hornby Horne Islands			Horn of Amalthaea Horn of Amalthea Horn of Amalthea Horn of Amalthea horn of plenty horn of plenty horn of pulp horn of pulp horn of pulp horn of spinal cord horn of spinal cord horn of spinal cord horn paste horn paste horn paste horn pearls horn pearls horn pearls Horn Plastics, Inc. horn plate Horn Point Environmental Laboratory Horn Point Laboratory horn poppy horn poppy Horn pout Horn pox Horn Quicksilver Horn Quicksilver horn radiator Horn rimmed glasses Horn sentence horn shears horn shears horn shears Horn shell horn shells Horn silver Horn silver Horn slate horn socket horn spacing horn spoon Horn Strobe horn tubule horn tubule horn tubule Horn, Arvid Bernhard Horn, Cape Horn, Cape Horn, East and Central Africa Horn, Philip de Montmorency, count of horn, pulp Horn-book Horn-book Horn-book Horn-Fed Bowtie horn-gap switch horn-like horn-like horn-like horn-loaded speaker

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.

Horn clause (redirected from Horn sentence)

Horn clause
(redirected from Horn sentence)