Horn clause

短语

词形变化

Horn clauses 复数 Horn clauses

释义与例句

n.
  1. 1.

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

    数学 哲学

词源

Named after American logician Alfred Horn (1918–2001).

来源：wiktionary