This text investigates the operational semantics and practical implementation of Parlog, a parallel logic programming language. Conlon provides a structured introduction to the language, detailing its evolution from Prolog and its specific mechanisms for handling concurrent processes. The book serves as a technical manual for developers and researchers interested in the intersection of logic programming and parallel computing architectures.

Experts recognize this work as a foundational text for understanding the development of concurrent logic programming languages during the late 1980s. Readers frequently note the technical density of the prose, which assumes a solid background in traditional logic programming concepts.