horn clause

Questions

What does horn clause mean?

A clause (disjunction of literals) with at most one positive literal.

Where does horn clause come from?

Named after American logician Alfred Horn (1918–2001).

How to pronounce horn clause

1. Open the pronunciation page — Open the Speakur entry for “horn clause”.
2. Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
3. Play the audio — Click Play to hear reference audio for “horn clause”.
4. Repeat and practice — Say “horn clause” aloud, matching stress and vowels until it feels natural.