프롤로그에서 부분 해 제어를 위한 CUT 구현 = CUT Implementation for Partial Solution Control Strategy in PROLOG

국문 초록 (Abstract)

CUT은 프롤로그 프로그램에서 수행 속도 증가와 탐색 공간을 줄이는 역할을 한다. 그러나 CUT의 사용으로 인하여 프로그램의 의미가 변하는 경우가 있다. 또한 CUT은 부분 해를 구하기 위해서도 사용하나 경우에 따라 해를 구하지 못하기도 한다. 이러한 문제를 해결하기 위하여 CUT의 의미를 재해석하여 기존의 CUT과 Alternative 해를 가지는 CUT으로 구분하였다. 이를 구현하기 위해 WAM 명령어를 기존의 CUT은 PCUT으로, Alternative 해를 가지는 CUT은 CCUT으로 확장하였고 backtracking시의 환경 프레임 관리 기법을 제안하였다.

목차 (Table of Contents)

• 요약
• Ⅰ. 서론
• Ⅱ. CUT의 고찰
• Ⅲ. Alternative를 가지는 CUT
• Ⅳ. 결론및 관련 연구
• 참고문헌