Horn clause Horn Island Horn Island, Queensland Horn Lake Horn of Africa Horn speaker
Horn-Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US-amerikanischen Logiker Alfred Horn.
