
An Introduction to Logic Programming through Prolog is one of the few texts that combine three essential components of logic programming:the declarative nature of logic itself, the programming techniques needed to write effective programs, and the efficient implementation of logic programming by computer.