This text investigates the intersection of computational linguistics and logic programming by demonstrating how the Prolog language can be utilized to model natural language structures. Authors Chris Mellish and Gerald Gazdar provide a technical framework for students and researchers to implement linguistic theories through executable code. The book bridges the gap between abstract grammatical theory and practical software implementation using the specific constraints of the Prolog environment.

Experts recognize this work as a foundational text for understanding the historical application of logic programming to linguistic problems. Readers frequently note the academic density of the prose and the requirement for a solid grasp of both Prolog syntax and linguistic theory to fully utilize the provided examples.