Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals

Discover the intricate world of Prolog programming with "Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals" by T. Van Le. Published by John Wiley & Sons Inc in 1993, this comprehensive paperback spans 624 pages, expertly guiding readers through the nuances of Prolog.

T. Van Le's approach mirrors successful language courses, breaking down complex concepts into four distinct stages: declarative, procedural, advanced, and meta-programming. This structured methodology ensures that both newcomers and experienced programmers can grasp and apply essential Prolog techniques with ease.

One of the standout features of this book is its thorough presentation of logical negation and quantified goals—crucial elements for developing effective expert systems. With real-world applications and practical examples, this book is an invaluable resource for anyone looking to deepen their understanding of Prolog programming.