Problem Solving with PROLOG

This is a practical introduction to PROLOG for the reader with little experience. It presents problem-solving techniques for program development in PROLOG based on case analysis and the use of a toolkit of PROLOG techniques. The development of larger scale programs and the techniques for solving them using the methodology and tools described, through the presentation of several case studies of typical programming problems is also discussed.