논리 프로그램의 병렬 처리를 위한 PRUNING AND / OR 프로세스 모델

논리 프로그램의 병렬 처리를 위한 많은 모델들이 제안되어왔다. 그중에서 Conery의 AND/OR 프로세스 모델과 Kale의 REDUCE/OR 프로세스 모델이 대표적이다. 본 논문은 두 모델에 기반을 둔 새로운 병렬 수행 모델인 PRUNING AND/OR 프로세스 모델을 제안하고 이를 분석한다. 기존의 AND/OR 프로세스 모델에서는 AND 병렬성을 지원하고 OR 병렬성을 제한하지만 본 논문에서 제시된 모델은 보다 완전한 OR 병렬성을 시도하였다. 또한 이 모델을 이용할 경우 논리 프로그램 수행의 신뢰도를 향상시킬 수 있다.