本書は、自然言語の計算機処理を実現するために、手続き型論理によって英語を表現する手法を用い、その方法を詳説した入門書である。自然言語理解を目指す学部上級生、大学院生、若手技術者、あるいはそのことに関心をもつ言語学や心理学の研究者にとっての好個の書である。