The Techniques of PROLOG Programming: With Implementation of Logical Negation and Quantified Goals

The purpose of this text is twofold. Firstly, it presents a firm background for prolog programming and the fundamental techniques of problem-solving using prolog. The book's easy to follow tutorial style features many fully-solved exercises followed by similar problems for student practice. Secondly, it provides an efficient implementation of logical negation and quantified goals needed in expert systems. A disk containing the texts Prolog Programs is included with the book.