본 논문은 CLINGO와 같은 현대적인 답 집합 프로그래밍(Answer Set Programming) 솔버에서 지원하는 조건적 리터럴(conditional literal)과 산술 연산을 포함하는 논리 프로그램에 대한 의미론을 제안합니다. 조건적 리터럴은 논리 규칙의 본문 내에서 중첩된 함축과 같이 작동하는 "하위 공식"을 형성하며, 이는 규칙의 형식을 일차 논리의 덜 제한적인 구문과 더 가깝게 만듭니다. 본 논문은 SM 연산자를 기반으로 하는, 이러한 프로그램에 대한 의미론을 제안하며, 기존의 무한 명제 논리로의 변환에 의존하는 기존 의미론과는 달리, 이 의미론은 grounding을 필요로 하지 않습니다. 본 논문의 주요 결과는 제안된 의미론과 기존 의미론 간의 정확한 일치를 확립합니다.
