PROLOG의 무한 루프(loop) 제거에 관한 연구

Abstract

This thesis studies eliminating infinite loops in PROLOG. A PROLOG program gets into an infinite loop whenever a goal invokes itself with the same arguments as a subgoal. This study has concentrated on the problem of infinite loops resulted from transitive and symmetrical relations and biconditionals. These loops are caused by exhaustive depth-first search. A programming solution to solve this problem is provided. Modified rules without infinite loops make it possible to extend application areas in PROLOG and to execute completely deductive reasoning and retrieval over database.;PROLOG 최근 논리 프로그래밍 언어로서 상당히 주목을 받고 있다. PROLOG의 기본 수행 기법은 유니피케이션 (unification)이다. 유니피케이션은 위에서 아래로(top-down), 왼쪽에서 오른쪽으로(left-to-right) 그리고 깊이 우선 탐색(depth-first search) 기법을 사용하여 처리된다. 깊이 우선 탐색 기법은 구현이 쉽고 효율적으로 답을 구할 순 있지만 불필요한 경로 탐색으로 시간을 낭비하는 경우가 있고 어떤 때는 무한 루프에 빠지는 경우도 있다. 본 논문에서는 PROLOG가 깊이 우선 탐색 기법을 사용하기 때문에 발생하는 무한 루프의 형태 중 전이(transitive) 관계와 대칭(symmetrical) 관계 그리고 쌍조건문 (biconditional)에서 발생 하는 무한 루프를 제거하여 정확한 답을 제공해주는 방법을 제시하였다. 이 방법에서는 프로그램을 수행시키기 전에 미리 분석하여 전이 관계, 대칭, 관계, 쌍조건문을 나타내는 규칙을 찾아낸다. 다음에 무한 루프가 발생할 가능성이 있는 이러한 규칙들을 수정해서 새로운 규칙으로 변환시킨다. 그 결과로 무한 루프에 빠지지 않게 된다.