혼 절
수리 논리학에서 최대 하나의 긍정 리터럴을 포함하는 논리식의 한 형태이다. 이는 연역적 추론 시스템에서 효율적인 계산을 가능하게 하며, 지식 표현과 프로그래밍 언어(Prolog 등)의 기초가 된다.
