Horn clause

Computing Dictionary

Horn clause definition

A set of atomic literals with at most one positive literal. Usually written
L where n>=0, "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.
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: horn chair
Next Definition: horn coral
Words Near: Horn clause
More from Thesaurus.com
Synonyms and Antonyms for Horn clause
More from Reference.com
Search for articles containing Horn clause
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature