논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안

본 논문에서는 논리 프로그램의 AND 병렬 수행을위한 하부구조 (framework)를 논리적인 정의를 통해서 제안하고 제안된 하부구조를 기초로하여 지능적인 resetting 방법을 제안한다. 여기서 제안된 지능적인 resetting 방법은 실패한 리터럴의 바인딩 정보를 기초로하며, 이 정보는 resetting 할 때 지능의 주된 요인이다. 우리들은 제안된 지능적인 resetting 방법의 정확성을 framework에 기초하여 간단하고 논리적인 방법으로 증명한다.