효율적인 BACKTRACKING 을 위한 PROROG INTERPRETING

Backtracking은 PROLOG Program을 직렬(serial)로 수행할 때 자주 생기는 필수적인 작업이며 PROLOG System 의 성능에 커다란 영향을 미치게 된다. 본 논문에서는 PROLOG Program의 각 Clause 에 동일한 형태를 조사하여 Program 을 Graph 형태로 표시함으로써, 종전의 Backtracking의 개념을 확장하여 좀더 효율적인 Backtracking을 할 수 있는 방법을 제시한다.