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. == Definition == Eine Horn-Formel ist eine konjunktive Normalform (das heißt eine Konjunk...