Webster's Online Dictionary
with Multilingual Thesaurus Translation

 
Earth's largest dictionary with more than 1226 modern languages and Eve!

Common Expressions: HORN CLAUSE

ExpressionsDefinition
Horn clauseWhere the number of propositions combined by ands is as large as we like (and may be zero). (references)

Source: compiled by the editor from various references; see credits.

Top

Specialty Expressions: HORN CLAUSE

ExpressionsDomainDefinition
Horn clauseComputingHorn clause A set of atomic literals with at most one positive literal. Usually written L <- L1,..., Ln or <- L1,..., Ln where n>=0. 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. (2000-01-24). Source: The Free On-line Dictionary of Computing..

Source: compiled by the editor from various references; see credits.

Top