Horn clause

名詞

(logic) A clause (disjunction of literals) with at most one positive literal.

日本語の意味

論理学において、正のリテラルが高々一つ含まれる論理式（リテラルの論理和として表現される節）

A Horn clause typically makes inference efficient in logic programming and automated theorem proving.

正のリテラルが高々1つしかない節（リテラルの論理和）は、論理プログラミングや自動定理証明において推論を効率化することが多い。

意味（1）

(logic) A clause (disjunction of literals) with at most one positive literal.

Horn clauses

（ plural ）