Advanced Logic Programming Language

This guide consists of a number of tutorials that provide detailed, comprehensive coverage of different aspects of Prolog in general, and Prolog-2 in particular. The first two thirds of the book covers facilities that exist in most DEC-10 style implementations which will in all likelihood form a major part of the forthcoming standard definition of the language. The remaining chapters deal wth the details of Prolog-2 in different environments.