논리 프로그램의 병렬 수행을 위한 AND / OR Bipartite 아키텍춰

AND/OR 프로세스 모델에서 fact clause의 unification을 nondeterminstic하게 수행할 수 있는 변형된 AND/OR 프로세스 모델을 제안한다. 또한 AND/OR 프로세스 모델을 실제 환경에서 효율적으로 수행하기위한 AND/OR Bipartite 아키텍춰에 대하여 제안한다. AND/OR Bipartite 아키텍춰는 AND/OR 프로세스 모델의 특성인 AND 프로세스와 OR 프로세스가 번갈아 나오는 parent와 children의 관계에 있는 프로세스들 사이에만 메시지를 특성을 충분히 이용한 모델로서, 이 AND/OR Bipartite 아키텍춰에서는 프로세스 할당 정책을 간소화 할 수 있으며, 전체적인 부하 균등(load balance)의 효과를 얻을 수 있다.