Horn clause

名词 n.
中文释义

英文释义

名词 n.
  1. A clause (disjunction of literals) with at most one positive literal.

词形变化

Horn clauses plural

词源

Named after American logician Alfred Horn (1918–2001).
0 次浏览 数据来源: Wiktionary