| Czech |
| has gloss | ces: V logice, konkrétně ve výrokové logice se jako Hornova klauzule označuje speciální druh klauzule (disjunkce literálů), která obsahuje nejvýše jeden pozitivní literál (ostatní jsou negované): : \neg p \or \neg q \or \cdots \or \neg t \or u. Hornovu klauzuli tak lze obecně zapsat jako implikaci ve formě : (p \and q \and \cdots \and t) \implies u. |
| lexicalization | ces: Hornova klauzule |
| German |
| has gloss | deu: Horn-Formeln sind eine wichtige Teilmenge der prädikatenlogischen Formeln. Sie spielen eine zentrale Rolle in der Logischen Programmierung und sind von Bedeutung für die konstruktive Logik. Benannt wurden sie nach dem US-amerikanischen Logiker Alfred Horn. |
| lexicalization | deu: Horn-Formel |
| lexicalization | deu: Hornformel |
| French |
| has gloss | fra: Définition En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif. |
| lexicalization | fra: Clause de horn |
| Hungarian |
| has gloss | hun: Horn-klóz a matematikai logikában, konkrétan a nulladrendű (vagy ítélet-) és az elsőrendű (vagy predikátum-) logikában olyan zárt klóz, azaz véges sok negálatlan vagy negált zárt atomi formulából (literálból) diszjunkció által összetett formula, mely legfeljebb egy negálatlan, azaz pozitív atomot tartalmaz; a többi tagja viszont negált. |
| lexicalization | hun: Horn-klóz |
| Italian |
| has gloss | ita: In logica, e in particolare nel calcolo proposizionale, una clausola di Horn è una disgiunzione di letterali in cui al massimo uno dei letterali è positivo. |
| lexicalization | ita: clausola di Horn |
| Japanese |
| has gloss | jpn: ホーン節（）とは、数理論理学において、せいぜい1つの肯定形のリテラルを持つ節（リテラルの論理和）である。論理学者アルフレッド・ホーンは1951年、"On sentences which are true of direct unions of algebras" という論文（Journal of Symbolic Logic, 16, 14-21）の中で、このような節の重要性を初めて指摘した。 |
| lexicalization | jpn: ホーン節 |
| Dutch |
| has gloss | nld: In de logica is een Horn-clausule (Engels: Horn clause) een clausule, een disjunctie van literals, met ten hoogste 1 positieve literal. Ze zijn vernoemd naar de logicus Alfred Horn die deze in 1951 behandelde in zijn publicatie "On sentences which are true of direct unions of algebras" in Journal of Symbolic Logic. |
| lexicalization | nld: Horn clausule |
| lexicalization | nld: Horn-clausule |
| Polish |
| has gloss | pol: Klauzula Horna (ang. Horn clause) to klauzula, w której co najwyżej jeden element jest niezanegowany. Przykładami takich klauzul są p,¬r,¬q} i ¬r,¬q}. |
| lexicalization | pol: Klauzula Horna |
| Portuguese |
| has gloss | por: Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo. Uma cláusula de Horn com exatamente um literal positivo é dita uma cláusula definida (ou regra); uma cláusula de Horn sem literais positivos é às vezes dita cláusula objetivo (ou fato), especialmente no contexto da programação lógica. Uma fórmula de Horn é uma fórmula na forma normal conjuntiva cujas cláusulas são todas de Horn; em outras palavras, é uma conjunção de cláusulas de Horn. Uma cláusula de Horn dual é uma cláusula com no máximo um literal negativo. As cláusulas de Horn têm um papel essencial na programação lógica e são importantes na lógica construtiva. |
| lexicalization | por: Cláusula de horn |
| Russian |
| has gloss | rus: В математической логике, дизъюнкт Хорна — дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года "On sentences which are true of direct unions of algebras" (Journal of Symbolic Logic 16, 14-21). |
| lexicalization | rus: дизъюнкт Хорна |
| Castilian |
| has gloss | spa: Una cláusula de Horn es una regla de inferencia lógica con una serie de premisas (cero, una o más), y un único consecuente. Las cláusulas de Horn son las instrucciones básicas del lenguaje de programación PROLOG, de paradigma declarativo. |
| lexicalization | spa: Clausula de Horn |
| lexicalization | spa: cláusula de Horn |
| Chinese |
| has gloss | zho: 在数理逻辑中，Horn 子句是带有最多一个肯定文字的子句(文字的析取)。Horn 子句得名于逻辑学家 Alfred Horn，他在 1951 年首先在文章《On sentences which are true of direct unions of algebras》, Journal of Symbolic Logic, 16, 14-21 中指出这种子句的重要性。 |
| lexicalization | zho: 霍恩子句 |