Horn clause

(logic)A set of atomic literals with at most one positive literal. Usually written

L
where n>=0, "goal. Horn clauses can express a subset of statements offirst order logic.

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

A definite clause is a Horn clause that has exactly onepositive literal.

单词	horn clause
释义	Horn clause Horn clause (logic)A set of atomic literals with at most one positive literal. Usually written L where n>=0, "goal. Horn clauses can express a subset of statements offirst order logic. The name "Horn Clause" comes from the logician Alfred Horn,who first pointed out the significance of such clauses in1951, in the article "On sentences which are true of directunions of algebras", Journal of Symbolic Logic, 16, 14-21. A definite clause is a Horn clause that has exactly onepositive literal.
随便看	rams ramsa ramsar convention ramsar convention on wetlands ramsar information sheet ramsar sites information service ramsar small grant fund ramsar wetlands communications program ramsauer effect ramsauer-townsend effect ramsay ramsay allan ramsay, allan ramsay, george ramsay hunt ramsay hunt's syndrome ramsay hunt syndrome ramsay hunt syndromes ramsay macdonald ramsay mcdonald ramsay-shields-eötvös equation ramsay, sir bertram home ramsay, sir william ramsay's kitchen nightmares ramsay william