Presents a step-by-step guide in Prolog programming through 4 stages: declarative, procedural, advanced and meta programming with an emphasis on artificial intelligence.

T. Van Le is the author of Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals, published by Wiley.