For-loop for Logic Programming

고전 논리나 선형 논리에 기반한 논리 프로그래밍에서는 순차적 작업이나 순차적 순환 작업을 표현하는 구문이 결여되어 있다. 최근 순차적 작업을 표현하는 구문 - $G_1{\cap}G_2$ 이 제시되었는데 이는 Japaridze의 game 모델에 기반을 두고 있다. 본 논문에서는 ${\cap}_x^LG$의 형태를 갖고 있는 순차적 순환 작업을 제안하고 있다. 여기서 $x$는 변수이고, $L$은 리스트이고, $G$는 목표작업을 의미한다. 기호 ${\cap}_x^L$는 순차적 유한 정량자라고 불린다. 위 구문을 다음과 같은 작업을 의미한다... View More