PROLOG는 1970년대 초반에 프랑스 Marseilles대학의 Alan Colmerauer에 의해서 개발된 제5세대 프로그래밍 언어이다. 이 언어는 인간과 기계 사이의 자연어 기반 의사소통 시스템을 구현하기 위하여 고안된 것으로 1차 술어논리에 기반하여 논리로 프로그램을 작성하도록 한다. 지금까지는 유럽을 중심으로 자연언어처리 및 인공지능 분야에서 주로 사용되어 왔다. 그러나 최근 시멘틱 웹의 등장과 함께 추론엔진의 개발이 필수적인 여러 분야에서 관심을 받고 있으며 향후 더 많은 주목을 받게 될 것이다.

본서의 내용은 PROLOG의 핵심적인 프로그래밍 원리와 한국어 정보처리에의 응용 부분으로 구성되어 있다. PROLOG 통사론 부분에서는 자연언어처리에 필요한 기본적인 프로그래밍 원리와 기법을 설명하고 있으며, 각 절에는 활용능력을 키우기 위한 연습문제를 제시하고 있다. 한국어 정보처리 부분에서는 한국어 형태소 분석, 구문 분석, 의미 분석 등의 언어정보처리 전반에 대하여 소개하고 있다. 전산언어학과 논리적인 프로그래밍 언어에 대한 기본적인 이해를 얻는데 좋은 입문서가 될 것으로 믿는다.