병렬 추론머신 X - WAM의 프로토타입 시스템의 구현

논리언어의 병렬수행 모델을 Prolog의 순차수행 머신인 WAM을 기초로 하여 구현하는 연구가 활발히 진행되고 있다. 이러한 연구의 일환으로 [7,8]에서는 WAM에 기반을 둔 Goal Process Model을 구현한 추상머신인 X-WAM을 설계하였다. 이 X-WAM은 RAP과 Pipeline식의 OR 병렬성을 구현하고 있는데, 본 논문에서는 충분한 OR 병렬성을 얻을 수 있도록 하기 위하여 Delphi 형태의 OR 병렬수행 모델[2,3]을 X-WAM에 확장시킨 새로운 X-WAM의 구현에 관하여 설명한다. X-WAM에 비하여 OR 병렬 수행 모델의 추상머신 부분을 XWAM-Ⅱ라 부른다. 본 논문에서는 16개의 상용 프로세서를 이용하여 XWAM-Ⅱ를 구현한 프로토타입 시스템이 관하여도 설명하고 있다.