논리 프로그램(logic program)의 병렬 수행 시, 중요한 작업 중의 하나인 재초기화(resetting)를 수행하기 위한 알고리즘들의 정확성(correctness) 증명을 위한 기준을 제시한다. 많은 연구자들이 논리 프로그램의 병렬 수행을 위한 수행 모형을 제안한 바 있고, 그것과 관련하여 재초기화를 효율적으로 처리하기 위한 알고리즘들을 제시하였다. 그러나 그 알고리즘들이 올바르게 작동하는 지에 대해서는 분명한 언급이 없는 경우가 많았다. 본 논문에서는 정확성에 대한 판단을 내릴 수 있는 기준을 도출한다. 이 도출 과정은 직관적으로 보아 명백한 사실에 대한 관찰로부터 유도되는 식으로 이루어진다. 도출된 정확성 판단 기준에 근거하여 기존의 재초기화 방법들을 점검하고, 보다 효율적이라고 판단되는 재초기화 방법도 서술한다.