![kklani avatar](/pub/profile/avatars/74/2474/113002474.jpg)
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.