[책소개]
이 책의 목적은 보통 말하는 그런 프로그래밍 기술을 가르치는 것이 아니다. 프로그래밍은 단순히 책을 읽거나 강사의 말을 듣는 것만으로는 배울 수 없다고 생각한다. 프로그래밍을 배우기 위해서는 프로그래밍을 해야 한다. 수학적 배경이 없는 초보자도 이 책을 통해서 프롤로그를 배울 수 있기를 바라는 바이지만, 이 경우에는 프롤로그를 아는 프로그래머가 초보자를 가르치기를 권장한다. 가정하는 바는, 초보자가 프롤로그 시스템이 설치되어 있는 컴퓨터를 사용할 수 있고 그 컴퓨터에 대한 사용 교육을 받았다고 전제한다. 숙련된 개발자는 추가적인 도움이 필요하지 않겠지만, 수학적으로 자세한 설명을 자제하려는 저자의 의도에 실망하지 않기를 바란다.
제1장은 프롤로그에 대한 근본적인 개념을 소개하고, 독자가 그것을 신중하게 연구하도록 권고한다. 제2장에서는 제1장에서 소개한 중요 개념에 대해 보다 충분하게 논의한다. 제3장에서는 자료 구조를 다루고 몇 가지 간단한 예제 프로그램을 도출한다. 제4장에서는 ‘무름’ 주제를 보다 자세히 다루고 ‘무름’을 제어하는 데 사용하는 ‘자름’ 기호를 소개한다. 제5장에서는 입출력에 사용할 수 있는 기능을 소개한다. 제6장에서는 표준 프롤로그 핵심에 있는 각각의 내장 술어에 대해 설명한다. 제7장은 많은 출처에서 수집한 예제 프로그램의 발췌집이며 작성한 방법도 함께 설명해 놓았다. 제8장에는 프롤로그 프로그램에 대한 몇 가지 ‘구충’ 요령이 있다. 제9장에서는 문법 규칙의 문법을 소개하고, 문법 규칙으로 자연어를 분석하는 문제의 어떤 측면을 다룰, 설계 결정 사항을 검토한다. 제10장에서는 프롤로그와 그 기원을 이루는 수학 정리 증명의 관계, 그리고 프롤로그와 논리 프로그래밍의 관계에 대해 설명한다. 제11장에는 많은 과제가 명세되어 있는데, 관심 있는 독자가 과제 수행을 통하여 자신의 개발 능력을 단련하기 바랄만한 것이다.

[목차]
CHAPTER 1 길라잡이 입문
CHAPTER 2 눈여겨보기
CHAPTER 3 자료구조 사용
CHAPTER 4 무름과 ‘자름’
CHAPTER 5 입력과 출력
CHAPTER 6 내장 술어
CHAPTER 7 프로그램 예제
CHAPTER 8 프롤로그 프로그램 구충하기
CHAPTER 9 프롤로그 문법 규칙 활용
CHAPTER 10 프롤로그와 논리의 관계
CHAPTER 11 프롤로그 과제