Back Clàusula de Horn Catalan Hornova klauzule Czech Horn clause English Cláusula de Horn Spanish عبارت هورن Persian Clause de Horn French Horn-klóz Hungarian Clausola di Horn Italian ホーン節 Japanese Хорн өрнегі Kazakh
Horn-Formeln sind eine wichtige Art prädikatenlogischer 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 Mathematiker Alfred Horn.